Funkcja, która zwraca odniesienie do lokalnego obiektu

Question

Napisałem funkcję, która zwraca odniesienie do lokalnego obiektu.

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

Po funkcji powrotu res obiekt zostanie zniszczony i odbierania obiekt będzie wskazywać na przedmiot Przykład frakcji prowadzi do nieokreślonego zachowania jego używania. Każdy, kto zamierza skorzystać z tej funkcji, napotka problem.

Dlaczego kompilator nie może wykryć takiej sytuacji jako błędu czasu kompilacji?

Answer 1

Większość kompilatorów wyświetli ostrzeżenie, gdy to zrobisz. Powinieneś zawsze włączać ostrzeżenia z opcją taką jak GCC -Wall.

Jeśli chodzi o przyczynę, dla której błąd nie jest wymagany przez standard, dzieje się tak, ponieważ funkcja z kontrolą przepływu utrudni określenie, czy zwracana wartość odnosi się do lokalnej, czy nie. (A niezdefiniowane zachowanie występuje tylko wtedy, gdy zwracana wartość jest używana przez wywołującego.)