コンストラクタ、グラムでの初期化子リストと異なる行動++と打ち鳴らす

Question

これは単純化されたコードです：

#include <vector> 

class VInitList 
{ 
public: 
    explicit VInitList(std::vector<int> v){} 
}; 

int main() 
{ 
    VInitList vil({{}}); 
} 

とg ++ 5.2.1でコンパイルし、このエラーを取得：

error: call of overloaded ‘VInitList(<brace-enclosed initializer list>)’ is ambiguous 
    VInitList vil({{}}); 
        ^
main.cpp:6:5: note: candidate: VInitList::VInitList(std::vector<int>) 
    VInitList(std::vector<int> v){} 
    ^
main.cpp:3:7: note: candidate: constexpr VInitList::VInitList(const VInitList&) 
    class VInitList 
     ^
main.cpp:3:7: note: candidate: constexpr VInitList::VInitList(VInitList&&) 

私が見ましたコンパイラのエラー{{}}を誤って書いたことがわかりましたが（私には意味がありません）、まだエラーを理解することはできません。 IMHOでは、コンパイラは余分な{}を取り除くか、構文エラーを返さなければなりません。意図したとおりに動作します

std::vector<int> v = {{{}}}; 

：

は、その後、私はこれをコンパイルしようとしました。

Answer 1

しかし、std::vector<int> v = {{{}}};はあなたの考えをしません。 0に初期化された1つのint要素でベクトルを初期化します。あなたが含まれているvector<int>が1つの要素、初期化した

VInitList vil{{{}}}; 
       ^-- int 
       ^-- vector<int> 
      ^-- VInitList 

を書いた場合、

std::vector<int> v = {{{}}}; 
         ^-- int 
         ^-- initializer_list<int> 
        ^-- vector<int> 

同様に：

int i{}; // assert(i == 0) 

のでstd::vector<int> v = {{{}}};のように解析されます。intリスト初期化することができるからですゼロにする。 （のコンストラクタはvector(initializer_list<int>)のコンストラクタがexplicitであるため、ステージを省略できます）。

VInitList vil({{}});

だからはとして解析することができる：

VInitList vil({{}}); 
       ^-- int 
       ^-- vector<int> 

又はvector 1つの要素を有する第一の場合には

VInitList vil({{}}); 
       ^-- vector<int> 
       ^-- VInitList 

として。後者の場合は空です。 gccがあなたのコードを拒否することも同様です。

Clangはこれを前者として解析します。どちらが正しいかわからない。