c++ - initializer_list 和模板类型推导

Question

考虑函数:

template<typename T>
void printme(T&& t) {
  for (auto i : t)
    std::cout << i;
}

或任何其他需要一个具有 begin()/end() 启用类型的参数的函数。

为什么以下是非法的？

printme({'a', 'b', 'c'});

当所有这些都是合法的:

printme(std::vector<char>({'a', 'b', 'c'}));
printme(std::string("abc"));
printme(std::array<char, 3> {'a', 'b', 'c'});

我们甚至可以这样写:

const auto il = {'a', 'b', 'c'};
printme(il);

或

printme<std::initializer_list<char>>({'a', 'b', 'c'});

Answer 1

你的第一行 printme({'a', 'b', 'c'})是非法的，因为模板参数 T无法推断。如果您明确指定模板参数，它将起作用，例如printme<vector<char>>({'a', 'b', 'c'})或 printme<initializer_list<char>>({'a', 'b', 'c'}) .

您列出的其他参数是合法的，因为参数具有明确定义的类型，因此模板参数 T可以很好地推导出来。

你的代码片段 auto也有效，因为 il被认为是 std::initializer_list<char> 类型，因此 printme() 的模板参数可以推导出来。

---

这里唯一“有趣”的部分是 auto将选择类型 std::initializer_list<char>但模板参数不会。这是因为 C++11 标准的第 14.8.2.5/5 节明确指出这是模板参数的非推导上下文:

A function parameter for which the associated argument is an initializer list (8.5.4) but the parameter does not have std::initializer_list or reference to possibly cv-qualified std::initializer_list type. [Example:

template<class T> void g(T);
g({1,2,3}); // error: no argument deduced for T

— end example ]

然而 auto , § 7.1.6.4/6 明确支持 std::initializer_list<>

if the initializer is a braced-init-list (8.5.4), with std::initializer_list<U>.