Wann ist es sicher, dieses - & gt; in Konstruktor und Destruktor

Habe ich nicht in der Lage, eine schlüssige Antwort auf dieses so weit. Wann ist es sicher zu nennen this-> innerhalb eines Objekts. Und insbesondere vom Konstruktor und Destruktor.

Und auch, wenn Sie mit öffentlicher Vererbung. Ist es sicher zu bedienen und downcasting auf das Ergebnis von diesem Aufruf?

So zum Beispiel:

class foo
{
   foo():
   a(),
   b(this->a)//case 1
   {
       this-> a = 5; //case 2
   }

   int a;
   int b;
};

class bar: public baz
{
   bar():
   baz(this)//case 3 - assuming baz has a valid constructor
   {


   }

}

Und schließlich den unmöglichsten eine

foo()
   {
      if(static_cast<bar*>(this));//case 4
   }

Welche von den oben genannten Fällen legal sind?

Hinweis: ich bin mir bewusst, dass viele der Praktiken, die oben sind nicht ratsam.

InformationsquelleAutor der Frage laurisvr | 2015-05-15

c++c++11 constructor destructor

28

Innerhalb einer nicht-statischen Memberfunktion this Punkte auf das Objekt, das die Funktion aufgerufen wurde. Es ist sicher zu verwenden, solange, dass ein gültiges Objekt.

Innerhalb des Körpers von einem Konstruktor oder Destruktor, gibt es ein gültiges Objekt der Klasse, die derzeit gebaut wird. Allerdings, wenn dies ist die Basis sub-Objekt einige abgeleitete Klasse, dann nur in der base sub-Objekt gültig ist, so ist es in der Regel nicht sicher, down-cast und versuchen Sie den Zugriff auf Mitglieder der abgeleiteten Klasse. Aus dem gleichen Grund müssen Sie vorsichtig sein, den Aufruf virtueller Funktionen, da Sie versendet werden nach der Klasse erzeugt oder zerstört werden, nicht die final overrider.

Innerhalb der initialiser Liste einen Konstruktor, müssen Sie vorsichtig sein, nur für access-Mitglieder, die initialisiert wurden; das heißt, die Mitglieder erklärt, vor der man derzeit initialisiert.

Up-casting, um eine Basis-Klasse ist immer sicher, da base sub-Objekte sind immer initialisiert ersten.

Für die spezifischen Beispiele, die Sie gerade Hinzugefügt haben, die Frage:
- Fall 1 ist in Ordnung (wenn auch fragile, da a initialisiert wurde. Initialisierung a mit dem Wert von b wäre undefiniert, da b initialisiert ist nach a.
- Fall 2 ist in Ordnung: alle Mitglieder wurden initialisiert.
- Fall 3 nicht kompilieren, da es keine geeigneten foo Konstruktor. Wenn es den gäbe, dann würde es davon abhängen, was diesen Konstruktor mit ihm Tat - ob oder nicht es versucht, Zugriff auf Mitglieder, bevor Sie initialisiert wurden.
- Fall 4 wäre gut gebildet, wenn Sie die fehlenden )aber gefährlich, wenn Sie versucht haben, verwenden Sie den Mauszeiger auf das Objekt zugreifen. this noch nicht auf eine gültige bar Objekt (nur die foo Teil initialisiert wurde), um den Zugriff auf Mitglieder der bar geben könnte Undefiniertes Verhalten. Einfach überprüfen, ob der Zeiger ungleich null ist in Ordnung, und wird es immer geben true (ob oder ob nicht, die Sie anwenden, eine sinnlose cast).
InformationsquelleAutor der Antwort Mike Seymour
16

Es ist ein guter Einstieg in die C++ - super-faq:

https://isocpp.org/wiki/faq/ctors#using-this-in-ctors

Manche Menschen fühlen, sollten Sie nicht verwenden die dieser Zeiger in einen Konstruktor
da das Objekt nicht vollständig gebildet, noch. Jedoch können Sie diese
im Konstruktor (in der {Körper} und auch in der Initialisierungs-Liste)
wenn Sie vorsichtig sind.

Hier ist etwas, was immer funktioniert: die {body} der Konstruktor (oder einer
Funktion, die aufgerufen wird aus dem Konstruktor) kann zuverlässig auf die Daten zugreifen
die Mitglieder erklärten in einer Basisklasse und/oder die Daten-member deklariert
der Konstruktor der eigenen Klasse. Dies ist, weil alle diejenigen, die Mitglieder-Daten
garantiert worden sind, vollständig konstruiert, indem die Zeit, die
Konstruktor {Körper} beginnt mit der Ausführung.

