ranh giới đầy đủ biểu hiện và tuổi thọ của temporaries

Question

thể trùng lặp:
C++: Life span of temporary arguments?

Người ta nói rằng các biến tạm thời bị phá hủy như là bước cuối cùng trong việc đánh giá đầy đủ thể hiện, ví dụ

bar(foo().c_str()); 

con trỏ tạm thời sống cho đến khi trở lại quầy bar, nhưng những gì cho

baz(bar(foo().c_str())); 

là nó vẫn còn sống cho đến khi trở lại quầy bar, hoặc baz trở lại có nghĩa là diệt hết thể hiện ở đây, trình biên dịch tôi đã kiểm tra đối tượng hủy sau baz trả về, nhưng tôi có thể dựa vào đó không?

Answer 1

Cuộc sống tạm thời cho đến khi kết thúc biểu thức đầy đủ mà chúng được tạo ra. "Biểu thức đầy đủ" là một biểu thức không phải là biểu thức con của biểu thức khác.

Trong baz(bar(...));, bar(...) là biểu thức con của baz(...), trong khi baz(...) không phải là biểu hiện phụ của bất kỳ thứ gì. Do đó, baz(...) là biểu thức đầy đủ và tất cả các thời gian được tạo trong quá trình đánh giá biểu thức này sẽ không bị xóa cho đến khi sau khi trả về baz(...).

Answer 2

Như tên cho thấy, biểu thức đầy đủ là tất cả các biểu thức, bao gồm cả cuộc gọi đến baz() và do đó tạm thời sẽ tồn tại cho đến khi cuộc gọi đến số baz() trả về.