Können Sie in C ein Objekt an seinen eigenen Konstruktor übergeben?

Übergeben Sie ein Objekt an seinen eigenen Konstruktor in C

Einige C-Programmierer haben ein faszinierendes Verhalten entdeckt: die Übergabe eines Objekts an seinen eigenen Konstruktor. Dies wirft die Frage auf, ob eine solche Praxis legal ist oder in C als undefiniertes Verhalten gilt.

Bedenken Sie den folgenden Codeausschnitt:

#include <iostream>

struct Foo {
    Foo(Foo& bar) {
        std::cout << &bar << std::endl;
    }
};

int main() {
    Foo foo(foo); // Surprisingly, this compiles and executes
    std::cout << &foo << std::endl;
}

In diesem Code erhält der Foo-Konstruktor einen Verweis auf das konstruierte Objekt selbst, bevor das Objekt vollständig initialisiert ist. Obwohl das Objekt nicht initialisiert ist, ist der Code vom C-Standard zulässig.

Abschnitt 3.8 des C 14-Standardentwurfs stellt klar, dass ein Objekt vor Beginn seiner Lebensdauer (oder nach seinem Ende) seine Adresse annehmen darf oder eine Referenz daran binden, solange die Referenz direkt gebunden werden kann. Undefiniertes Verhalten tritt nur dann auf, wenn bestimmte Vorgänge, wie z. B. L-Wert-zu-R-Wert-Konvertierungen, der Zugriff auf nicht statische Datenelemente oder die Bindung virtueller Basisklassen, für solche teilweise initialisierten Objekte ausgeführt werden.

Im bereitgestellten Codebeispiel ist dies nicht der Fall gegen eine dieser Einschränkungen verstoßen. Wir binden lediglich eine Referenz und beziehen die Adresse innerhalb des Konstruktors, was zulässig ist.

Das aktive Problem 453 wirft jedoch Bedenken hinsichtlich der Gültigkeit der Bindung von Referenzen auf nicht initialisierte Objekte auf. Die ursprünglich vorgeschlagene Sprache unterstützt Defect Report 363, der eine solche Bindung ermöglicht, wie im Codeausschnitt gezeigt.

Obwohl dieses Verhalten zunächst seltsam erscheinen mag, ist es darauf zurückzuführen, dass der Compiler dem Objekt vor der Initialisierung Speicherplatz zuweist. Dies ermöglicht begrenzte Vorgänge wie Referenzbindung und Adressabruf, ohne dass unbestimmte Werte erzeugt werden.

Das obige ist der detaillierte Inhalt vonKönnen Sie in C ein Objekt an seinen eigenen Konstruktor übergeben?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!