Erstreckt sich die Lebensdauer eines „std::initializer_list'-Rückgabewerts auf die aufrufende Funktion?

Lebensdauer eines std::initializer_list-Rückgabewerts

Frage:

Gemäß dem C-Standard, wenn eine Funktion Gibt eine Initialisierungsliste zurück. Sollte sich die Lebensdauer des zugrunde liegenden Arrays auf die aufrufende Funktion erstrecken?

Analyse

Der C-Standard besagt, dass die Lebensdauer eines std::initializer_list-Objekts mit der Lebensdauer des Objekts identisch ist, das es initialisiert. Wenn eine Funktion eine Initialisierungsliste zurückgibt, initialisiert sie das Rückgabewertobjekt. Es sind jedoch zwei Instanzen der Initialisierungsliste beteiligt: ​​die in der Funktion und die im aufrufenden Code.

Das Beispiel im Standard legt nahe, dass sich die Lebensdauer des Arrays auf das Objekt erstreckt, in das kopiert wird würde bedeuten, dass das Array des Rückgabewerts auch in der aufrufenden Funktion bestehen bleiben sollte. Dies ist jedoch in der Praxis nicht der Fall.

Antwort:

Derzeit ist das Verhalten der Lebensdauer eines std::initializer_list-Rückgabewerts nicht klar definiert der C-Standard. Verschiedene Compiler implementieren es unterschiedlich:

• GCC zerstört das Array vor der Rückgabe fälschlicherweise und behält dabei benannte Initialisierungslisten bei.
• Clang verarbeitet das Beispiel aus dem Standard korrekt, zerstört jedoch niemals Objekte im Liste. Dies würde zu einem Speicherverlust führen.
• ICC unterstützt überhaupt keine Initialisierungslisten.

Zusammenfassend lässt sich sagen, dass es derzeit nicht möglich ist, sich auf die Lebensdauer eines std zu verlassen:: Der Rückgabewert von initializer_list erstreckt sich bis in die aufrufende Funktion. Vermeiden Sie die Verwendung von std::initializer_list zur Weitergabe von Werten, da dies zu unerwartetem Verhalten führen kann.

Zusätzliche Hinweise:

DR 1290 hat den Wortlaut des Standards geändert und Die noch offenen DRs 1565 und 1599 befassen sich mit verwandten Problemen. Allerdings wird die Semantik noch definiert und es wird einige Zeit dauern, bis die Compiler die endgültigen Änderungen implementieren.

Das obige ist der detaillierte Inhalt vonErstreckt sich die Lebensdauer eines „std::initializer_list'-Rückgabewerts auf die aufrufende Funktion?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!