如何重载空std :: initializer_list？

Question

这里我有一系列重载函数，它们都是vector或initializer_list的输入。 我想在客户端代码输入空的initializer_list时处理特殊情况。 问题是编译器无法确定这种空列表中的数据。 所以我的问题是我如何在函数声明中解决这种情况。

#include <string>
#include <vector>

using namespace std;
void func(vector<string> v) { }
void func(vector<wstring> v) { }
void func(initializer_list<string> iv) {}
void func(initializer_list<wstring> iv) {}

int main() {
  using namespace std;
  func({"apple", "banana"});
  func({L"蘋果", L"香蕉"});
  func({}); // special case
}

错误信息：

<stdin>: In function 'int main()':
<stdin>:14:10: error: call of overloaded 'func(<brace-enclosed initializer list>)' is ambiguous
<stdin>:14:10: note: candidates are:
<stdin>:5:6: note: void func(std::vector<std::basic_string<char> >)
<stdin>:6:6: note: void func(std::vector<std::basic_string<wchar_t> >)
<stdin>:7:6: note: void func(std::initializer_list<std::basic_string<char> >)
<stdin>:8:6: note: void func(std::initializer_list<std::basic_string<wchar_t> >)

void func(initializer_list<void> iv) {} - 无效。 我不知道如何正确宣布它。

Answer 1

我希望有一个更好的答案，但你可以利用这样一个事实，即使用已定义类型的空括号的列表初始化更喜欢initializer_list构造函数的initializer_list构造函数。 不幸的是，这意味着必须将func的重载转换为单个参数类型的重载构造函数：

using namespace std;
struct parameter {
   // representation left as an exercise - perhaps Boost.Variant?
   parameter(vector<string> v) {}
   parameter(vector<wstring> v) {}
   parameter(initializer_list<string> iv) {}
   parameter(initializer_list<wstring> iv) {}
   parameter() {}  // default constructor - func({}) calls this
};
void func(parameter) {}

如果您没有使用string ，则可以使用模板，即template<typename T> void func(initializer_list<T>)其中包含empty重载，因为非模板重载优先于模板重载，但不幸的是在您的情况下是字符串文字调用被推断为initializer_list<const char *> ，很难转换为initializer_list<string> 。

Answer 2

没有办法单独用参数来区分它。 您可以将其中一个作为模板，然后这将成本更高，并且不太适合重载解析

void func(vector<string> v) { }
void func(vector<wstring> v) { }
template<typename = void>
void func(initializer_list<string> iv) {}
void func(initializer_list<wstring> iv) {}

现在调用func({})将优先于函数模板的最后一个函数。 请注意， func({"hello", "world"})仍然比非模板向量捕获函数更喜欢函数模板，因为参数转换成本比是否从模板合成候选更重要。