Kopierinitialisierung mit impliziter Konvertierung in C++

Question

class Foo { 
    public: 
    Foo(float b) {} 
}; 

class Bar { 
    public: 
    Bar(Foo foo) {} 
}; 

int main(int argc, char *argv[]) { 
    Bar b1(3.0f); // accept, one implicit convertion happens there. 
    Bar b2 = 3.0f; // error: no viable conversion from 'float' to 'Bar' 
    return 0; 
} 

Warum kompiliert der zweite Ausdruck nicht? Ich erwartete, dass es den gleichen konvertierenden Konstruktor wie den ersten Ausdruck aufrufen würde.

Answer 1

Aus [dcl.init]:

Andernfalls (das heißt, für die verbleibenden Kopie-initialization Fälle), benutzerdefinierte Konvertierungssequenzen, die vom Quelltyp zu dem Zieltyp umwandeln kann oder (wenn eine Umwandlungsfunktion verwendet wird) zu einer davon abgeleiteten Klasse werden wie in 13.3.1.4 beschrieben gezählt, und die beste ist , die durch Überladungsauflösung (13.3) ausgewählt wird.

Wir können eine benutzerdefinierte Umwandlung aufzurufen, die von der Quelle Typ ist direkt in den Zieltyp. Das heißt, wenn wir Bar(float) hätten, würden wir diesen Konstruktor berücksichtigen. In diesem Fall ist unser Kandidat jedoch einfach Bar(Foo), was keinen float erfordert.

Sie dürfen keine oder eine benutzerdefinierte Konvertierung durchführen. Im Fall der direkten Initialisierung rufen wir einfach Bar(Foo) auf, wodurch eine benutzerdefinierte Konvertierung (float --> Foo) aufgerufen wird. Im Fall der Kopierinitialisierung suchen wir nach einer Konvertierungssequenz von float (dem Quelltyp) bis hin zu Bar (dem Zieltyp), was zwei benutzerdefinierte Konvertierungen (float --> Foo, Foo --> Bar) bedeutet Error.

Answer 2

Der zweite Initialisierungstyp wird als Kopierinitialisierung bezeichnet und verwendet den Kopierkonstruktor. Daher erwartet diese Art der Initialisierung, dass die rechte Seite in Bar umwandelbar ist.