統一初始化語法區別

Question

什麼做

A a{ A() }; 

之間的差異，

A a(A{}); 

避免Most Vexing Parse？我應該什麼時候使用特定的一個？

Answer 1

這兩種語法在大多數情況下是等價的，哪一種選擇主要是品味問題。如果你到統一的初始化，我建議做：

A a{ A{} }; 

否則，圓括號單獨可以用來消除：

A a((A())); // This can't be parsed as a function declaration 

注意，有一種情況（可能性非常小，我必須說）在你的問題中顯示的兩種形式不相同。如果您A類有一個構造函數的initializer_list<A>，該構造將優於拷貝構造函數當使用大括號：

#include <initializer_list> 
#include <iostream> 

struct A 
{ 
    A() { } 
    A(std::initializer_list<A> l) { std::cout << "init-list" << std::endl; } 
    A(A const& a) { std::cout << "copy-ctor" << std::endl; } 
}; 

int main() 
{ 
    A a(A{}); // Prints "copy-ctor" (or nothing, if copy elision is performed) 
    A b{A()}; // Prints "init-list" 
} 

上述差異在此live example所示。

Answer 2

在大多數情況下它們是等效的，但A a{ A() };將更喜歡std::initializer_list構造函數（如果存在的話），而A a(A{});將偏好移動/複製構造函數。

當構造器最終調用移動/複製構造函數時，可以省略新對象的構造，但對於std::initializer_list構造函數來說這是不可能的。

兩種語法都不會被解析爲函數聲明，所以都避免了最棘手的解析。

#include <iostream> 
#include <initializer_list> 
struct A { 
    A() { 
     std::cout << "A()\n"; 
    } 
    A(A&&) { 
     std::cout << "A(A&&)\n"; 
    } 
    A(std::initializer_list<A>) { 
     std::cout << "A(std::initializer_list<A>)\n"; 
    } 
}; 
int main() 
{ 
    {A a{ A() };} // Prints "A()\n" "A(std::initializer_list<A>)\n" 
    {A a(A{});} // Prints "A()\n" and *possibly* 
        // (depending on copy elision) "A(A&&)\n" 
}