Funzione che restituisce un riferimento all'oggetto locale

Question

Ho scritto una funzione che restituisce un riferimento all'oggetto locale.

Fraction& operator*(Fraction& lhs, Fraction& rhs) 
{ 
    Fraction res(lhs.num*rhs.num,lhs.den*rhs.den); 
    return res; 
} 

Dopo funzione restituiscono res oggetto viene distrutto e ricezione oggetto punterà oggetto Ex-Frazione portando ad un comportamento indefinito di utilizzarlo. Chiunque utilizzi questa funzione si troverà ad affrontare un problema.

Perché il compilatore non è in grado di rilevare questo tipo di situazione come errore di compilazione?

Answer 1

La maggior parte dei compilatori mostrerà un avviso quando lo fai. Dovresti sempre attivare gli avvisi con un'opzione come GCC -Wall.

Per quanto riguarda il motivo per cui lo standard non richiede un errore, è perché una funzione con controllo di flusso renderà difficile stabilire se il valore di ritorno fa riferimento a un locale o meno. (E il comportamento non definito si verifica solo se il chiamante restituisce il valore restituito.)