Le paragraphe C11 6.7.6.2P1 dit :

contraintes

1. En plus des qualificateurs de type optionnels et du mot-clé statique, le [ et ] peut délimiter une expression ou *. S'ils délimitent une expression (qui spécifie la taille d'un tableau), l'expression doit avoir un type d'entier. Si l'expression est une expression constante, il doit avoir une valeur supérieure à zéro .

   Comme votre programme viole un doit (0 n'est pas supérieur à zéro), le programme aurait un comportement indéfini , sauf que dans ce cas, il apparaît dans les contraintes section. Comme la section 4 Conformité dit

   4 Conformité

   1. dans cette norme internationale, "" doit "être interprété comme une exigence sur une mise en œuvre ou sur un programme; Inversement, "ne" doit pas "doit être interprété comme une interdiction.

   2. Si un "" doit "ou" "ne" doit pas "exigence", qui apparaît en dehors d'une contrainte ou d'une contrainte d'exécution est violée, le comportement n'est pas défini. Le comportement non défini est autrement indiqué dans la présente Norme internationale par les mots «comportement non défini» ou par l'omission de toute définition explicite du comportement. Il n'y a pas de différence d'emphase parmi ces trois; Ils décrivent tous «comportement indéfini».

      aussi, le 5.1.1.3p1 < / a> dit:

      1. Une implémentation conforme doit produire au moins un message de diagnostic (identifié de manière définie par la mise en oeuvre) si une unité de traduction de prétraitement ou une unité de traduction «forte> contient une violation de la syntaxe toute syntaxe règle ou contrainte , même si le comportement est également explicitement spécifié comme non défini ou défini par la mise en œuvre. Les messages de diagnostic ne doivent pas nécessairement être produits dans d'autres circonstances. [9])

         avec notes de bas de page Dit:

         9) L'intention est que une mise en œuvre devrait identifier la nature de, et dans la mesure du possible, chaque violation. Bien entendu, une implémentation est libre de produire n'importe quel nombre de diagnostics tant que le programme valide est toujours correctement traduit. il peut également traduire avec succès un programme invalide.

         ---

         Ainsi,

         • C11 n'a pas de matrices de taille 0.

         • La présence de tels tableaux est une violation de contraintes

         • Cependant, GCC permet Les matrices de taille zéro comme extension

         • une implémentation C conforme doit produire un message de diagnostic sur une telle utilisation.

         • que GCC compile celui-ci avec des paramètres par défaut sans émettre un message de diagnostic même lorsque -std = c11 est défini fait fonctionner gcc -std = c11 non Mise en œuvre conforme.

         • the Documentation GCC indique que :

           [...] Pour obtenir tous les diagnostics requis par la norme, vous devez également spécifier -peantic (ou -pedantic-erreurs si vous voulez qu'ils soient erreurs plutôt que des avertissements).

           Ainsi d'utiliser GCC pour compiler de manière à ce qu'il soit conforme à la norme C11, vous devez utiliser explicitement au moins gcc -std = c11 -peantique ; Et puis vous obtiendrez: XXX

           Toutefois, GCC compilera toujours votre programme, même s'il s'agit d'un programme incorrect (sauf si vous n'utilisez pas - Erreurs de vitesse ); Dans ce cas naturellement, aucune des exigences de la norme ne s'appliquera.

           puisque la norme C n'autorise pas vraiment les objets de taille zéro (si je lis correctement, une définition de structure doit également avoir au moins un membre, etc.), et c'est plus que ce que les objets distincts doivent occuper un espace distinct en mémoire où proviennent les adresses distinctes des objets; La norme ne spécifie rien des adresses d'objets de taille 0.