c++ - 使用右值 initializer_list 进行类型推断

Question

在下面的代码中

#include <initializer_list>
#include <utility>

template<typename T> void f(T&& x) {}
template<typename T> void g(std::initializer_list<T> x) {}

int main()
{
    auto   x = {0}; // OK
    auto&& y = {0}; // OK
    g(x); // OK
    g(std::move(x)); // OK
    g({0}); // OK
    f(x); // OK
    f(std::move(x)); // OK
    f({0}); // failure
    return 0;
}

右值 initializer_list 可以用 auto 推导，但不能用 template 推导。

为什么 C++ 禁止这样做？

Answer 1

我相信这是由于 14.8.2.1/1 造成的:

[...] an initializer list argument causes the parameter to be considered a non-deduced context (14.8.2.5). [Example: [...]

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

— end example]

现在您可能认为 auto只是模板参数推导，但对于大括号列表 auto在 7.1.6.4/6 中得到特殊处理:

replacing the occurrences of auto with either a new invented type template parameter U or, if the initializer is a braced-init-list (8.5.4), with std::initializer_list<U>. [...] [Example:

auto x1 = { 1, 2 };   // decltype(x1) is std::initializer_list<int>

— end example]