为什么 C 中的'initializer_list”模板类型推导失败？

initializer_list 和模板类型推导

模板类型推导是 C 的一个强大功能，它允许编译器从传递给模板的参数中推断出模板的类型参数。模板。但是，在某些情况下，编译器无法推导类型参数，并且必须使用所需的类型参数显式实例化模板。

考虑以下函数：

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'});

第一行代码是非法的，因为无法推断模板参数 T。如果显式指定模板参数，它将起作用，例如：

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

或：

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

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

可能令人困惑的部分是 auto 会选择类型std::initializer_list;但模板参数不会。这是因为 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.

但是，对于 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>.

以上是为什么 C 中的'initializer_list”模板类型推导失败？的详细内容。更多信息请关注PHP中文网其他相关文章！