No entiendo por qué esto compila

Ciertamente me falta algo, pero no entiendo por qué esto se compila (con g ++ y clang ++):

struct A
{
};
struct B
{
};

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

En primer lugar, Bes un tipo ... no un valor. ¿Cómo debo interpretar este código?

Se interpreta como la declaración de una función denominada a, que toma un argumento de tipo By devuelve A.

Es simplemente una declaración de función que declara aser una función que regresa Ay toma un parámetro de tipo sin nombre B.

Es válido porque las declaraciones de función en lugar de las definiciones de función están permitidas dentro de las definiciones de función.

Este problema se conoce como el análisis más irritante . La línea A a(B);se puede interpretar como la declaración de una función llamada que adevuelve un objeto de tipo Ay toma un parámetro de tipo sin nombre B.

Una forma de evitar este problema es usar la sintaxis de inicialización uniforme que se introdujo en C ++ 11, que consiste en usar llaves en lugar de paréntesis: A a{B};devuelve un error. La línea ahora se interpreta como una declaración de variable inicializada con B, que es un tipo en lugar de un valor.

Aquí hay más información:

El análisis más irritante: cómo detectarlo y solucionarlo rápidamente