Default, value, und null-Initialisierung Durcheinander

Ich bin sehr verwirrt darüber, Wert- & Standard- & null-Initialisierung.
und vor allem, wenn Sie kick für die verschiedenen standards C++03 und C++11 (und C++14).

Ich bin zitiert und versucht zu verlängern, eine wirklich gute Antwort Wert-/Standard-/Zero - Init C++98 und C++03 hier zu machen, mehr Allgemeine als würde es helfen, eine Menge von Nutzern, wenn jemand helfen könnte, füllen Sie die benötigten Lücken zu haben, die einen guten überblick über das, was passiert, wenn?

Den vollen Einblick durch Beispiele in aller Kürze:

Manchmal die Erinnerung zurück durch den new-operator initialisiert werden, und manchmal ist es nicht abhängig davon, ob der Typ, den Sie newing-up ist ein POD (plain old data), oder wenn es eine Klasse, die enthält POD Mitglieder und ist die Verwendung eines compiler-erzeugten default-Konstruktors.

In C++1998 es gibt 2 Arten der Initialisierung: null- und default-Initialisierung
In C++2003 eine 3. Art der Initialisierung Wert-Initialisierung Hinzugefügt wurde.
In C++2011/C++2014 nur Liste-Initialisierung wurde Hinzugefügt, und die Regeln für Wert-/Standard-/null-Initialisierung ein wenig verändert.

Übernehmen:

struct A { int m; };                     
struct B { ~B(); int m; };               
struct C { C() : m(){}; ~C(); int m; };  
struct D { D(){}; int m; };             
struct E { E() = default; int m;} /** only possible in c++11/14 */  
struct F {F(); int m;}  F::F() = default; /** only possible in c++11/14 */

In einem C++98-compiler, der sollte Folgendes auftreten:

new A - unbestimmten Wert (A ist POD)
new A()- null-initialisieren
new B - Standard-Konstrukt (B::m nicht initialisiert ist, wird B ist nicht-POD)
new B() - Standard-Konstrukt (B::m ist nicht initialisierten)
new C - Standard-Konstrukt (C::m ist null initialisiert, C ist nicht-POD)
new C() - Standard-Konstrukt (C::m ist null initialisiert)
new D - Standard-Konstrukt (D::m nicht initialisiert ist, wird D ist nicht-POD)
new D() - Standard-Konstrukt? (D::m ist nicht initialisierten)

In ein C++03-konforme compiler, die Dinge sollten funktionieren etwa so:

new A - unbestimmten Wert (A ist POD)
new A() - Wert initialisieren A, die null-Initialisierung, da es ein POD.
new B - default-initialisiert (Blätter B::m initialisierten, B ist nicht-POD)
new B() - Wert initialisiert B dem null-initialisiert alle Felder, weil seine default-ctor compiler generiert, im Gegensatz zu Benutzer-definiert.
new C - default-initialisiert C fordert die default-ctor. (C::m ist null initialisiert, C ist nicht-POD)
new C() - Wert initialisiert C fordert die default-ctor. (C::m ist null initialisiert)
new D - Standard-Konstrukt (D::m nicht initialisiert ist, wird D ist nicht-POD)
new D() - Wert initialisiert D?, das ruft die default-ctor (D::m ist nicht initialisierten)

Kursive Werte und ? sind Unsicherheiten, bitte helfen Sie, um dies zu korrigieren 🙂

In eine C++11-konformer compiler, die Dinge sollten funktionieren etwa so:

??? (bitte helfen Sie, wenn ich starten Sie hier es wird sowieso schief gehen)

In einer C++ - 14-konforme compiler, die Dinge sollten funktionieren etwa so:
??? (bitte helfen Sie, wenn ich starten Sie hier es wird sowieso schief gehen)
(Entwurf basiert auf Antwort)