Hier ist etwas, das nie funktioniert: die {body} der Konstruktor (oder einer
Funktion, die aufgerufen wird aus dem Konstruktor) nicht runter, um eine abgeleitete
Klasse durch den Aufruf einer virtuellen member-Funktion, die überschrieben wird, in der
abgeleitete Klasse. Wenn Ihr Ziel war die überschriebene Funktion in
die abgeleitete Klasse, werden Sie nicht bekommen, was Sie wollen. Beachten Sie, dass Sie nicht
man die überschreiben, die in der abgeleiteten Klasse, unabhängig davon, wie Sie rufen
die virtuellen member-Funktion: explizit mit dem this-Zeiger (z.B.,
dieser->Methode()), implizit durch den this-Zeiger (Z. B. Methode()),
oder sogar den Aufruf einer anderen Funktion, dass Anrufe auf die virtuellen member
Funktion auf das Objekt. Unter dem Strich ist dies: auch wenn die
Anrufer ist die Konstruktion eines Objekts einer abgeleiteten Klasse, während die
Konstruktor der Basisklasse, dein Objekt ist noch nicht der, abgeleitet
Klasse. Sie sind gewarnt worden.

Hier ist etwas, was manchmal funktioniert: wenn Sie übergeben die Daten
Mitglieder in diesem Objekt zu einem anderen Daten-Mitglieds-Initialisierer, müssen Sie
stellen Sie sicher, dass die anderen Daten, die Mitglied bereits initialisiert wurde. Die
die gute Nachricht ist, dass Sie bestimmen können, ob die anderen Daten-member hat
(oder noch nicht) initialisiert wurde mithilfe von ein paar einfache Sprache
Regeln, die unabhängig von der speziellen compiler, den Sie verwenden.
Die schlechte Nachricht ist, dass Sie haben, um zu wissen, die Sprache, die Regeln (z.B. base
Klasse sub-Objekte sind initialisiert ersten (look up die Reihenfolge, wenn Sie haben
mehrere und/oder virtuelle Vererbung!), dann Daten-member definiert
die Klasse initialisiert, in der Reihenfolge, in der Sie erscheinen in der
Klasse Erklärung). Wenn Sie nicht wissen, diese Regeln, dann nicht passieren
Daten Mitglied aus der dieses Objekt (unabhängig davon, ob oder nicht Sie
explizit wird das this-keyword), um alle anderen Daten des Mitglieds
Initialisierer! Und wenn Sie die Regeln kennen, bitte vorsichtig sein.

InformationsquelleAutor der Antwort Goz
5

Der this-Zeiger kann in jeder nicht-statischen member-Funktion ...

§9.3.2/1

In den Körper einer nicht-statischen (9.3) die Funktion, die keyword - this ist ein prvalue Ausdruck, dessen Wert der Adresse des Objekts, für das die Funktion aufgerufen wird. Der Typ dieser in einer member-Funktion einer Klasse X ist X*. Wenn Sie die member-Funktion deklariert const, der Typ der dies ist const X*, wenn der member-Funktion deklariert ist flüchtig, der Typ dieser flüchtig ist X* ein, und wenn die member-Funktion deklariert, const, volatile, in der Art von dies ist const volatile-X*.

... wobei Konstruktoren und Destruktoren sind member-Funktionen ...

§12/1

Den default-Konstruktor (12.1), copy-Konstruktor und copy-Zuweisungsoperator (12.8), move-Konstruktor und move-Zuweisungs-operator (12.8) und destructor (12.4) sind spezielle member-Funktionen.

... die sind nicht statisch.

§12.1/4

Einen Konstruktor darf nicht virtuell sein (10.3) oder statische (9.4).

§12.4/2

Einen Destruktor darf nicht statisch sein.

So this ist verfügbar in Konstruktoren und Destruktoren. Aber es gibt Einschränkungen (insbesondere in Bezug auf die Nutzung von this innerhalb der Initialisierungsliste).

(Hinweis: im Inneren der Konstruktor /Destruktor-Körper, die Initialisierung für alle Unterobjekte und Mitglieder ist abgeschlossen, und Sie sind zugänglich; siehe weiter unten).

1. Nur access-Objekt erstellt wird (oder Unterobjekte) durch this.

§12.1/14

Während der Bau von ein const-Objekt, wenn der Wert des Objekt oder eines seiner Unterobjekte zugegriffen wird durch ein glvalue, dass ist nicht erhalten, die direkt oder indirekt aus der Konstruktor this Zeiger, wird der Wert des Objekt-oder Unterobjekt so erhalten wird, ist nicht spezifiziert.

2. Nicht aufrufen virtueller Funktionen überschreiben in einer abgeleiteten Klasse in der Basis-Konstruktor

§12.7/4

Member-Funktionen, einschließlich der virtuellen Funktionen (10.3), kann aufgerufen werden, während der Konstruktion oder Zerstörung (12.6.2). Wenn eine virtuelle Funktion aufgerufen wird, die direkt oder indirekt von einem Konstruktor oder einem Destruktor, einschließlich während der Konstruktion oder Zerstörung der Klasse, nicht-statische Daten-member, und das Objekt, auf das der Anruf gilt, ist das Objekt (nennen wir es x) im Bau oder Zerstörung die Funktion, die aufgerufen wird, die final overrider im Konstruktor oder Destruktor der Klasse und nicht in ein übergeordnetes es in einen mehr abgeleiteten Klasse. Wenn die virtuelle Funktion Aufruf verwendet eine explizite class-member-Zugriff (5.2.5) und die Objekt-Ausdruck bezieht sich auf das komplette Objekt von x oder einer von diesem Objekt Basis-Klasse Unterobjekte, aber nicht x oder einer seiner Basis-Klasse Unterobjekte, ist das Verhalten undefiniert.

