C++ - variabili temporanee e la loro vita

Question

Questa domanda può essere considerato un follow-up alla seguente domanda: C++ temporary variable lifetime.

Qt contenitori supportano la sintassi di inizializzazione stream-like. Ora, quando scrivo il seguente codice, il mio QVector viene distrutto subito dopo l'assegnazione e il riferimento diventa penzolante.

const QVector<QString>& v = QVector<QString>() << "X" << "Y" << "Z"; 

---

corrispondente operator<< è implementata in questo modo:

inline QVector<T> &operator<< (const T &t) 
{ append(t); return *this; } 

Per quanto ne so, 10.4.10 Temporary Objects afferma che la durata di un oggetto temporaneo è esteso a corrispondere alla durata del correspnding const riferimento ad esso.

Tuttavia, in questo caso l'oggetto temporaneo QVector<QString>()viene eliminato in precedenza.

Immagino che probabilmente questo accade a causa del fatto che l'ultima operazione restituisce un QVector<QString>& e non deve sapere nulla circa la durata della temporanea QVector<QString>, ma questa spiegazione non è rigorosa e potrebbe essere sbagliato.

Quindi, perché questo accade?

Answer 1

La durata di una temporanea è valida solo se è associato ad un const riferimento:

const QVector<QString>& v = QVector<QString>(); 

Tuttavia, nel codice si è non vincolante la temporanea a qualsiasi cosa. Piuttosto, stai chiamando una funzione membro (temporanea), che restituisce un riferimento (al temporaneo). Il risultato di questa chiamata di funzione non è più un oggetto temporaneo, ma solo un semplice riferimento. L'oggetto temporaneo originale scade alla fine dell'espressione completa in cui appare e il riferimento v diventa pendente.

(Nel nuovo C++, è possibile vietare tali "incidenti" in virtù delle funzioni membro rvalue qualificato, per esempio, si potrebbe =delete la versione rvalue dell'operatore <<.)