tuyên bố Return bất thường

Question

Hãy xem xét các chức năng sau:

Widget f(Widget w) { 
    return w; 
} 

Giả sử Widget thực hiện cả hai bản sao và di chuyển nhà thầu, theo tiêu chuẩn C++, w phải được đối xử như một rvalue đối tượng trong câu lệnh return, trong trường hợp trình biên dịch sẽ không xem xét sao chép elision một lựa chọn tốt hơn.

Mặt khác, hãy xem xét các phiên bản dưới đây:

Widget f(Widget&& w) { 
    return w; 
} 

Như đối diện với phiên bản đầu tiên, theo Item 25 của Effective Modern C++, tác giả dường như được ngụ ý rằng trở w chắc chắn sẽ gọi constructor sao chép. Nói cách khác, ông đề nghị trả lại std::move(w) thay vào đó, để làm cho trình biên dịch sử dụng hàm khởi động (có thể nhanh hơn).

bạn có thể giải thích lý do tại sao phiên bản thứ hai của f() tham gia một Widget&& như là đối số không tương đương với phiên bản đầu tiên tham gia một Widget bởi giá trị đối với các nhà xây dựng với được gọi trong báo cáo lợi nhuận, thậm chí còn nghĩ rằng trong cơ thể của cả hai các chức năng biểu thức w đề cập đến một lvalue?

dụ Complete chứng minh hành vi:

#include <iostream> 

struct Widget 
{ 
    Widget() { std::cout << "constructed" << std::endl; } 
    ~Widget() { std::cout << "destructed" << std::endl; } 
    Widget(const Widget&) { std::cout << "copy-constructed" << std::endl; } 
    Widget(Widget&&) { std::cout << "move-constructed" << std::endl; } 
}; 

Widget 
f1(Widget w) 
{ 
    return w; 
} 

Widget 
f2(Widget&& w) 
{ 
    return w; 
} 

int 
main() 
{ 
    f1(Widget {}); 
    std::cout << std::endl; 
    f2(Widget {}); 
} 

Output:

constructed 
move-constructed 
destructed 
destructed 

constructed 
copy-constructed 
destructed 
destructed 

Answer 1

Các tiêu chí để ngầm chuyển động được dựa trên bản sao khi sự bỏ bớt được cho phép, nhưng với một số trường hợp ngoại lệ. Sao chép elision được cho phép đối với các đối tượng địa phương không phải là tham số chức năng hoặc tham số bắt. Di chuyển ngầm định thêm các đối tượng cục bộ là các tham số hàm vào đó. Vì vậy, nó cho phép nó trong Widget f(Widget w) { return w; }, nhưng không phải trong Widget f(Widget&& w) { return w; }, trong đó w là một biến địa phương, nhưng không phải là một đối tượng địa phương.

Chuyển động hoàn toàn sẽ an toàn trong một số trường hợp hiện không được phép, kể cả trong ví dụ của bạn. Tuy nhiên, việc di chuyển ngầm được xem xét cẩn thận trên cơ sở từng trường hợp cụ thể và ví dụ của bạn chưa được xem xét hoặc chưa được xem là an toàn.

Các rất tương tự ví dụ Widget f(Widget& w) { return w; } sẽ không an toàn: một người gọi làm Widget w; f(w); không thể mong đợi w để âm thầm được trừ ra bởi trình biên dịch.

Ví dụ rất giống nhau này cho thấy mức độ nguy hiểm của nó là cho phép di chuyển ngầm, và tại sao bạn phải đánh vần nó ngay cả khi nó có vẻ hiển nhiên đối với bạn. Từ ngữ được đề cập đến "biến cục bộ", bao gồm Widget&& w, sẽ cũng bao gồm Widget& w. Sẽ tồi tệ hơn khi di chuyển ngầm ở nơi không an toàn hơn là bỏ lỡ di chuyển ngầm ở nơi an toàn, phải chắc chắn rằng từ ngữ chỉ có các trường hợp an toàn.