Sẽ trả về một đối tượng const từ một hàm ngăn chặn việc xây dựng di chuyển từ bên ngoài?

Question

Với chức năng này và chức năng gọi:

std::string GetString() { 
    std::stringstream sstr; 
    const auto str = sstr.str(); 
    return str; 
} 

const auto returnedStr = GetString(); 

di chuyển-xây dựng sẽ được bỏ qua khi tôi tuyên bố str như const?

Answer 1

Trong trường hợp của bạn, returnedStr sẽ được di chuyển-xây dựng từ giá trị trả về của GetString(), nhưng mà giá trị trả về sẽ được sao chép-xây dựng từ str⁽¹⁾. Nếu str không phải là const, giá trị trả về sẽ được di chuyển từ nó. Lưu ý rằng trong cả hai trường hợp, tối ưu hóa giá trị trả về vẫn có thể áp dụng, do đó trình biên dịch vẫn có thể xây dựng giá trị trả về (hoặc thậm chí là str) trực tiếp trong không gian returnedStr, bỏ qua một hoặc cả hai công trình sao chép/di chuyển. Này được cấp bằng C++ 11 12,8/31:

Khi tiêu chí nhất định được đáp ứng, một thực hiện được phép bỏ qua việc xây dựng sao chép/di chuyển của một đối tượng lớp , ngay cả khi sao chép/di chuyển constructor và/hoặc destructor cho đối tượng có tác dụng phụ. Trong các trường hợp như vậy, việc triển khai xử lý nguồn và đích của thao tác sao chép/di chuyển bị bỏ qua chỉ đơn giản là hai cách khác nhau là cách đề cập đến cùng một đối tượng và sự phá hủy đối tượng đó xảy ra sau này là khi hai đối tượng sẽ bị phá hủy mà không có sự tối ưu hóa. sự bỏ bớt này sao chép/di chuyển hoạt động, được gọi là bản sao sự bỏ bớt, được phép trong các trường hợp sau (có thể được kết hợp để loại bỏ nhiều bản sao):

• trong một tuyên bố return trong một hàm với một lớp kiểu trả về, khi biểu thức là tên của đối tượng tự động không bay hơi (khác với hàm hoặc tham số mệnh đề bắt buộc) với cùng loại cv-unqualified làm kiểu trả về hàm, thao tác sao chép/di chuyển có thể bỏ qua bằng cách xây dựng đối tượng tự động trực tiếp vào giá trị trả về của hàm

• ...

• khi một đối tượng lớp tạm thời chưa được ràng buộc với một tài liệu tham khảo (12.2) sẽ được sao chép/di chuyển đến một đối tượng lớp với kiểu cv-không đủ tiêu chuẩn đó, sao chép/hoạt động di chuyển có thể được bỏ qua bởi xây dựng các đối tượng tạm thời trực tiếp vào mục tiêu của bản sao bỏ qua/di chuyển

điểm đạn đầu tiên bao gồm các sự bỏ bớt việc xây dựng giá trị trả về, người kia bao gồm di chuyển trở lại giá trị thành returnedStr. Lưu ý yêu cầu về loại "cùng loại cv không đủ điều kiện", điều này có nghĩa là loại này hoạt động bất kể các vòng loại cv.

---

⁽¹⁾ Lưu ý rằng nếu chúng ta đã nói về một lớp X khác hơn std::string, một trong đó cung cấp một constructor chuyển tham gia một const X&&, sau đó thực sự là giá trị trả về sẽ là động thái được xây dựng sử dụng constructor này (bất cứ điều gì ngữ nghĩa nó có thể có).

Answer 2

Câu trả lời của Angew là đúng nhưng ai có thể nhớ tất cả các quy tắc luật sư ngôn ngữ?

Để giúp tôi nhớ dễ dàng hơn, tôi đã viết các quy tắc sau đây đến từ miệng của STL.

15) Đừng trở người dân địa phương như const [16]

$ ức chế di chuyển ngữ nghĩa

16) Không sử dụng di chuyển khi trở về địa phương bằng giá trị của cùng loại chính xác [16]

$ NVRO sẽ không được sử dụng nếu bạn thực hiện việc này.

17) Đừng quay trở lại bởi rvalue tài liệu tham khảo (& &) [16]

$ Trừ khi bạn thực sự thực sự biết những gì bạn đang làm.

Ghi chú:

[16] Đừng Giúp Compiler, Đi Native 2013, http://www.youtube.com/watch?v=AKtHxKJRwp4