Warum kann ich nicht Klammer initialisiert eine struct aus einem anderen abgeleitet struct?

Wenn ich diesen code ausführen:

struct X {
    int a;
};

struct Y : public X {};

X x = {0};
Y Y = {0};

Bekomme ich:

error: could not convert ‘{0}’ from ‘<brace-enclosed initializer list>’ to ‘Y’

Warum brace-Initialisierung arbeiten für die Basisklasse, nicht aber die abgeleitete Klasse?

InformationsquelleAutor Eric | 2013-06-07

  1. 45

    Deinem problem zu tun hat, mit Aggregat-Initialisierung: struct X ist ein Aggregat, während struct Y ist nicht. Hier ist die standard-Zitat über die Aggregate (8.5.1):

    Ein Aggregat ist ein array oder einer Klasse (§9), ohne dass der Benutzer bereitgestellte Konstruktoren (12.1), keine Klammer-oder-gleich-Initialisierungen für nicht-statischen Daten-member (9.2), keine privaten oder geschützten nicht-statischen Daten-member (Ziffer 11), keine Basis-Klassen (Ziffer 10), und keine virtuellen Funktionen (10.3).

    Diese Klausel legt fest, dass, wenn ein class hat eine Basis-Klasse, dann ist es kein Aggregat ist. Hier struct Y hat struct X als Basis-Klasse und daher nicht in ein Aggregat-Typ.

    Hinsichtlich der konkreten Problems, das Sie haben, nehmen Sie die folgende Klausel aus dem standard:

    Wenn ein Aggregat ist initialisiert durch eine Initialisierungsliste angegeben 8.5.4, der Elemente der Initialisierungsliste getroffen werden, die Initialisierungen für die Mitglieder des Aggregats, bei der Erhöhung Tiefgestellt oder Mitglied bestellen. Jedes Mitglied ist copy-initialisiert die entsprechende Initialisierung-Klausel. Wenn der Initialisierer-Klausel ist ein Ausdruck und eine einschränkende Konvertierung (8.5.4) ist erforderlich, um zu konvertieren der Ausdruck, das Programm ist schlecht ausgebildet.

    Wenn Sie X x = {0} -, Aggregat-Initialisierung initialisiert wird a zu 0. Allerdings, wenn Sie tun Y y = {0}, da struct Y ist nicht ein Aggregat-Typ, den der compiler sucht nach einem geeigneten Konstruktor. Da keiner der implizit generierten Konstruktoren (default, kopieren und verschieben) Sie können alles tun, mit einem einzigen integer-Zahl, die der compiler lehnt den code.

    Zu diesem Konstruktoren-lookup, werden die Fehlermeldungen von clang++ sind ein bisschen deutlicher über das, was der compiler tatsächlich versuchen zu tun (online-Beispiel):

    Y Y = {0};
  ^   ~~~

main.cpp:5:8: note: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'int' to 'const Y &' for 1st argument

struct Y : public X {};
       ^

main.cpp:5:8: note: candidate constructor (the implicit move constructor) not viable: no known conversion from 'int' to 'Y &&' for 1st argument

struct Y : public X {};
       ^

main.cpp:5:8: note: candidate constructor (the implicit default constructor) not viable: requires 0 arguments, but 1 was provided

    Beachten Sie, dass es ein Vorschlag zu erweitern Aggregat-Initialisierung, zur Unterstützung Ihrer Nutzung Fall und es in C++17. Wenn ich es richtig lese, macht es das Beispiel gilt mit der Semantik, die Sie erwarten. So... Sie haben nur zu warten, für eine C++ - 17-konformen compiler.

    clang++ -std=c++1z version 4.0.1 kompiliert g++ -std=c++17 version 7.2.1 kompiliert, aber Visual Studio 2017 cl version 19.12.25816 noch nicht
    Sollte unterstützt seit diesem Sommer mit VS 2017 15.7

    InformationsquelleAutor Morwenn

Schreibe einen Kommentar