Quelle est la différence entre le comportement « mal formé ; aucun diagnostic requis » du C et un comportement non défini ?

Différence entre un comportement non défini et un comportement mal formé, aucun diagnostic requis

Sans aucun doute, la norme C introduit un large éventail de définitions pour les comportements classés comme « peu clairs ». Cependant, l'expression « le programme est mal formé ; aucun diagnostic requis » a soulevé des questions quant à sa distinction par rapport aux autres catégories comportementales.

Définir les comportements bien formés et mal formés :

La norme C classe les programmes comme étant bien formés ou mal formés. Les programmes bien formés adhèrent à la fois à la syntaxe et aux règles sémantiques diagnosticables. À l'inverse, les programmes mal formés violent ces règles et ne devraient idéalement pas être compilés. distincts des comportements bien formés, mais ils n’impliquent pas un code erroné. Dans le premier cas, la mise en œuvre doit documenter ses actions spécifiques, tandis que dans le second, aucune documentation n'est nécessaire. Un comportement non défini, en revanche, implique que le programme est erroné, selon 1.3.13.

Compilateurs, comportement non défini et programmes mal formés :

Malgré le terme « erroné » suggérant que les compilateurs doivent terminer la compilation avec un message d'erreur, le standard C permet une gestion silencieuse des comportements non définis. Notamment, les compilateurs n'émettent souvent pas d'avertissements ou ne terminent pas la compilation en raison d'un comportement non défini.

Programmes mal formés et exigences de diagnostic :

L'utilisation de « aucun diagnostic requis » à côté de « mal formé » présente un paradoxe. Si des programmes mal formés ne doivent pas être compilés, il serait contre-intuitif de permettre aux compilateurs de les ignorer silencieusement. Cependant, la norme autorise explicitement cette possibilité.

Conclusion :

La distinction entre « mal formé ; aucun diagnostic requis » et « comportement indéfini » reste floue. Bien qu'il puisse y avoir une association entre des programmes mal formés et un code incorrect, ainsi qu'un comportement indéfini avec des problèmes d'exécution, cela n'est pas toujours cohérent. En fin de compte, l'aspect « aucun diagnostic requis » est primordial, car il l'emporte sur l'attente de génération de diagnostic dans le cas de programmes mal formés.

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!