C++ конструктор по значению

Question

Предполагая, что у меня есть следующий (недопустимый) код:

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

MSVC дает мне:

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

Почему компилятор обнаружит это, как конструктор копирования, а не обычный конструктор ?

Глава 12.8.2 стандарта C++ говорит:

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&

Я хотел бы ожидать, что компилятор обнаруживает выше метод как регулярного конструктора, так же, как

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

в то время как B другой класс.

Где такое поведение определено?

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.