Constructor, Initialisiererliste und unterschiedliches Verhalten in g ++ und Klirren

Question

Dies ist der vereinfachte Code:

#include <vector> 

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

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

und Kompilieren mit g ++ 5.2.1 a diesen Fehler:

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&&) 

Als ich das sah, Compiler-Fehler Ich habe herausgefunden, dass ich aus Versehen {{}} geschrieben habe (ja, sei nicht gemein zu mir), aber ich kann den Fehler immer noch nicht verstehen. IMHO entweder der Compiler muss die zusätzliche {} loswerden oder einen Syntaxfehler zurückgeben.

Dann habe ich versucht, dies zu kompilieren:

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

, die wie vorgesehen funktioniert.

Answer 1

Aber std::vector<int> v = {{{}}}; tut nicht, was Sie denken; es initialisiert einen Vektor mit einem int Element, initialisiert auf Null. Dies liegt daran, int Liste initialisiert werden kann:

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

So wird std::vector<int> v = {{{}}}; analysiert als:

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

Ebenso, wenn Sie

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

das enthaltene vector<int> hat 1 Element schreiben, initialisiert bis Null. (Die initializer_list<int> Bühne kann weggelassen werden, da der vector(initializer_list<int>) Konstruktor nicht explicit ist).

So VInitList vil({{}}); analysiert werden könnte als:

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

oder als

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

Im ersten Fall ist die vector 1 Element aufweist; im zweiten Fall ist es leer. Es ist genauso gut, dass gcc den Code ablehnt.

Clang analysiert es nur als erster; Ich bin mir nicht sicher, was richtig ist.