Perché il compilatore non avverte "l'indirizzo di ritorno della variabile locale o temporaneo" quando si restituisce un riferimento locale a una variabile locale?

Question

Questo succede quando compili il seguente codice in Visual Studio 2010. La mia domanda è: il compilatore C++ avviserà se una funzione restituisce l'indirizzo di una variabile locale, ma perché non avvisa quando restituisce un riferimento locale ad una variabile locale ?

È ancora sbagliato (restituire un riferimento locale a una variabile locale), ma solo che il compilatore non è in grado di rilevarlo? Esaminando gli indirizzi di "num" e "r" si rivela che condividono la stessa posizione di memoria.

#include <iostream> 
using namespace std; 

int & intReference() { 
    int num = 5; 
    int &r = num; 
    cout << "\nAddress of num: " << &num; 

    //return num; // Compiler warning: C4172: returning address of local variable or temporary 
    return r; // No warning? 
} 

void main() { 
    int &k = intReference(); 
    cout << "\nk = " << k; // 5 
    cout << "\nAddress of k: " << &k; // same address as num 

    char c; 
    cin.get(c); 
} 

Answer 1

Sì, è ancora sbagliato.

Il compilatore non è in grado di rilevare tutti i casi in cui si stanno facendo cose pericolose (o illegali). Avverte quando li trova, ma non può identificare tutti i casi (e non deve).