3. Nicht anwenden dynamic_cast zu werfen this in keinem anderen Typ als den Typ im Bau oder in jedem base-Typ davon.

§12.7/6

dynamic_casts (5.2.7) verwendet werden kann, während der Konstruktion oder Zerstörung (12.6.2). Wenn ein dynamic_cast verwendet wird, in einem Konstruktor (einschließlich der mem-Initialisierer oder Klammer-oder-gleich-Initialisierer für eine nicht-statischen Daten-member) oder in einem Destruktor, oder in einer Funktion, die aufgerufen wird (direkt oder indirekt) von einem Konstruktor oder Destruktor, wenn der operand den dynamic_cast bezieht sich auf das Objekt im Bau oder Zerstörung, dieses Objekt wird als am meisten abgeleitet, das Objekt hat den Typ der Konstruktor oder Destruktor der Klasse. Wenn der operand den dynamic_cast bezieht sich auf das Objekt im Bau oder Zerstörung der statische Typ des Operanden ist nicht ein Zeiger oder Objekt der Konstruktor oder Destruktor der eigenen Klasse oder einer Ihrer Basen, der dynamic_cast Ergebnisse zu undefiniertem Verhalten.

4. Umwandlung von this in die base Typ Zeiger ist nur erlaubt, durch die Wege, die aus der konstruierten Basis-Typen.

§12.7/3

Explizit oder implizit konvertiert einen Zeiger (eine glvalue) verweist auf ein Objekt der Klasse X auf einen Zeiger (Referenz) auf eine direkte oder indirekte Basisklasse B von X, die Konstruktion von X und den Bau aller Ihrer direkten oder indirekten Basen, die direkt oder indirekt abgeleitet aus B gestartet und die Zerstörung dieser Klassen sind noch nicht abgeschlossen haben, da sonst die Konvertierung nicht definiertes Verhalten. Um die form eines Zeigers (oder auf den Wert zugreifen der) eine direkte, nicht-statische member eines Objekts obj, Bau obj soll begonnen haben, und Ihre Zerstörung ist nicht abgeschlossen haben, da sonst die Berechnung der Zeiger-Wert (oder dem Zugriff auf die member-Wert) führt zu undefiniertem Verhalten.

Zugriff auf die sub-Objekte und Elemente in der Initialisierungsliste und den Konstruktor Körper

Im Prinzip können Sie den Zugriff aufgebaut /initialisierte Objekte aus der Initialisierungsliste, wenn Ihre Initialisierung erfolgt vor dem Zugriff auf Sie.
Die Reihenfolge der Initialisierung ist

§12.6.2/10
In einem nicht-delegierende Konstruktor, die Initialisierung geht in der folgenden Reihenfolge:
- Ersten, und nur für den Konstruktor für die abgeleitete Klasse (1.8), virtuelle Basisklassen initialisiert werden, in der Reihenfolge, wie Sie erscheinen, auf eine Tiefe-zuerst, Links-nach-rechts-Traversierung von gerichteten azyklischen Graphen von Basis-Klassen, wo die "Links-nach-rechts" ist die Reihenfolge der Basisklassen in die abgeleitete Klasse Basis-specifier-Liste.
- Dann, direkten Basisklassen initialisiert werden in der Reihenfolge der Deklaration, wie Sie erscheinen in der Basis-specifier-Liste (unabhängig von der Reihenfolge der mem-Initialisierungen).
- Dann nicht-statischen Daten-member initialisiert sind in der Reihenfolge Ihrer Deklaration in der Klassendefinition (wieder unabhängig von der Reihenfolge der mem-Initialisierungen).
- Schließlich der compound-statement des Konstruktors Körper ausgeführt wird.
InformationsquelleAutor der Antwort Pixelchemist

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.

Der this-Zeiger kann in jeder nicht-statischen member-Funktion ...

... wobei Konstruktoren und Destruktoren sind member-Funktionen ...

... die sind nicht statisch.

So this ist verfügbar in Konstruktoren und Destruktoren. Aber es gibt Einschränkungen (insbesondere in Bezug auf die Nutzung von this innerhalb der Initialisierungsliste).

Zugriff auf die sub-Objekte und Elemente in der Initialisierungsliste und den Konstruktor Körper

So `this` ist verfügbar in Konstruktoren und Destruktoren. Aber es gibt Einschränkungen (insbesondere in Bezug auf die Nutzung von `this` innerhalb der Initialisierungsliste).