Perché la classe contiene un riferimento copiabile?

Question

Avere una classe che tiene un riferimento ci si aspetterebbe il seguente codice sicuro misero, ma compila:

#include <iostream> 

struct ReferenceHolder 
{ 
    std::string& str; 

    ReferenceHolder(std::string& str) 
    : str(str) 
    {} 
}; 

// Why does this compile? 
ReferenceHolder f() { 
    std::string str = "Hello"; 
    return ReferenceHolder(str); 
} 

int main() { 
    ReferenceHolder h = f(); 
    std::cout << "Should be garbage: " << h.str << '\n'; 
    return 0; 
} 

compilatore: g ++ 4.7.2 (con -std = C++ 11)

Modifica: Perfino con costruttori -fno-elide che compila felicemente

Answer 1

Non c'è alcun problema con l'inizializzazione della copia della classe, come fa l'esempio: il nuovo riferimento è semplicemente inizializzato per fare riferimento allo stesso oggetto di quello vecchio. Naturalmente, si ottiene un comportamento indefinito quando la funzione return lascia penzolare il riferimento.

Il riferimento impedisce l'inizializzazione di default e l'assegnazione della copia; quindi la seguente piccola modifica non riuscirà per questi motivi:

ReferenceHolder h; // ERROR: can't default-initialise the reference 
h = f();   // ERROR: can't reassign the reference. 

Answer 2

Questo codice ha un comportamento non definito, vedere the classic answer from Eric Lippert.

Il riferimento in h è legato al riferimento nel valore restituito da f(), che è legato alla ReferenceHolder nell'espressione di ritorno, e quindi h riferimenti str da f() fuori della sua portata.