Pourquoi l'appel récursif de « main() » en C entraîne-t-il un comportement non défini ?

Appels récursifs de Main en C : un voyage dans un territoire indéfini

L'extrait de code déroutant présenté ci-dessous a suscité la curiosité au sein de la communauté des programmeurs :

int main () { 
    return main(); 
}

Au grand étonnement de beaucoup, ce code se compile avec succès. Cependant, son exécution révèle un comportement intrigant : il fonctionne indéfiniment. Cette observation particulière a suscité des questions sur la mécanique sous-jacente.

Le dilemme de l'appel de Main

Le standard C déclare explicitement dans [basic.start.main] p3 que " La fonction main ne doit pas être nommée par une expression." Cette interdiction découle de la nature de main en tant que point d'entrée du programme, que la bibliothèque d'exécution invoque une seule fois. Tout appel ultérieur à main n'est pas autorisé, d'où l'absence d'expression nommée.

Comportement du compilateur et comportement non défini

Selon [intro.compliance.general], un L'obligation du compilateur est de générer du code exécutable à partir de programmes bien formés. Même s'il peut fournir des avertissements ou des erreurs, il n'est pas obligatoire d'appliquer toutes les règles. Dans ce cas particulier, les compilateurs ont le pouvoir discrétionnaire de réagir différemment à la violation de l'appel de main.

Embrassez l'inconnu

En fin de compte, le verdict décisif sur le comportement de ce l'extrait de code relève du domaine du comportement indéfini. Selon la définition de la norme, tout peut arriver lorsqu'un comportement indéfini se produit. Les tentatives de rationalisation de tels résultats sont vaines, car les conséquences sont totalement imprévisibles.

En conclusion, bien que la syntaxe du code présenté soit valide, son exécution entraîne un comportement indéfini. Il est préférable de tenir compte de l'interdiction de la norme concernant les expressions nommées appelant main, de peur que vos programmes ne se lancent dans des voyages imprévisibles vers l'inconnu.

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!