C++ Constructor bởi Value

Question

Giả sử tôi có như sau (không hợp lệ) mã:

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

MSVC mang lại cho tôi:

error C2652: 'A' : illegal copy constructor: first parameter must not be a 'A' 

Tại sao trình biên dịch phát hiện này như constructor sao chép, và không phải là một nhà xây dựng thường xuyên ?

Chương 12.8.2 của ++ Chuẩn C nói:

A non-template constructor for class X is a copy constructor if its first parameter is of type X& , const X& , volatile X& or const volatile X&

Tôi mong rằng trình biên dịch phát hiện các phương pháp trên như constructor thường xuyên, giống như

struct A { 
    A(B) {}; 
}; 

trong khi B là một lớp khác.

Hành vi này được xác định ở đâu?

Answer 1

N4140 [class.copy]/6

A declaration of a constructor for a class X is ill-formed if its first parameter is of type (optionally cv-qualified) X and either there are no other parameters or else all other parameters have default arguments.