Sao chép hàm tạo và tối ưu hóa giá trị trả về

Question

Trong một previous question, xuất hiện hàm đồng trả theo giá trị luôn sao chép đối số return của nó vào biến được gán từ nó.

Đây có phải là yêu cầu của tiêu chuẩn hoặc chức năng có thể được tối ưu hóa bằng cách xây dựng biến 'được gán cho' ngay cả trong nội dung hàm không?

struct C { int i; double d; }; 

C f(int i, int d) { 
    return C(i,d); // construct _and_ copy-construct? 
} 

int main() { 
    C c = f(1, 2); 
} 

Answer 1

Các tiêu chuẩn cho phép bất kỳ mức độ sao chép thiếu sót ở đây:

• xây dựng tạm thời tại địa phương, sao chép-xây dựng nó thành một giá trị trả về, và sao chép-xây dựng các giá trị trả về vào địa phương "c". HOẶC
• xây dựng tạm thời địa phương và sao chép cấu trúc đó thành "c". HOẶC
• xây dựng "c" với các đối số "i, d"

Answer 2

Tiêu chuẩn nói rằng các nhà xây dựng bản sao không cần phải được sử dụng - xem phần 12,8/15:

15 Bất cứ khi nào một đối tượng lớp tạm thời được sao chép sử dụng một constructor sao chép, và đối tượng này và bản sao có loại cùng loại cv không đủ điều kiện, việc triển khai được phép xử lý bản gốc và bản sao dưới dạng hai các cách khác nhau tham chiếu đến cùng một đối tượng và không thực hiện bản sao tại tất cả, ngay cả khi lớp học sao chép constructor hoặc destructor có bên hiệu ứng.

Và nhiều hơn nữa trong một mạch tương tự.

Answer 3

Có một cách rất đơn giản và tốt để tránh cân nhắc như vậy hoàn toàn - bạn có thể xem xét việc trả lại một tăng :: shared_ptr đến đối tượng tạo - nó sẽ được thực tế giống nhau khi nói đến khả năng sử dụng nhưng đối tượng của bạn chắc chắn sẽ không được sao chép không cần thiết - và nó sẽ là đúng cũng nếu bạn trả lại nó mặc dù một vài lớp của các cuộc gọi chức năng.

Answer 4

Cách không chuyển tham số bằng tham chiếu và gán kết quả cho nó?