Thời gian tồn tại của đối số mặc định tạm thời bị ràng buộc với tham số tham chiếu là gì?

Question

tôi nghĩ tài liệu tham khảo chỉ kéo dài tuổi thọ của temporaries đến tuổi thọ của các tài liệu tham khảo chính nó, nhưng đầu ra của đoạn sau đây dường như mâu thuẫn:

#include <iostream> 

struct X{ ~X(){ std::cout << "Goodbye, cruel world!\n"; } }; 

X const& f(X const& x = X()){ 
    std::cout << "Inside f()\n"; 
    return x; 
} 

void g(X const& x){ 
    std::cout << "Inside g()\n"; 
} 

int main(){ 
    g(f()); 
} 

Live example. Output:

Inside f() 
Inside g() 
Goodbye, cruel world! 

Vì vậy, có vẻ như các tạm thời bị phá hủy sau khi g() được gọi là ... những gì cho?

Answer 1

Tiêu chuẩn xử lý này trong trường hợp đặc biệt trong §12.2 [class.temporary]:

p4 Có hai tình huống trong đó là tạm thời bị phá hủy tại một điểm khác biệt so với khi kết thúc đầy đủ thể hiện. [...]

p5 Ngữ cảnh thứ hai là khi tham chiếu bị ràng buộc tạm thời. Tạm thời mà tham chiếu bị ràng buộc hoặc tạm thời là đối tượng hoàn chỉnh của một đối tượng con mà tham chiếu bị ràng buộc vẫn tồn tại trong suốt thời gian tham chiếu ngoại trừ:

• Giới hạn tạm thời tham số tham chiếu trong hàm cuộc gọi (5.2.2) vẫn tiếp tục cho đến khi hoàn thành biểu thức đầy đủ có chứa số gọi.

Các tiêu chuẩn cũng có một lưu ý tiện dụng trên toàn biểu hiện và đánh giá các subexpressions của họ liên quan đến các thông số mặc định trong §1.9 [intro.execution] p11:

[Lưu ý: Việc thẩm định full- biểu thức có thể bao gồm việc đánh giá các biểu thức con không phải là một phần từ vựng của biểu thức đầy đủ. Ví dụ, các biểu thức con liên quan đến việc đánh giá đối số mặc định (8.3.6) được coi là được tạo trong biểu thức gọi hàm, không phải biểu thức xác định đối số mặc định. —thêm ghi chú]

Answer 2

Thú vị, +1. (Tôi không có nghĩa là để cạnh tranh với câu trả lời tự tốt đẹp của bạn ở đây). Chỉ cần một lưu ý phụ cho bất cứ ai quan tâm. Nếu bạn muốn có một hiệu ứng tương tự nhưng cho phép không const bạn có thể sử dụng ngữ nghĩa di chuyển:

#include <iostream> 

struct X{ 
    ~X(){ std::cout << "Goodbye, cruel world!\n"; } 
    X(X && x){ std::cout << "moved "; } 
    X(){} 
}; 

X f(X x = X()){ 
    std::cout << "Inside f()\n"; 
    return x; 
} 

void g(X x){ 
    std::cout << "Inside g()\n"; 
} 

int main(){ 
    g(f()); 
} 

cho

Inside f() 
moved Inside g() 
Goodbye, cruel world! 
Goodbye, cruel world!