Wracając tymczasowy obiekt i wiązanie z const odniesienia

Question

Powiel możliwe:
Does a const reference prolong the life of a temporary?

Mój kompilator nie narzekają przypisując tymczasowy do const odniesienia:

string foo() { 
    return string("123"); 
}; 

int main() { 
    const string& val = foo(); 
    printf("%s\n", val.c_str()); 
    return 0; 
} 

Dlaczego ? Myślałem, że ciąg zwrócony z foo jest tymczasowy, a val może wskazywać na obiekt, którego czas życia dobiegł końca. Czy standard C++ na to pozwala i przedłuża żywotność zwracanego obiektu?

Answer 1

To jest funkcja C++. Kod jest ważny i robi dokładnie to, co wydaje się robić.

Zwykle obiekt tymczasowy trwa tylko do końca pełnego wyrażenia, w którym się pojawia. Jednak C++ rozmyślnie określa, że ​​powiązanie obiektu tymczasowego z odniesieniem do const na stosie wydłuża czas życia tymczasowego do okresu istnienia samego odniesienia, a tym samym pozwala uniknąć tego, co w innym przypadku byłoby zwykłym błędem zwisającego odniesienia. W powyższym przykładzie tymczasowy zwrócony przez foo() żyje do zamknięcia nawiasu klamrowego.

P.S: Dotyczy to wyłącznie odniesień do stosów. Nie działa dla odniesień będących członkami obiektów.

Pełny tekst: GotW #88: A Candidate For the “Most Important const” by Herb Sutter.