Toán tử C++ 0x T + (const T &, T &&), vẫn cần di chuyển?

Question

Một số thời gian trước đây tôi đã được nói, rằng mô hình thông thường để thực hiện hai nhà khai thác một nhu cầu cuối cùng move trong sự trở lại.

Matrix operator+(const Matrix &a, Matrix &&b) { 
    b += a; 
    return std::move(b); 
} 

Nhưng bây giờ có quy tắc đặc biệt mà trong một return trình biên dịch có thể đối xử với giá trị trả về là một tạm thời, và sau đó điều này sẽ không cần thiết - một đơn giản return b sẽ đủ.

Nhưng sau đó một lần nữa, b có tên trong chức năng này, do đó, một vế trái của nó - mà gây cản trở các trình biên dịch để m xem xét nó là một temp, và move là bắt buộc.

Đây có phải là trường hợp trong phiên bản gần đây nhất của tiêu chuẩn C++ 0x không? Chúng tôi cần move để triển khai mẫu trên?

Answer 1

Bạn cần rõ ràng std::move trong ví dụ này vì b không phải là tên của một đối tượng non-volatile tự động. Tham khảo 12,8 [class.copy]/P31/b1:

• trong một tuyên bố trở lại trong một hàm với một kiểu lớp trở lại, khi biểu thức là tên của một đối tượng non-volatile tự động (tham số khác hơn một chức năng hoặc bắt-khoản) với cùng CV- loại không đủ tiêu chuẩn như các loại chức năng Đổi lại, các hoạt động sao chép/di chuyển thể được bỏ qua bằng cách xây dựng các đối tượng tự động trực tiếp vào giá trị trả về các chức năng của

Answer 2

Tôi không chắc tại sao hàm này trả về giá trị. Không nên chức năng này trả lại Matrix&& như sau?

Matrix&& operator+(const Matrix &a, Matrix &&b) { 
    b += a; 
    return std::move(b); 
} 

này có lợi thế thêm rằng x1 + x2 + x3 + ... + xn tạo ra nhiều nhất là một tạm thời, đó là quan trọng nếu Matrix xảy ra để được stack giao (vì nó sau đó giành gì từ động thái).

Tôi nghĩ rằng chữ ký nên như sau:

Matrix&& operator+(Matrix &&a,  Matrix &&b ); 
Matrix&& operator+(const Matrix &a, Matrix &&b ); 
Matrix&& operator+(Matrix &&a,  const Matrix &b); 
Matrix operator+(const Matrix &a, const Matrix &b);