Pourquoi l'analyse la plus fastidieuse de C interprète-t-elle 'A a(A());' comme déclaration de fonction ?

Comprendre la règle d'analyse la plus délicate

L'analyse la plus délicate (MVP) est une règle en C qui conduit souvent à un comportement inattendu lors de l'analyse . Considérez l'extrait de code suivant :

A a( A() );

Cet extrait peut être interprété de deux manières :

• En tant que définition variable de la classe A, en prenant une instance anonyme de la classe A.
• En tant que déclaration de fonction pour une fonction qui renvoie un objet de type A et prend un seul argument (sans nom) qui est une fonction renvoyant le type A (et ne prenant aucun input).

Selon la norme C, ce code est interprété comme ce dernier. Mais pourquoi est-ce le cas ?

Le raisonnement derrière la norme

Si MVP n'existait pas, déclarer une fonction serait ambigu car le code suivant serait interprété comme une définition de variable, pas une déclaration de méthode :

A foo();

Pour éviter cette ambiguïté, MVP exige que tout ce qui peut être interprété comme une déclaration soit interprété comme une déclaration. En d'autres termes, tout code pouvant être interprété comme une définition de variable, une déclaration de fonction ou une définition de classe sera interprété comme tel.

Cette cohérence simplifie le processus d'analyse et permet aux compilateurs d'identifier plus facilement la signification souhaitée. de code. Il s'aligne également sur le principe général du C selon lequel « chaque expression est soit une déclaration, soit une expression ».

Conclusion

Bien que MVP puisse parfois conduire à des résultats d'analyse inattendus , il apporte cohérence et clarté à la syntaxe C. En garantissant que tout le code pouvant être interprété comme une déclaration est interprété comme tel, MVP permet d'éviter les ambiguïtés et simplifie le processus d'analyse pour les compilateurs.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!