Qu'est-ce que ceci : int(*) [1];

Bonjour,
je suis surpris d'observer que le programme suivant :

Code:

---

1 2 3

int main() { int(*) [1]; }

---

est compilé sans sourciller par g++ (y compris avec les options -Wall -pedantic : pas même le moindre "avertissement").
Quelqu'un peut-il m'expliquer patiemment ce que son unique ligne signifie, quelle est sa syntaxe et sa sémantique ??

C'est un pointeur sur un tableau d'entier (ici un entier). Bref là comme ça c'est sans intérêt.

C'est un pointeur sans nom vers un tableau de un entier ? C'est une déclaration de quelque chose (un pointeur) qui n'a pas de nom ?
J'ai du mal...
Je comprends ceci (qui compile aussi) :

Code:

---

1 2 3

int main() { int(*a) [1]; }

---

mais ce n'est justement pas l'exemple que j'ai donné...
J'aurais pensé que mon exemple serait aussi mal formé que, disons :

Code:

---

1 2 3 4

int main() { int; }

---

pour lequel g++ me dit gentiment, et en français, "déclaration qui ne déclare rien du tout"

Avec Visual Studio Express, le code suivant ne compile pas:

Code:

---

int (*) [1];

---

Citation:

---

error C2059: syntax error : ')'

---

[edit]J'avais écrit une bêtise que je supprime[/edit]

Aurais-je mis le doigt sur une bogue de g++ ? Sais pas trop où ni comment trouver les bogues connues de g++ (une info là-dessus ?)

...ou plutôt un comportement non prévu par les spécifications. Par contre je ne comprend pas ce que ça fait. Dans un premier temps, j'avais écrit que:

Code:

---

int (*a) [1];

---

était équivalent à

Code:

---

int * a[1];

---

c'est à dire un tableau de pointeurs. Sauf que si ensuite on fait:

Code:

---

a[0] = NULL;

---

J'ai l'erreur:

Citation:

---

error C2440: '=' : cannot convert from 'int' to 'int [1]'

---

dans le premier cas et pas dans le second.

Ca a plutôt l'air de déclarer un pointeur sur un tableau, puisque dans le premier cas le code suivant se compile:

Code:

---

*a[0] = 5;

---

8O 8O 8O

Citation:

---

Envoyé par 10_GOTO_10

...ou plutôt un comportement non prévu par les spécifications. Par contre je ne comprend pas ce que ça fait. Dans un premier temps, j'avais écrit que:

Code:

---

int (*a) [1];

---

était équivalent à

Code:

---

int * a[1];

---

c'est à dire un tableau de pointeurs. Sauf que si ensuite on fait:

Code:

---

a[0] = NULL;

---

J'ai l'erreur:

dans le premier cas et pas dans le second.

Ca a plutôt l'air de déclarer un pointeur sur un tableau, puisque dans le premier cas le code suivant se compile:

Code:

---

*a[0] = 5;

---

8O 8O 8O

---

dans le premier cas, c'est un pointeur sur des tableau de 1 entier
dans le second cas, c'est un tableau de 1 pointeur sur des entiers
c'est a ca que servent les parenthèse (pour changer l'associativité de *)

mais effectivement c'est une declaration qui ne sert a rien elle devrait etre rejetée par les compilateurs

(a noter que sunCC aussi se plaint du code plus haut)