destructor được gọi là trước khi tạm thời nên nằm ngoài phạm vi

Question

Tôi có một chút mã không thành công theo VS2015, nhưng hoạt động theo GCC. Tôi khá chắc chắn lỗi là với Visual Studio nhưng muốn chắc chắn rằng sự hiểu biết của tôi về decltype (tự động) là chính xác.

#include <iostream> 
using namespace std; 

string zero_params() 
{ 
    return "zero_params called."; 
} 

template< typename F > 
auto test1(F f) -> decltype(auto) 
{ 
    return f(); 
} 

int main() { 
    cout << std::is_rvalue_reference< decltype(test1(zero_params)) >::value << endl; 
    cout << test1(zero_params) << endl; 

    cout << "Done!" << endl; 
    return 0; 
} 

Trong Visual Studio, chuỗi được trả về bởi zero_params được suy luận là tham chiếu rvalue. Hơn nữa, hàm hủy của đối tượng đó được gọi bên trong test1() trong đó trả về từ cuộc gọi đến f xảy ra (có vẻ như một nơi hợp lý để hủy một đối tượng & &).

Theo GCC, chuỗi trả về không được suy luận là tham chiếu giá trị. Hàm hủy được gọi sau khi sử dụng trong câu lệnh cout như tôi mong đợi.

Xác định kiểu trả về là 'chuỗi' thay vì decltype (tự động) dưới Visual Studio sửa chữa nó, cũng như sử dụng remove_reference_t về sự trở lại của f() bên test1.

Kỳ vọng của tôi sẽ là GCC là đúng như chức năng chữ ký cho zero_params() là chuỗi, không phải chuỗi & & vì vậy tôi mong chờ việc không tham chiếu đến 'bong bóng lên' với kiểu trả về của test1 nếu nó sử dụng decltype (Tự động).

Đây có phải là đánh giá chính xác không?

---

MUỘN EDIT:

Một cách khác tôi đã tìm thấy để làm được việc này với VS2015 là để bọc các chức năng dành cho Test1 trong một lambda:

cout << test1(zero_params) << endl; 

tới:

cout << test1([](auto&&... ps) { return zero_params(std::forward<decltype(ps)>(ps)...); }) << endl; 

Answer 1

Vì vậy, based on the comments chúng tôi có thể kết luận:

• Đây là một lỗi trong preview VS2015
• Có cách giải quyết
• Các bug has been reported

Lỗi là:

• Trình biên dịch nên đã suy luận kiểu trả về là chuỗi
• Nó thực sự suy luận nó là chuỗi & &
• Do đó nó bị phá hủy giá trị sớm

Các cách giải quyết là:

• Không sử dụng decltype (tự động) cho kiểu trả về của hàm
• Bó chức năng trong một biểu thức lambda trước khi đi qua nó trong