C++11: {} 什么時(shí)候會(huì)被編譯成std::initializer_list，什么時(shí)候被認(rèn)為是其他類(lèi)型?

asker160

我有個(gè)小例子:

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.     }
    

復(fù)制代碼

上面的代碼中，{1,'@'}本身是個(gè)初始化語(yǔ)義，`A a={1,'@'};`，編譯器判定表達(dá)式右邊的{}是一個(gè)std::initializer_list嗎?? 它會(huì)自動(dòng)轉(zhuǎn)化成為A類(lèi)型? 對(duì)于f而言也是如此嗎

問(wèn)題是: 對(duì)于模板函數(shù)g()而言，傳入?yún)��?shù){1,'@'}類(lèi)型不被識(shí)別，clang編譯錯(cuò)誤如下:

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.      ^
   

復(fù)制代碼

這是為什么?

bruceteen

編譯器判定表達(dá)式右邊的{}是一個(gè)std::initializer_list嗎?
------ 不是，這叫統(tǒng)一初始化Uniform initialization，不是 std::initializer_list

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

lxyscls

要是編譯器能把{1,‘@’}識(shí)別成A，那真是牛逼大發(fā)了

windoze

回復(fù) 3# lxyscls
其實(shí)也不是完全沒(méi)有可能，至少編譯器可以挨個(gè)試一試，問(wèn)題是這么做可能會(huì)把寫(xiě)程序的人和寫(xiě)編譯器的人一起搞暈。