Làm thế nào để tránh được những bản sao khi tôi trở

Question

Tôi đã một hàm trả về một vector hoặc thiết lập:

set<int> foo() { 
    set<int> bar; 
    // create and massage bar 
    return bar; 
} 

set<int> afoo = foo(); 

Trong trường hợp này, tôi có thể tạo một không gian bộ nhớ tạm thời chức năng foo(), và sau đó gán nó đến afoo bằng cách sao chép. Tôi thực sự muốn tránh bản sao này, bất kỳ cách nào dễ dàng tôi có thể làm điều này trong C++ 11? Tôi nghĩ điều này liên quan đến điều rvalue. OK, cập nhật cho câu hỏi: Nếu tôi sẽ trả về một đối tượng được xác định bởi bản thân mình, không phải là vectơ hoặc thiết lập, điều đó có nghĩa là tôi nên định nghĩa một hàm tạo di chuyển? như sau:

class value_to_return { 
    value_to_return (value_to_return && other) { 
    // how to write it here? I think std::move is supposed to be used? 
    } 
} 

THanks !!!

Answer 1

Khám phá return value optimization. Một trình biên dịch hiện đại sẽ tối ưu hóa tình huống này, và trong các tình huống đơn giản như thế này, sẽ không có bản sao nào được thực hiện trên bất kỳ trình biên dịch chính nào.

Về nguyên tắc, bạn cũng có thể tạo đối tượng của mình bên ngoài hàm, sau đó gọi hàm và chuyển đối tượng đến hàm đó bằng tham chiếu. Đó sẽ là cách cũ để tránh một bản sao, nhưng nó là không cần thiết và không mong muốn bây giờ.

Answer 2

Tôi thường làm việc xung quanh này bằng cách có chức năng chữ ký như

void foo(set<int> *x) 

Chỉ cần vượt qua nó bằng cách tham chiếu hoặc các tùy chọn khác đã được đề cập trong nhận xét.

Chỉnh sửa: Tôi đã thay đổi loại đối số để minh họa rằng x có thể thay đổi.

 set<int> s; 
     foo(&s); 

Điều này chỉ được ưu tiên khi bạn có trình biên dịch cũ. Tôi cho rằng đó có thể là trường hợp với một số dự án.

Và, điều tốt hơn cần làm là sử dụng di chuyển ngữ nghĩa với C++ 11. Hoặc tiếp tục trả lại container và nhìn vào RVO trong các trình biên dịch hiện đại.

Answer 3

Modem C++ biên dịch sẽ thực hiện: cho một loại T:

• Nếu T có một bản sao tiếp cận hoặc di chuyển constructor, trình biên dịch có thể chọn để bõ mẫu âm chót bản sao. Đây là cái gọi là (tên) return value optimization (RVO), được chỉ định ngay cả trước C++ 11 và là được hỗ trợ bởi hầu hết các trình biên dịch.
• Nếu không, nếu T có số move constructor, T sẽ được di chuyển (Vì C++ 11).
• Nếu không, nếu T có một hàm tạo bản sao, T sẽ được sao chép.
• Nếu không, lỗi biên dịch sẽ được phát ra.