Czy referencja zwrócona ze zmiennej tymczasowej jest ważna?

Question

Natknąłem sytuacji, gdy jest w stanie łańcucha wywołanie metody zmiennej czasowej byłoby bardzo pomocne:

draw(Quad(0, 0, 1, 1).rotate(90)); // <-- .rotate() returns a Quad reference 

struct Quad{ 
    Quad(float x, float y, float width, float height){...} 
    Quad & rotate(float degrees){ 
     ... 
     return *this; 
    } 
} 

Jednak jestem pewien, czy zmienna tymczasowa pozostanie przy życiu wystarczająco długo dla draw() funkcja do korzystania z niego. Czy to jest bezpieczne?

Answer 1

To szczególne zastosowanie jest bezpieczne. Czasowy trwa do końca pełnego wyrażenia, które je tworzy: ^†; tutaj pełnym wyrażeniem jest całe oświadczenie, w tym wezwanie do draw.

Generalnie ten wzór może być niebezpieczny. Poniżej podano niezdefiniowane zachowanie:

Quad & rotated = Quad(0, 0, 1, 1).rotate(90); 
draw(rotated); 

W mojej opinii wolałbym, aby typ był niezmienny; zamiast wywoływania funkcji modyfikacji istniejącego obiektu, wywołaj funkcję const, aby zwrócić nowy obiekt, pozostawiając istniejący obiekt w stanie nienaruszonym.

^† chyba że jest związany bezpośrednio do odniesienia, która rozciąga się jej żywotność odpowiednio do wartości zadanej. Nie dotyczy to tutaj, ponieważ nie jest bezpośrednio związana.

Answer 2

Tak, tymczasowy Quad jest niszczony na końcu pełnego wyrażenia (kończąc ;). Więc wciąż żyje, kiedy wywołujesz na nim rotate i wciąż żyje, kiedy wywołujesz jako parametr parametr draw.