Eu não entendo por que isso compila

Certamente estou perdendo alguma coisa, mas não entendo por que isso compila (com g ++ e clang ++):

struct A
{
};
struct B
{
};

int main()
{
  A a(B);
}

Primeiro de tudo, Bé um tipo ... não um valor. Como devo interpretar esse código?

É interpretada como a declaração de uma função chamada a, que recebe um argumento do tipo Be retorna A.

É simplesmente uma declaração de função que declara aser uma função retornando Ae recebendo um parâmetro do tipo sem nome B.

É válido porque declarações de função, em oposição às definições de função, são permitidas nas definições de função.

Esse problema é conhecido como a análise mais irritante . A linha A a(B);pode ser interpretada como a declaração de uma função denominadaa retornando um objeto do tipo Ae assumindo um parâmetro do tipo sem nome B.

Uma maneira de evitar esse problema é usar a inicialização uniforme sintaxe de introduzida no C ++ 11, que consiste em usar chaves em vez de parênteses: A a{B};retorna um erro. A linha agora é interpretada como uma declaração de variável inicializada com B, que é um tipo em vez de um valor.

Aqui estão mais informações:

A análise mais irritante: como localizá-lo e corrigi-lo rapidamente