std::strings 的 std::initializer_list 的奇怪行为

Question

这个问题很可能已经被问过了，但我没有找到答案。

下面的代码使用 gcc 编译，但在运行时崩溃，出现 std::length_error (live)。

void test(const std::string &value) { std::cout << "string overload: " << value << std::endl; }

//void test(const std::vector<std::string> &) { std::cout << "vector overload" << std::endl; }

int main()
{
    test({"one", "two"});
}

从字符串的初始化列表创建字符串的能力似乎存在争议，例如，不能创建上面代码中注释掉的重载。

但即使允许这样的构造，为什么会导致失败？

Answer 1

它调用

string(const char* b, const char* e) 

字符串 ctor 过载。

仅当b 和e 指向相同的字符串字面量时才有效。否则它是未定义的行为。

Answer 2

对于初学者来说，没有使用接受初始化列表的构造函数，因为这样的构造函数看起来像

basic_string(initializer_list<charT>, const Allocator& = Allocator());
                              ^^^^^

因此编译器搜索另一个合适的构造函数并找到这样的构造函数。它是构造函数

template<class InputIterator>
basic_string(InputIterator begin, InputIterator end, const Allocator& a = Allocator());

即表达式"one" 和"two" 被视为const char * 类型的迭代器。

所以函数test 具有未定义的行为。

例如，您可以编写（假设具有相同内容的字符串文字作为一个字符串文字存储在内存中，which is not guaranteed 并取决于所选的编译器选项）。

#include <iostream>
#include <string>

void test(const std::string &value) { std::cout << "string overload: " << value << std::endl; }

//void test(const std::vector<std::string> &) { std::cout << "vector overload" << std::endl; }

int main()
{
    test({ "one", "one" + 3 });
}

你会得到一个有效的结果。

string overload: one

注意这个结构

{ "one", "two" }

不是std::initializer_list<T> 类型的对象。这种结构没有类型。它是一个braced-init-list，用作初始化器。只需编译器首先尝试使用具有 std::initializer_list 类型的第一个参数的构造函数来与此初始化器一起使用。

例如，如果您将使用 std::vector<const char *> 类，那么编译器将使用其构造函数与 std::initializer_list 并相应地使用此花括号初始化列表初始化其参数。例如

#include <iostream>
#include <vector>

int main()
{
    std::vector<const char *> v( { "one", "two" } );

    for ( const auto &s : v ) std::cout << s << ' ';
    std::cout << '\n';
}