Discussion :

[ptyxs]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 ??

[Goten]

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

[ptyxs]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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"

[10_GOTO_10]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

int (*) [1];

error C2059: syntax error : ')'

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

[ptyxs]

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 ?)

[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 :

Sélectionner tout - Visualiser dans une fenêtre à part

int (*a) [1];

était équivalent à

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

int * a[1];

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

a[0] = NULL;

J'ai l'erreur:

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

*a[0] = 5;

[screetch]

...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 :

Sélectionner tout - Visualiser dans une fenêtre à part

int (*a) [1];

était équivalent à

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

int * a[1];

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

*a[0] = 5;

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

[screetch]

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