Discussion :

[beatrix2004]

Bonjour,
Voici un bout de code qui me renvoie un warning ("compiler dependent") sur la conversion d'un pointeur de fonction en pointeur de données. Ici, il ne faut pas prendre cet exemple pour argent comptant. Ma question est plus générale : Comment convertir "proprement" des pointeurs quels qu'ils soient ?

Code :

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

1
2
3
4
5
6
7
int main(void)
{
    unsigned char *MyPointer;
    MyPointer = (unsigned char*) &main;
    (void) printf("%.2X\n", *MyPointer);
    return 0;
}

merci d'avance

[DaZumba]

Pour les pointeurs autres que pointeurs de fonctions, la seule conversion parfaitement sure est void * <-> type *. Pour les autres conversions, il faut savoir ce que l'on fait.
Pour les pointeurs de fonctions, il n'existe pas de pointeur generique.

[beatrix2004]

si je vous comprends bien, je ne peux pas éviter le warning ?
Là où je ne saisis pas bien la chose, c'est en quoi ce genre de conversions dépendent du compilateur ? Que peut-il se passer si on change de compilo ?

[DaZumba]

Tu es dans le domaine du comportement indefini (ou peut-etre implementation-dependent, je ne suis pas sur), donc tout peut arriver, y compris un comportement normal.
Pour corriger le code que tu postes, il faut declarer MyPointer comme

Code :

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

1
2
 
int (*MyPointer)(void);

et tout ira bien.

[beatrix2004]

ok. Le problème est que si je déclare MyPointer comme pointeur de fonction, si je veux ensuite qu'il pointe vers une autre fonction qui n'a pas le même prototype que 'main', je suis marron. Mon idée ici était de disposer d'un pointeur générique (void* ou char*) utilisable par exemple dans une fonction qui ne se soucie pas du type de pointeur qui lui est transmis. Cette transmission est sous la responsabilité de l'utilisateur. Mais s'il y a des warnings à chaque fois, c'est sujet à questionnements de la part de ces dits utilisateurs (alors même qu'il n'y a pas d'erreur).
Donc :
Si je déclare MyPointer en void*, j'ai le warning quoiqu'il arrive.
Si je déclare MyPointer en int(*)(void), je ne peux pointer que vers des fonctions avec un tel proto.
C'est une restriction propre à la norme C99 peut-être. Si le compilo respecte la norme, y a pas de souci et dans le cas contraire, comportement indéfini...enfin, je dis ça, je suis peut-être complètement à côté de la plaque

[Pouet_forever]

Ce n'est pas propre au C99. Regarde le warning que j'ai, ça devrait t'éclairer un peu plus :

Code :

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

warning: ISO C forbids conversion of function pointer to object pointer type

ISO C ne fait pas référence à C99 !

[DaZumba]

Comme je l'ecris plus haut, il n'y a pas de pointeur de fonction generique, donc tu es en effet "marron".
Il y a une solution cependant, voir ici.
D'autres solution incluent l'utilisation d'une fonction wrapper qui se charge des differences de prototype.

Je te conseille de lire cette reponse de Eric Sosman dans c.l.c, c'est un excellent resume du probleme et de ses solutions.