C++11: {} 什么时候会被编译成std::initializer_list，什么时候被认为是其他类型?

asker160

我有个小例子:

1. 
   
2.     #include<utility>
   
3.     using namespace std;
   
4.     struct A{
   
5.         int i;
   
6.         char c;
   
7.     };
   
8.     void f(const A&){}
   
9.     template<class T>
   
10.     void g(T&& t)
    
11.     {
    
12.         f(forward<T>(t));
    
13.     }
    
14.     int main() {
    
15.         A a={1,'@'};//OK
    
16.         f({1,'#'});//OK
    
17.         g({1,'@'});//Compilation error
    
18.         return 0;
    
19.     }
    

复制代码

上面的代码中，{1,'@'}本身是个初始化语义，`A a={1,'@'};`，编译器判定表达式右边的{}是一个std::initializer_list吗?? 它会自动转化成为A类型? 对于f而言也是如此吗

问题是: 对于模板函数g()而言，传入参数{1,'@'}类型不被识别，clang编译错误如下:

1. 
   
2. testArray.cpp:16:5: error: no matching function for call to 'g'
   
3.     g({1,'@'});//fix: g<A>({1,'@'})
   
4.     ^
   
5. testArray.cpp:9:6: note: candidate template ignored: couldn't infer
   
6.       template argument 'T'
   
7. void g(T&& t)
   
8.      ^
   

复制代码

这是为什么?

bruceteen

编译器判定表达式右边的{}是一个std::initializer_list吗?
------ 不是，这叫统一初始化Uniform initialization，不是 std::initializer_list

g( {1,'@'} );
改为
g( A{1,'@'} );
即可。

lxyscls

要是编译器能把{1,‘@’}识别成A，那真是牛逼大发了

windoze

回复 3# lxyscls
其实也不是完全没有可能，至少编译器可以挨个试一试，问题是这么做可能会把写程序的人和写编译器的人一起搞晕。