new A - default-initialisiert A compiler-gen. ctor, (leavs A::m nicht initialisierten) (A ist POD)
new A() - Wert initialisiert A, die null-Initialisierung-seit 2. Punkt in [dcl.init]/8
new B - default-initialisiert B compiler-gen. ctor, (leavs B::m nicht initialisierten) (B ist nicht-POD)
new B() - Wert initialisiert B dem null-initialisiert alle Felder, weil seine default-ctor compiler generiert, im Gegensatz zu Benutzer-definiert.
new C - default-initialisiert C fordert die default-ctor. (C::m ist null initialisiert, C ist nicht-POD)
new C() - Wert initialisiert C fordert die default-ctor. (C::m ist null initialisiert)
new D - default-initialisiert D (D::m nicht initialisiert ist, wird D ist nicht-POD)
new D() - Wert initialisiert D fordert die default-ctor (D::m ist nicht initialisierten)
new E - default-initialisiert E fordert die comp. gen. ctor. (E::m nicht initialisiert ist, E ist nicht-POD)
new E() - Wert initialisiert E, die null-initialisiert E seit dem 2. Punkt in [dcl.init]/8 )
new F - default-initialisiert F fordert die comp. gen. ctor. (F::m nicht initialisiert ist, wird F ist nicht-POD)
new F() - Wert initialisiert F, die default-initialisiert F seit dem 1. Punkt in [dcl.init]/8 (F ctor Funktion ist Benutzer-sofern Sie für die Benutzer-erklärt und nicht explizit vorgegeben oder gelöscht " auf seiner ersten Erklärung. Link)

es gibt eine gute Erklärung gibt es hier: en.cppreference.com/w/cpp/language/default_constructor
Soweit ich sagen kann, es gibt nur einen Unterschied zwischen C++98 und C++03 in diesen Beispielen. Das Problem scheint zu sein, beschrieben in N1161 (dort sind die späteren überarbeitungen des Dokuments) und CWG DR #178. Die Formulierung muss geändert werden, in C++11 durch neue Funktionen und eine neue Spezifikation der POD, und es wieder in C++ - 14 aufgrund von Mängeln in der C++11-Wortlaut, aber die Auswirkungen sind in diesen Fällen nicht geändert.
Während langweilig struct D { D() {}; int m; }; Wert sein kann, einschließlich in der Liste.

InformationsquelleAutor Gabriel | 2015-04-21

c++c++03 c++11 c++14 c++98

24

C++14 gibt an, die Initialisierung von Objekten erstellt, die mit new in [expr.neu]/17 ([expr.neu]/15 in C++11, und der Hinweis war kein Hinweis, sondern normative text damals):
Einen new-Ausdruck erzeugt ein Objekt vom Typ T initialisiert, dass
Objekt wie folgt:
- Wenn die neu-Initialisierung weggelassen wird, wird das Objekt default-initialisiert (8.5). [ Hinweis: Wenn keine Initialisierung
  durchgeführt, das Objekt hat einen unbestimmten Wert. — Ende Hinweis ]
- Sonst, die neu-Initialisierung interpretiert wird, nach der Initialisierung Regeln von 8,5 für direkt-Initialisierung.
Default-Initialisierung ist definiert in [dcl.init],/7 (/6 in C++11, und der Wortlaut an sich hat die gleiche Wirkung):
Zu default-initialisiert ein Objekt vom Typ T bedeutet:
- wenn T eine (möglicherweise cv-qualifiziert) Klasse Art (Ziffer 9), die default-Konstruktor (12.1) für T genannt wird (und der Initialisierung
  ist schlecht ausgebildet, wenn T hat keinen Standard-Konstruktor oder überlast Auflösung
  (13.3) ergibt sich eine Mehrdeutigkeit oder eine Funktion, die gelöscht wird, oder
  unzugänglich aus dem Kontext der Initialisierung);
- wenn T ist ein array, jedes element ist default-initialisiert;
- ansonsten ist keine Initialisierung durchgeführt.
Damit
- new A allein verursacht As default-Konstruktor aufgerufen wird, die nicht initialisiert m. Unbestimmten Wert. Sollte das gleiche für new B.
- new A() interpretiert nach [dcl.init]/11 (/10 in C++11):
  
  Eines Objekts, deren Initialisierer ist ein leeres Klammernpaar, d.h., () werden sollen, wird mit dem Wert initialisiert wird.
  
  Und nun überlegen [dcl.init]/8 (/7 in C++11†):
  Zu Wert initialisieren ein Objekt vom Typ T bedeutet:
  
  wenn T eine (möglicherweise cv-qualifiziert) Klasse Art (Ziffer 9) entweder keine default-Konstruktor (12.1) oder ein Standard-Konstruktor, der ist
  Benutzer-zur Verfügung gestellt oder gelöscht, dann das Objekt ist default-initialisiert;
  
  wenn T eine (möglicherweise cv-qualifiziert) - Klasse geben, die ohne eine Benutzer-zur Verfügung gestellt oder gelöscht werden default-Konstruktor, der dann das Objekt ist
  null-initialisiert und die semantischen Beschränkungen für
  default-Initialisierung überprüft werden, und wenn T hat einen nicht-trivialen Standard
  Konstruktor, der das Objekt ist default-initialisiert;
  
  wenn T ist ein array-Typ, dann ist jedes element wird mit dem Wert initialisiert;
  
  anders, das Objekt ist null initialisiert.
  Daher new A() wird auf null initialisiert m. Und das sollte äquivalent sein für A und B.
- new C und new C() wird default-initialisiert das Objekt erneut aus, da der erste Punkt aus dem letzten Angebot gilt (C ist eine vom Benutzer bereitgestellte default-Konstruktor!). Aber, klar, jetzt m ist die Initialisierung im Konstruktor in beiden Fällen.
† Gut, dieser Absatz hat leicht unterschiedliche Formulierungen in C++11, die nicht verändern das Ergebnis:
Zu Wert initialisieren ein Objekt vom Typ T bedeutet:
- wenn T eine (möglicherweise cv-qualifiziert) Klasse Art (Klausel 9) mit einem
  Benutzer bereitgestellten Konstruktor (12.1), dann wird der default-Konstruktor für T
  genannt wird (und die Initialisierung ist schlecht ausgebildet, wenn T nicht zugänglich
  default-Konstruktor);
- wenn T eine (möglicherweise cv-qualifiziert) non-union
  Klasse Typ, ohne einen Benutzer-bereitgestellten Konstruktor, dann das Objekt ist
  null initialisiert, und wenn T's implizit deklarierten default-Konstruktor
  ist nicht trivial, die Konstruktor genannt wird.
- wenn T ist ein array-Typ,
  dann ist jedes element wird mit dem Wert initialisiert;
- anders, das Objekt ist
  null initialisiert werden.
- † : du meinst, c++14, nicht c++11, richtig?
- nicht wirklich.
- ach so, Sie sprechen vor allem über die c++14 und Referenzen für c++11 sind in Klammern angegeben
- Richtig. Ich meine, C++14 ist der neueste standard, so dass im Vordergrund.
- Die lästigen Sache zu versuchen, zu verfolgen die Initialisierung Regeln über standards ist, dass viele der änderungen, die (meisten? alle?) zwischen den veröffentlichten C++14 und C++11-standards geschah über DRs, und so sind de-facto-C++11. Und dann gibt es auch post-C++14-DRs...
- DR = Fehler
- Ich verstehe immer noch nicht warum struct A { int m; }; struct C { C() : m(){}; int m; };zu unterschiedlichen Ergebnissen führen, und was sind die Ursachen m initialisiert werden, in den ersten Platz. Ich öffnete ein eigener thread für das experiment, das ich Tat, und ich Schätze Ihre Eingabe, es zu klären. Dank stackoverflow.com/questions/45290121/...
InformationsquelleAutor Columbo
12

Folgende Antwort reicht die Antwort https://stackoverflow.com/a/620402/977038, die würde dienen als eine Referenz für C++ 98 und C++ 03

Zitiert die Antwort
1. In C++1998 gibt es 2 Arten der Initialisierung: null-und default -
2. In C++2003 eine 3. Art der Initialisierung, Wert-Initialisierung wurde
  Hinzugefügt.
C++11 (In Bezug auf n3242)

Initialisierungen

8.5 Initialisierungen [dcl.init] gibt an, dass eine variable POD oder POD nicht kann initialisiert werden, entweder als Klammer-oder-gleich-Initialisierer, die entweder verspannt-init-Liste oder Initialisierer-Klausel insgesamt bezeichnet als Klammer-oder-gleich-Initialisierer oder mit ( expression-list ). Bisherige C++11, nur (expression-list) oder Initialisierer-Klausel unterstützt wurde, obwohl Initialisierer-Klausel stärker eingeschränkt war dann das, was wir haben, in C++11. In C++11, Initialisierer-Klausel unterstützt jetzt verspannt-init-Liste abgesehen von assignment-expression als in C++03. Die folgende Grammatik beschreibt die neuen unterstützten Klausel, wo das Teil ist Fett ist neu in der C++11 standard.

Initialisierung:

    Klammer-oder-gleich-Initialisierung

    ( expression-list )

Klammer-oder-gleich-Initialisierung:

    = Initialisierer-Klausel

    verspannt-init-Liste

Initialisierer-Klausel:

    assignment-expression

    verspannt-init-Liste

Initialisierer-Liste:

    Initialisierung-clause ...opt

    Initialisierer-Liste , Initialisierer-clause ...opt**

verspannt-init-Liste:

    { Initialisierer-Liste ,opt }

    { }

Initialisierung

Wie C++03, C++11 noch unterstützt drei form initialisieren

Hinweis

Den Teil Fett markiert, Hinzugefügt wurde, in C++11 und der eine, der Durchgestrichen wurde entfernt aus C++11.
1. Initialisierer Typ:8.5.5 [dcl.init] _zero-initialize_
Durchgeführt in folgenden Fällen
- Objekte mit statischen oder thread Lagerung Dauer sind null initialisiert
- Wenn es weniger Initialisierungen als array-Elemente, jedes element nicht explizit initialisiert wird auf null initialisiert
- Während Wert initialisieren, wenn T eine (möglicherweise cv-qualifiziert) non-union-Klasse Typ ohne eine vom Benutzer bereitgestellte Konstruktor, dann das Objekt ist null initialisiert.
Null-initialisiert ein Objekt oder eine Referenz vom Typ T bedeutet:
- wenn T ein skalarer Typ (3.9), wird das Objekt auf den Wert 0 (null), genommen als ein integraler konstanter Ausdruck, Umgerechnet auf T;
- wenn T ein (möglicherweise cv-qualifiziert) non-union-Klasse geben, jeder nicht-statischen Daten-member und jeder Basis-Klasse teilobjekt ist null initialisiert und Polsterung ist auf null initialisiert bit;
- wenn T ein (möglicherweise cv-qualifiziert) union type, das Objekt ist die erste non-static data member ist null initialisiert und Polsterung ist auf null initialisiert bit;
- wenn T einen array-Typ, jedes element ist null initialisiert;
- wenn T ein Referenztyp ist keine Initialisierung durchgeführt.
2. Initialisierung Typ: 8.5.6 [dcl.init], _default-initialize_

Durchgeführt in folgenden Fällen
- Wenn die neu-Initialisierung weggelassen, das Objekt ist default-initialisiert, wenn keine Initialisierung durchgeführt wird, hat das Objekt unbestimmten Wert.
- Wenn keine Initialisierung angegeben ist, für ein Objekt, das Objekt ist default-initialisiert, mit Ausnahme der Objekte mit statischen oder thread Lagerung Dauer
- Wenn eine Basisklasse oder einer nicht-statischen Daten-member wird nicht erwähnt, in einem Konstruktor-Initialisierungsliste und dass der Konstruktor aufgerufen wird.
Default-initialisiert ein Objekt vom Typ T bedeutet:
- wenn T ein (möglicherweise cv-qualifiziert) ~~non-POD~~ - Klasse Typ (Ziffer 9) wird der default-Konstruktor für T aufgerufen wird (und die Initialisierung ist schlecht ausgebildet, wenn T nicht zugänglich default-Konstruktor);
- wenn T einen array-Typ, jedes element wird default-initialisiert;
- ansonsten ist keine Initialisierung durchgeführt.
Hinweis Bis C++11, die nur nicht-POD-Klasse-Typen mit automatischer Speicherung Dauer betrachtet wurden, werden default-initialisiert, wenn keine Initialisierer verwendet wird.

3. Initialisierung Typ: 8.5.7 [dcl.init] _value-initialize_
1. Wenn ein Objekt(namenlose vorübergehende, benannte variable, dynamische Speicherdauer oder nicht-statischen Daten-member), deren Initialisierer ist ein leeres Klammernpaar, d.h., () oder geschweiften Klammern {}
Wert initialisiert ein Objekt vom Typ T bedeutet:
- wenn T ein (möglicherweise cv-qualifiziert) - Klasse Typ (Ziffer 9), mit einem vom Benutzer bereitgestellten Konstruktor (12.1), dann wird der default-Konstruktor für T aufgerufen wird (und die Initialisierung ist schlecht ausgebildet, wenn T nicht zugänglich
  default-Konstruktor);
- wenn T eine (möglicherweise cv-qualifiziert) non-union-Klasse Typ ohne eine vom Benutzer bereitgestellte Konstruktor, ~~und dann alle nicht-statischen Daten-member und base-class-Komponente von T wird mit dem Wert initialisiert;~~ dann das Objekt ist null initialisiert und, wenn T die implizit deklarierten default-Konstruktor ist nicht trivial, die Konstruktor genannt wird.
- wenn T einen array-Typ, dann ist jedes element wird mit dem Wert initialisiert;
- anders, das Objekt ist null initialisiert.
So zusammenfassen

Hinweis Dem einschlägigen Zitat aus der Norm hervorgehoben Fett
- neue Ein : default-initialisiert (Blätter A::m nicht initialisierten)
- new A() : Null-initialisiert, wie dem Wert initialisiert, der Kandidat nicht über eine Benutzer-zur Verfügung gestellt oder gelöscht werden default-Konstruktor. , wenn T eine (möglicherweise cv-qualifiziert) non-union-Klasse Typ ohne eine vom Benutzer bereitgestellte Konstruktor, dann das Objekt ist null initialisiert und, wenn T die implizit deklarierten default-Konstruktor ist nicht trivial, die Konstruktor genannt wird.
- neue B : default-initialisiert (Blätter B::m nicht initialisierten)
- new B() : value-initialisiert B die null-initialisiert alle Felder; , wenn T eine (möglicherweise cv-qualifiziert) Klasse Art (Ziffer 9), mit einem vom Benutzer bereitgestellten Konstruktor (12.1), dann wird der default-Konstruktor für T aufgerufen wird
- neue C : default-initialisiert C, die ruft die default-ctor. , wenn T eine (möglicherweise cv-qualifiziert) Klasse Art (Ziffer 9) wird der default-Konstruktor für T aufgerufen wird, Außerdem, Wenn die neu-Initialisierung weggelassen, das Objekt ist default-initialisiert
- new C() : value-initialisiert, C, die ruft die default-ctor. , wenn T eine (möglicherweise cv-qualifiziert) Klasse Art (Ziffer 9), mit einem vom Benutzer bereitgestellten Konstruktor (12.1), dann wird der default-Konstruktor für T aufgerufen wird. Darüber hinaus Ein Objekt, dessen Initialisierung wird ein leeres Klammernpaar, d.h., (), wird mit dem Wert initialisiert
InformationsquelleAutor Abhijit

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.

Initialisierungen

Initialisierung

Initialisierer Typ:8.5.5 [dcl.init] _zero-initialize_

2. Initialisierung Typ: 8.5.6 [dcl.init], _default-initialize_

3. Initialisierung Typ: 8.5.7 [dcl.init] _value-initialize_