Tại sao tôi được phép sao chép unique_ptr?

Question

thể trùng lặp:
Returning unique_ptr from functions

20.7.1.2 [unique.ptr.single] định nghĩa constructor sao chép như thế này:

// disable copy from lvalue 
unique_ptr(const unique_ptr&) = delete; 
unique_ptr& operator=(const unique_ptr&) = delete; 

Vì vậy, tại sao các biên dịch đoạn mã sau khỏe?

#include <memory> 
#include <iostream> 

std::unique_ptr<int> bar() 
{ 
    std::unique_ptr<int> p(new int(4)); 
    return p; 
} 

int main() 
{ 
    auto p = bar(); 

    std::cout<<*p<<std::endl; 
} 

tôi biên soạn nó như thế này:

g++ -O3 -Wall -Wextra -pedantic -std=c++0x kel.cpp 

Trình biên dịch: g ++ phiên bản 4.6.1 20.110.908 (Red Hat 4.6.1-9)

Answer 1

Trong báo cáo trả về, nếu bạn trả về biến cục bộ, biểu thức được coi là giá trị và do đó tự động đã di chuyển. Do đó, nó tương tự như:

return std::move(p); 

Nó gọi hàm tạo unique_ptr(unique_ptr&&).

Trong chức năng chính, bar() tạo ra tạm thời, là một giá trị và cũng được di chuyển đúng cách vào p trong main.

Answer 2

Tôi nghĩ rằng sao chép từ một giá trị trái là bị vô hiệu hóa, nhưng "bar()" là một rvalue do đó, nó là OK. Bạn chắc chắn cần phải có thể sao chép từ giá trị.

Answer 3

Đó là khôngsao chép, nó là chuyển.

Lệnh return tương đương với điều này:

return std::move(p); 

nói vẻ thông thái, đó là ngữ nghĩa tương đương. Trong thực tế, trình biên dịch có thể tối ưu hóa mã, bỏ qua cuộc gọi đến hàm tạo-di chuyển. Nhưng điều đó chỉ có thể xảy ra nếu bạn viết như sau:

return p; //It gives the compiler an opportunity to optimize this. 

Đó là khuyến cáo. Tuy nhiên, trình biên dịch không có cơ hội để tối ưu hóa nếu bạn viết này:

return std::move(p); //No (or less) opportunity to optimize this. 

Đó là không khuyến khích. :-)