Discussion :

[toto_fr_2002]

Pourquoi est-ce impossible d'avoir:
const int** cpi;
int** pi;
cpi=pi;

mais possible d'avoir:
const int* cpi;
int* pi;
cpi=pi;

[DaZumba]

La norme permet une petite difference de qualification, mais uniquement au premier niveau d'indirection. Donc int * et const int * peuvent etre utilises de facon equivalentes, mais pas int ** et const int ** (i.e. on ne peut pas briser l'equivalence de qualification de facon recursive).
Il faut donc dire au compilateur que l'on sait ce qu'on fait en forcant le cast:

Code :

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

1
2
 
cpi = (const int **) pi;

[toto_fr_2002]

Merci mais j'aimerai COMPRENDRE pourquoi? Ou est le probleme pour le compilateur?

[Emmanuel Delahaye]

Merci mais j'aimerai COMPRENDRE pourquoi? Ou est le probleme pour le compilateur?

Tu veux comprendre la norme ? Lit le rationale :

http://www.lysator.liu.se/c/rat/title.html

[Médinoc]

Hum... J'ai pas ici les moyens de tester, mais il me semble que ça marche par contre avec un "const int * const *"

[toto_fr_2002]

Oui cela marche avec int * const * car en fait on n'a qu'un niveau et celui la marche (voir le premier message).

mais cela n'explique pas le pb ....

[toto_fr_2002]

J'ai repondu un peu trop vite ....
const int* const * marche aussi ...

mais alors, pourquoi pas
const int**
???????

[DaZumba]

J'ai repondu un peu trop vite ....
const int* const * marche aussi ...

Non, cela devrait donner un avertissement egalement:

Code :

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

1
2
3
4
5
6
7
8
9
 
int main(void)
{
  int **pi1;
  const int * const *cpi1 = pi1;
  const int **cp2 = pi1;
 
  return 0;
}

donne:

Code :

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

1
2
3
4
 
toto1.c: In function `main':
toto1.c:4: warning: initialization from incompatible pointer type
toto1.c:5: warning: initialization from incompatible pointer type

ce qui est assez normal.

Il faut comprendre que les compilateurs acceptent

Code :

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

1
2
3
 
 int* pi;
const int * cpi = pi;

pour des raisons de commodites, mais que cela viole la regle qui veut que les qualifiers doivent etre conformes des deux cotes d'une expression (ou lors d'un passage d'argument a une fonction). Le comportement anormal est la, pas ailleurs. Mais il a ete adopte pour eviter des casts lourds et inutiles (notamment pour l'appel de fonctions standards demandant des const char *).

[toto_fr_2002]

1. Vu comme ca cela a un sens.

2. Quel compilateur utilise tu. Avec intell 8 sur linux et visual 6 le program
int **pi1;
const int * const *cpi1 = pi1;
marche!

[DaZumba]

J'utilise gcc 3.2.2. Note qu'il ne donne que des avertissements. La norme indique que jouer avec des equivalences de types qualifies/non qualifies est un comportement indefini, donc chaque compilateur est libre d'avertir ou non l'utilisateur.

De toute facon, il convient d'etre prudent lorsqu'un pointeur nonconst est assigne a un pointeur const. Souvent, cela signifie que le programmeur souhaite modifie la lvalue non-modifiable. Il est ainsi preferable de faire un cast explicite, avec un commentaire qui explique l'intention du codeur (ou, mieux, eviter de faire ce genre de choses).

[Médinoc]

DAzumba: C'est l'inverse qui se passe, ici: Conversion de nonconst en const (le truc supposé naturel, quoi)