Dlaczego podwójne puste nawiasy klamrowe {{}} tworzą std :: initializer_list <double> z jednym elementem, a nie zerem?

Question

Mam następujący konstruktor:

MyItem(std::initializer_list<double> l) { 
    std::cout << "l size " << l.size() << ")" << std::endl; 
} 

który nazywa się później z podwójnych nawiasach klamrowych:

MyItem{{}} 

l.size wynik() daje to 1.

Co znajduje się za mechanika takie zachowanie?

Wygląda na to, że zagnieżdżony {} odgrywa rolę domyślnego konstruktora dla jedynego elementu, ale nie do końca rozumiem, dlaczego i jak działa dedukcja.

Answer 1

Podczas korzystania z nawiasów klamrowych (inicjowanie listy) w celu zainicjowania obiektu MyItem, konstruktor listy, który pokazałeś, jest bardzo chciwy.

Te przejdzie pustej listy:

MyItem foo({}); 
MyItem foo{std::initializer_list<double>{}}; 

Przechodzi listę zawierającą jeden element - wartość zainicjowany double (0.0):

MyItem foo{{}}; 

działa, ponieważ istnieje pewne konteksty gdzie można po prostu użyć nawiasu klamrowego zamiast znanego typu. Tutaj, od preferowania konstruktora list, wie, że podana lista powinna zawierać double.

Dla kompletności wygląda na to, że przekazuje pustą listę, ale faktycznie wartość-inicjuje foo, jeśli ma domyślny konstruktor (lub w szczególnych przypadkach robi coś prawie równoważnego). Jeśli nie ma domyślnego konstruktora, wybrałby konstruktor listy, as shown here.

MyItem foo{}; 

Answer 2

Wyrażenie

MyItem{{}} 

oznacza wyraźny konwersji typu (oznaczenie funkcjonalne).

Według C++ Standard (5.2.3 Wyraźne konwersji typu (zapis funkcjonalne))

3. Podobnie proste typu specyfikator lub TypeName-specyfikator następnie spreparowana lista-inicjuje utworzenie tymczasowego obiektu określonego typu, zainicjowanego na liście bezpośredniej (8.5.4), z podaną listą z rozszerzonymi zmianami, , a jego wartością jest ten tymczasowy obiekt jako wartość prava.

Klasa MyItem ma konwersja initializer-list konstruktora

MyItem(std::initializer_list<double> l) { 
    std::cout << "l size " << l.size() << ")" << std::endl; 
} 

który jest wybrany do wyraźnego konwersji typu.W rzeczywistości jest to równoważne wywołaniu

MyItem({{}}); 

Więc konstruktor pobiera listę initializer z jednego elementu

{ {} } 

skalarnym obiektu typu double mogą być inicjowane z pustym szelki {}.

Wynikiem tego wyniku jest utworzenie tymczasowego obiektu typu MyItem, który jest inicjowany przez listę inicjalizatorów zawierającą jeden element typu double, który jest inicjowany wartościami za pomocą pustych nawiasów klamrowych.