c++ - 转发初始化列表表达式

Question

初始化列表表达式对于初始化 C++ 容器非常方便:

std::vector<int>({1, 2, 3})

...但它似乎是一个大括号括起来的初始化列表表达式，比如 {1,2,3}将仅绑定(bind)到接受std::initializer_list<int> 的函数- 它没有似乎绑定(bind)到通用(转发)引用:

template <class T>
void foo(T&& v)
{
  std::vector<int>(std::forward<T>(v));
}

int main()
{
  foo({1, 2, 3})
}

这个输出:

test2.cpp:11:6: note: template<class U> void foo(U&&)
test2.cpp:11:6: note:   template argument deduction/substitution failed:
test2.cpp:33:13: note:   couldn't deduce template parameter ‘U’

(这是 GCC 4.7.2 的结果。)

不幸的是，这意味着我们无法转发初始化列表表达式。既然这样做会很方便，我想问一下为什么这不起作用？为什么大括号括起来的初始化列表表达式不能绑定(bind)到转发引用？或者这是允许的，也许我的编译器太旧了？

Answer 1

并不是说它不能绑定(bind)到你函数的参数上；只是编译器无法检测到模板的类型。这编译:

#include <vector>

template <class T>
void foo(T&& v)
{
  std::vector<int>(std::forward<T>(v));
}

int main()
{
  foo(std::initializer_list<int>{1, 2, 3});
}