Je ne comprends pas pourquoi cela compile

Je manque certainement quelque chose, mais je ne comprends pas pourquoi cela se compile (avec à la fois g ++ et clang ++):

struct A
{
};
struct B
{
};

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

Tout d'abord, Bc'est un type ... pas une valeur. Comment dois-je interpréter ce code?

Il est interprété comme la déclaration d'une fonction nommée a, qui prend un argument de type Bet retourne A.

Il s'agit simplement d'une déclaration de fonction déclarant aêtre une fonction renvoyant Aet prenant un paramètre de type sans nom B.

Il est valide car les déclarations de fonction, par opposition aux définitions de fonction, sont autorisées dans les définitions de fonction.

Ce problème est connu comme l' analyse la plus contrariante . La ligne A a(B);peut être interprétée comme la déclaration d'une fonction nommée arenvoyant un objet de type Aet prenant un paramètre de type sans nom B.

Une façon d'éviter ce problème est d'utiliser la syntaxe d' initialisation uniforme introduite en C ++ 11, qui consiste à utiliser des accolades à la place des parenthèses: A a{B};renvoie une erreur. La ligne est maintenant interprétée comme une déclaration de variable initialisée avec B, qui est un type au lieu d'une valeur.

Voici plus d'informations:

L'analyse la plus contrariante: comment la repérer et la corriger rapidement