Que se passe-t-il si je définis un tableau de taille 0 en C/C++ ?

Question

Par curiosité, que se passe-t-il si je définis un tableau de longueur nulle int array[0]; dans le code ? GCC ne se plaint pas du tout.

Exemple de programme

#include <stdio.h>

int main() {
    int arr[0];
    return 0;
}

Clarification

J'essaie en fait de comprendre si les tableaux de longueur nulle initialisés de cette manière, au lieu d'être pointés comme les tableaux de longueur variable dans les commentaires de Darhazer, sont optimisés ou non.

C'est parce que je dois publier du code dans la nature, et j'essaie donc de savoir si je dois gérer les cas où l'option SIZE est défini comme suit 0 , ce qui se produit dans certains codes avec un int array[SIZE];

J'ai été surpris de constater que le GCC ne se plaignait pas, ce qui m'a amené à poser ma question. D'après les réponses que j'ai reçues, je pense que l'absence d'avertissement est largement due à la prise en charge d'un ancien code qui n'a pas été mis à jour avec la nouvelle syntaxe [].

Parce que je m'interrogeais principalement sur l'erreur, je marque la réponse de Lundin comme correcte (celle de Nawaz était la première, mais elle n'était pas aussi complète) - les autres soulignaient son utilisation réelle pour les structures à queue, bien que pertinente, n'est pas exactement ce que je recherchais.

Answer 1

Un tableau ne peut pas avoir une taille nulle.

ISO 9899:2011 6.7.6.2 :

Si l'expression est une expression constante, elle doit avoir une valeur supérieure à zéro.

Le texte ci-dessus s'applique aussi bien à un tableau simple (paragraphe 1). Pour un tableau de longueur variable (VLA), le comportement est indéfini si la valeur de l'expression est inférieure ou égale à zéro (paragraphe 5). Il s'agit d'un texte normatif dans la norme C. Un compilateur n'est pas autorisé à l'implémenter différemment.

gcc -std=c99 -pedantic donne un avertissement pour le cas où il n'y a pas de VLA.

Answer 2

Selon la norme, cela n'est pas autorisé.

Cependant, les compilateurs C ont l'habitude de traiter ces déclarations comme des _membre d'un tableau flexible ( FAM )_ déclaration :

C99 6.7.2.1, §16 : Dans un cas particulier, le dernier élément d'une structure comportant plusieurs membres nommés peut avoir un type de tableau incomplet ; il s'agit alors d'un membre de tableau flexible.

La syntaxe standard d'un FAM est la suivante :

struct Array {
  size_t size;
  int content[];
};

L'idée est de l'allouer de cette manière :

void foo(size_t x) {
  Array* array = malloc(sizeof(size_t) + x * sizeof(int));

  array->size = x;
  for (size_t i = 0; i != x; ++i) {
    array->content[i] = 0;
  }
}

Vous pouvez également l'utiliser de manière statique (extension gcc) :

Array a = { 3, { 1, 2, 3 } };

Il est également connu sous le nom de Structures de la queue (ce terme est antérieur à la publication de la norme C99) ou struct hack (merci à Joe Wreschnig de l'avoir signalé).

Toutefois, cette syntaxe n'a été normalisée (et ses effets garantis) que récemment, en C99. Auparavant, une taille constante était nécessaire.

• 1 était la solution portable, bien qu'elle soit assez étrange.
• 0 était plus efficace pour indiquer l'intention, mais n'était pas légale en ce qui concerne la norme et était supportée comme extension par certains compilateurs (y compris gcc).

La pratique du rembourrage de la queue repose toutefois sur le fait que l'espace de stockage est disponible (prudent). malloc ), il en est de même pour le ne convient pas à l'utilisation de la pile en général.

Answer 3

En C et C++ standard, un tableau de taille nulle est no autorisé

Si vous utilisez GCC, compilez-le avec -pedantic option. Elle donnera avertissement en disant :

zero.c:3:6: warning: ISO C forbids zero-size array 'a' [-pedantic]

Dans le cas de C++, il donne un avertissement similaire.

Answer 4

C'est totalement illégal, et l'a toujours été, mais de nombreux compilateurs négligent de signaler l'erreur. Je ne vois pas très bien pourquoi vous voulez faire cela. La seule utilisation que je connaisse est de déclencher une erreur de compilation à partir d'un booléen :

char someCondition[ condition ];

Si condition est faux, j'obtiens une erreur de compilation. Parce que les compilateurs les compilateurs le permettent, j'ai pris l'habitude d'utiliser :

char someCondition[ 2 * condition - 1 ];

Cela donne une taille de 1 ou de -1, et je n'ai jamais trouvé de compilateur qui accepterait une taille de -1.

Answer 5

J'ajouterai qu'il existe un page entière de la documentation en ligne de gcc sur cet argument.

Quelques citations :

Les tableaux de longueur nulle sont autorisés dans GNU C.

Dans la norme ISO C90, il faudrait donner au contenu une longueur de 1

y

Les versions de GCC antérieures à la 3.0 permettaient d'initialiser statiquement les tableaux de longueur nulle, comme s'il s'agissait de tableaux flexibles. En plus des cas utiles, cela permettait également des initialisations dans des situations qui auraient corrompu des données ultérieures

pour que vous puissiez

int arr[0] = { 1 };

et boum :-)