c++ - 消除 std::vector 的列表初始化歧义

Question

我的代码中有一个带有类型签名的重载函数:

void foo(std::string);
void foo(std::vector<std::string>);

我希望 foo 的用户能够使用字符串或字符串列表来调用它

//Use case 1
foo("str");

//Use case 2
foo({"str1","str2","str3"});
foo({"str1","str2","str3","str4"});

问题是当调用者将 两个 字符串传入 foo 的初始化列表时。

//Problem!
foo({"str1","str2"});

这个对 foo 的调用是不明确的，因为它匹配两个类型签名。这是因为显然 {"str1","str2"}是 std::string 的有效构造函数

所以我的问题是，我可以在 foo 的声明或实现中做些什么来维护我上面描述的 API 而不会遇到这种模棱两可的构造函数情况。

我不想定义自己的字符串类，但我可以定义其他东西而不是 vector<string>只要它可以用字符串的初始化列表进行初始化。

只是出于好奇，为什么字符串构造函数接受 {"str1","str2"} ？

Answer 1

{"str1","str2"}匹配std::string接受两个迭代器的构造函数。构造函数 6 here .它会尝试从“str1”的开头迭代到“str2”的开头，这是未定义的行为。

您可以通过为 std::initializer_list<const char*> 引入重载来解决这种歧义。转发到 std::vector<std::string>过载。

void foo(std::string);
void foo(std::vector<std::string>);

void foo(std::initializer_list<const char*> p_list)
{
    foo(std::vector<std::string>(p_list.begin(), p_list.end()));
}