Những thay đổi nào đối với C++ đã thực hiện công việc khởi tạo sao chép cho lớp với hàm tạo rõ ràng?

Question

xem xét mã này:

struct X{ 
    explicit X(){} 
    explicit X(const X&){} 
}; 

void foo(X a = X()){} 

int main(){} 

Sử dụng tiêu chuẩn C++ 14, cả GCC 7.1 và Clang 4,0 rejects mã, đó là những gì tôi mong đợi.

Tuy nhiên, sử dụng C++ 17 (-std=c++1z), they both accept mã. Quy tắc nào đã thay đổi?

---

Đối với cả hai trình biên dịch để thể hiện hành vi tương tự này, tôi nghi ngờ đây là lỗi. Nhưng theo như tôi có thể nói, bản nháp mới nhất vẫn cho biết, đối số mặc định sử dụng ngữ nghĩa của sao chép khởi tạo. Một lần nữa, chúng tôi biết rằng các nhà xây dựng explicit sẽ chỉ cho phép khởi tạo trực tiếp .

: dcl.fct.default/5; : class.conv.ctor/2

Answer 1

Bởi vì hành vi của copy elision thay đổi từ C++ 17; trong trường hợp này, việc tối ưu hóa là bắt buộc.

Theo các trường hợp sau, các trình biên dịch được yêu cầu phải bỏ các copy- và nhà thầu move- của lớp đối tượng ngay cả khi sao chép/di chuyển constructor và destructor có thể quan sát được tác dụng phụ:

• Trong khởi tạo, nếu biểu thức khởi tạo là giá trị và phiên bản cv-unqualified của loại nguồn là cùng lớp với lớp đích, biểu thức khởi tạo được sử dụng để khởi tạo đối tượng đích:

  T x = T(T(T())); // only one call to default constructor of T, to initialize x 
  

và cho copy initialization:

Ảnh hưởng của bản khởi tạo là:

• Thứ nhất, nếu T là một loại lớp và khởi tạo là một prvalue Biểu mẫu có loại cv không đủ tiêu chuẩn là cùng một lớp với T, khái niệm initializer chính nó, đúng hơn là một tạm thời cụ thể hóa từ nó, được sử dụng để khởi tạo đối tượng đích: xem copy elision (vì C++ 17)

• Nếu T là một loại lớp và cv-không đủ tiêu chuẩn phiên bản loại khác là T hoặc lớp học có nguồn gốc từ T, các nhà thầu không rõ ràng của T được kiểm tra và kết hợp tốt nhất được chọn theo độ phân giải quá tải. Hàm khởi tạo sau đó được gọi để khởi tạo đối tượng.

Điều đó có nghĩa cho X a = X(), a sẽ được mặc định được xây dựng trực tiếp, sao chép/di chuyển nhà xây dựng và tác dụng phụ của họ sẽ được omiited hoàn toàn. Việc lựa chọn các nhà thầu không rõ ràng để giải quyết quá tải sẽ không diễn ra, được yêu cầu trong C++ 14 (và trước đó). Đối với những trường hợp được bảo đảm này, các nhà xây dựng sao chép/di chuyển không tham gia, thì không quan trọng là chúng có phải là explicit hay không.