Có thể trả về một biến cục bộ theo giá trị trong C++ 11/14 dẫn đến giá trị trả về đang được xây dựng bởi rvalue khi không có copy/move được tham gia?

Question

Tôi biết rằng trong tình hình sau đó trình biên dịch được tự do di chuyển-xây dựng các giá trị trả về từ makeA (nhưng cũng là miễn phí để bõ mẫu âm chót sao chép hoặc di chuyển hoàn toàn):

struct A 
{ 
    A(A&); 
    A(A&&); 
}; 

A makeA() 
{ 
    A localA; 
    return localA; 
} 

Những gì tôi tự hỏi là liệu trình biên dịch được phép xây dựng một đối tượng kiểu A từ một đối tượng địa phương loại B bằng tham chiếu rvalue nếu nó đang được xây dựng trong câu lệnh trả về. Nói cách khác, trong ví dụ sau, trình biên dịch có được phép chọn phương thức khởi tạocho giá trị trả về không?

struct B { }; 
struct A { 
    A(A&); // (1) 
    A(A&&); // (2) 
    A(B&); // (3) 
    A(B&&); // (4) 
}; 

A makeA() 
{ 
    B localB; 
    return localB; 
} 

Tôi yêu cầu này vì nó sẽ có vẻ với tôi rằng cùng một logic cho phép một đối tượng địa phương của loại A được đối xử như một rvalue trong câu lệnh return cũng nên cho phép một địa phương của bất kỳ loại được đối xử như một giá trị, nhưng tôi không thể tìm thấy bất kỳ ví dụ hoặc câu hỏi nào về bản chất này.

Answer 1

Quy tắc cho tình huống này đã thay đổi từ năm 2011 đến năm 2014. Trình biên dịch giờ đây sẽ xử lý localB làm giá trị.

Nguyên tắc áp dụng cho return báo cáo được tìm thấy trong §12.8 [class.copy]/P32, mà đọc trong C++ 14 (trích dẫn N3936, tôi nhấn mạnh):

Khi các tiêu chuẩn cho sự bỏ bớt các một hoạt động sao chép/di chuyển được đáp ứng, nhưng không cho một ngoại lệ khai, và đối tượng được sao chép được định bởi một giá trị trái, hoặc khi biểu trong một tuyên bố trở lại là một (có thể ngoặc) id -expression có tên là đối tượng với thời lượng lưu trữ tự động được khai báo trong phần nội dung hoặc thông số khai báo tham số của hàm bao trong cùng hoặc biểu thức lambda, quá trình phân giải quá tải để chọn hàm tạo cho bản sao được thực hiện đầu tiên rvalue. Nếu độ phân giải quá tải đầu tiên không thành công hoặc không được thực hiện, hoặc nếu loại tham số đầu tiên của hàm tạo được chọn là không phải tham chiếu rvalue cho loại đối tượng (có thể cv đủ điều kiện), độ phân giải quá tải được thực hiện lại, xem xét đối tượng dưới dạng giá trị .

Điều khoản in đậm được thêm bởi CWG issue 1579, rõ ràng để yêu cầu hàm tạo chuyển đổi A::A(B&&) được gọi tại đây. Điều này được thực hiện trong GCC 5 và Clang 3.9.

Trở lại năm 2011, "thử rvalue đầu tiên" quy tắc này được gắn liền với các tiêu chuẩn cho bản sao sự bỏ bớt (trích dẫn N3337):

Khi các tiêu chuẩn cho sự bỏ bớt một hoạt động sao chép được đáp ứng hoặc sẽ đáp ứng lưu cho một thực tế là đối tượng nguồn là một tham số chức năng, và đối tượng được sao chép được chỉ định bởi một giá trị, quá tải độ phân giải để chọn hàm tạo cho bản sao được thực hiện lần đầu như thể đối tượng được chỉ định bởi một giá trị .

Vì yêu cầu sao chép yêu cầu cả hai phải có cùng loại, đoạn này không áp dụng và trình biên dịch phải sử dụng hàm tạo A::A(B&).

Lưu ý rằng khi CWG 1579 được coi là DR chống lại C++ 11, trình biên dịch nên thực hiện độ phân giải của nó ngay cả trong chế độ C++ 11.