người dân địa phương được trả về tự động xvalues ​​

Question

Sau ngày từ một bình luận tôi đã thực hiện về vấn đề này:

passing std::vector to constructor and move semantics Là std::move cần thiết trong đoạn mã sau, để đảm bảo rằng giá trị trả về là một Xvalue?

std::vector<string> buildVector() 
{ 
    std::vector<string> local; 

    // .... build a vector 

    return std::move(local); 
} 

Tôi hiểu rằng điều này là bắt buộc. Tôi thường thấy này được sử dụng khi trả lại một std::unique_ptr từ một chức năng, tuy nhiên GManNickG đưa ra nhận định sau đây:

Đó là sự hiểu biết của tôi rằng trong một tuyên bố trở lại tất cả các biến địa phương sẽ được tự động xvalues ​​(đáo hạn giá trị) và sẽ được chuyển , nhưng tôi không chắc liệu điều đó chỉ áp dụng cho chính đối tượng được trả về hay không. Vì vậy, OP nên đi trước và đặt đó trong đó cho đến khi tôi tự tin hơn nó không cần phải được. :)

Có ai có thể làm rõ nếu std::move là cần thiết không?

Trình biên dịch hành vi có phụ thuộc không?

Answer 1

Bạn được đảm bảo rằng local sẽ được trả lại dưới dạng giá trị trong trường hợp này. Thông thường các trình biên dịch sẽ thực hiện tối ưu hóa giá trị trả về mặc dù trước đây thậm chí trở thành một vấn đề, và bạn có thể sẽ không thấy bất kỳ động thái thực tế nào, vì đối tượng local sẽ được xây dựng trực tiếp tại trang gọi.

Một liên quan Note trong 6.6.3 [ "Lệnh return"] (2):

Một bản sao hoặc di chuyển hoạt động gắn liền với một câu lệnh return chưa elided hoặc coi là một rvalue với mục đích độ phân giải quá tải khi chọn một hàm tạo (12.8).

Để làm rõ, điều này là để nói rằng đối tượng trả về có thể được di chuyển xây dựng từ đối tượng địa phương (mặc dù trong thực tế RVO sẽ bỏ qua bước này hoàn toàn). Phần chuẩn của tiêu chuẩn là 12.8 ["Sao chép và di chuyển đối tượng lớp"] (31, 32), trên bản sao elision và rvalues ​​(nhờ @Mankarse!).

---

Dưới đây là một ví dụ ngớ ngẩn:

#include <utility> 

struct Foo 
{ 
    Foo()   = default; 
    Foo(Foo const &) = delete; 
    Foo(Foo &&)  = default; 
}; 

Foo f(Foo & x) 
{ 
    Foo y; 

    // return x;   // error: use of deleted function ‘Foo::Foo(const Foo&)’ 
    return std::move(x); // OK 
    return std::move(y); // OK 
    return y;   // OK (!!) 
} 

Contrast này với trả lại một tài liệu tham khảo rvalue thực tế:

Foo && g() 
{ 
    Foo y; 
    // return y;   // error: cannot bind ‘Foo’ lvalue to ‘Foo&&’ 
    return std::move(y); // OK type-wise (but undefined behaviour, thanks @GMNG) 
} 

Answer 2

Tôi nghĩ câu trả lời là không.Mặc dù đã chính thức chỉ là một lưu ý, §5/6 tóm tắt những gì biểu hiện được/không xvalues:

Một biểu thức là một Xvalue nếu nó là:

• kết quả của cách gọi một chức năng, cho dù ngầm hoặc rõ ràng, có kiểu trả về là tham chiếu rvalue đối với loại đối tượng,
• một phép đúc tham chiếu rvalue cho loại đối tượng,
• biểu thức truy cập thành viên lớp chỉ định thành viên dữ liệu không tĩnh của loại không tham chiếu biểu thức đối tượng là xvalue hoặc
• a. * Biểu thức con trỏ đến thành viên trong đó toán hạng đầu tiên là một xvalue và toán hạng thứ hai là một con trỏ tới thành viên dữ liệu.

Nói chung, hiệu ứng của quy tắc này là các tham chiếu rvalue được đặt tên được coi là giá trị và tham chiếu rvalue chưa đặt tên cho các đối tượng được coi là xvalues; tham chiếu rvalue cho các hàm được coi là giá trị cho dù được đặt tên hay không.

Điểm đầu tiên có vẻ như được áp dụng tại đây. Vì hàm trong câu hỏi trả về một giá trị chứ không phải là tham chiếu rvalue, kết quả sẽ không phải là một xvalue.

Answer 3

Đủ cả hai, return std::move(local) và return local, làm việc theo nghĩa là chúng biên dịch, hành vi của chúng khác nhau. Và có lẽ chỉ có cái sau được dự định.

Nếu bạn viết một hàm trả về số std::vector<string>, bạn phải trả lại std::vector<string> và chính xác. std::move(local) có loại std::vector<string>&& là không a std::vector<string> do đó phải được chuyển đổi sang sử dụng hàm khởi tạo di chuyển.

Tiêu chuẩn nói trong 6.6.3.2:

Giá trị của biểu thức là ngầm chuyển đổi sang kiểu trả về của hàm, trong đó nó xuất hiện.

Điều đó có nghĩa, return std::move(local) được equalvalent để

std::vector<std::string> converted(std::move(local); // move constructor 
return converted; // not yet a copy constructor call (which will be elided anyway) 

trong khi return local chỉ là

return local; // not yet a copy constructor call (which will be elided anyway) 

này phụ tùng bạn một thao tác.

---

Để cung cấp cho bạn một ví dụ ngắn về những gì có nghĩa là:

struct test { 
    test() { std::cout << " construct\n"; } 
    test(const test&) { std::cout << " copy\n"; } 
    test(test&&) { std::cout << " move\n"; } 
}; 

test f1() { test t; return t; } 
test f2() { test t; return std::move(t); } 

int main() 
{ 
    std::cout << "f1():\n"; test t1 = f1(); 
    std::cout << "f2():\n"; test t2 = f2(); 
} 

chí này ra

f1(): 
    construct 
f2(): 
    construct 
    move