`main()` marque-t-il vraiment le début absolu d'un programme C ?

L'idée fausse de Main() comme début absolu en C

Contrairement à la croyance populaire, la norme C dans la section $3.6.1/ 1, en déclarant que « Un programme doit contenir une fonction globale appelée main, qui est le début désigné du programme », n'implique pas qu'aucun code ne précède l'exécution de main(). Au lieu de cela, il établit le concept de « début » comme un point spécifique au sein du programme.

Pour illustrer cette distinction, considérons l'extrait de code suivant :

int square(int i) { return i*i; }
int user_main() { for ( int i = 0 ; i < 10 ; ++i ) std::cout << square(i) << endl; return 0; }
int main_ret= user_main();
int main() { return main_ret; }

Ce code initialise la variable globale main_ret en exécutant user_main() avant d'appeler la fonction main(). Malgré cet ordre d'exécution, user_main() n'est pas considéré comme le véritable "démarrage" du programme tel que défini par le Standard.

Définition de "Démarrer" dans le Standard C

Le nœud du problème réside dans l'interprétation du mot « début ». La norme désigne main() comme le « début désigné » du programme, définissant effectivement « début » comme le point où main() est appelé. Il n'interdit cependant pas l'exécution de code avant cette désignation.

Implications pour la conformité du code

À la lumière de cette interprétation, l'extrait de code donné est entièrement conforme à la norme C. Même si user_main() s'exécute avant main(), le "début" du programme reste au point où main() est appelé.

Conclusion

Bien que cela puisse paraître intuitif que main() devrait être le début absolu d'un programme C, la norme utilise une définition différente. Il établit main() comme le point désigné où le programme « démarre » aux fins de son exécution et de sa spécification ultérieures.

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!