Incompatibilité des normes

**PRomu@ld** · 06/04/2006, 19h30

Bonjour, je me permet de poser une question sur une chose qui me chagrine.

Je suis tombé sur un article qui proposait la création de plugin en utilisant les fonctions de libdl.

Bon, je vais pas vous faire un long speach sur l'utilisation de ces fonctions mais pour l'utilisation de dlsym, il y a un problème ...

dlsym me renvoie un pointeur void * et il faut effectuer un cast par un pointeur de fonction pour récupérer la fonction de la bibliothèque que l'on vient de charger pour pouvoir utiliser cette fonction.

Cependant, un cast d'un pointeur void* en un pointeur de fonction n'est semble t'il pas autorisé par la norme (en tout cas c'est ce que me dis gcc).

Alors il y a une chose qui m'embête : dlsym semble être POSIX donc normalisé mais ne semble donc pas être compatible avec les normes du C. Il n'y aurait pas contradiction ?

Je prend l'exemple de dlsym mais il doit y en avoir d'autres.

Si quelqu'un a une explication ou même une solution pour contourner le problème ça m'interresse ...

**gangsoleil** · 06/04/2006, 19h34

Bonjour,

J'ai utilisé dlsym dans un programme, et ne me souviens pas avoir eu de problèmes particuliers.

Code :

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

1
2
3
 
    func_name = (int (*) (char * usrName , char * grpName, int usrId, int grpId, int mode) )
        dlsym(profile_handle, "getMyProfile");

Peux-tu poster le code qui te pose problème ?

**Franck.H** · 06/04/2006, 19h36

Moi j'ai préféré utiliser les fonctions de la GLib pour ca ... en plus c'est portable "sans" problèmes

**PRomu@ld** · 06/04/2006, 19h44

Alors voilà le test que j'ai :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
#include <stdio.h>
#include <stdlib.h>
#include <dlfcn.h>
 
int main (void)
{
  void *handl;
  int (*func) (void *);
 
  func = (int (*) (void *)) dlsym(handl, "exemple");
 
  return EXIT_SUCCESS;
}

Lorsque je compile j'obtiens :

test.c: In function 'main':
test.c:10: warning: ISO C forbids conversion of object pointer to function pointer type
test.c:10: warning: 'handl' is used uninitialized in this function

Bon le deuxième warning est normal, je n'ai pas appelé dlopen, mais l'exemple est là pour se concentrer sur le problème.

**Emmanuel Delahaye** · 06/04/2006, 19h56

Envoyé par PRomu@ld

dlsym me renvoie un pointeur void * et il faut effectuer un cast par un pointeur de fonction pour récupérer la fonction de la bibliothèque que l'on vient de charger pour pouvoir utiliser cette fonction.

Vu de la norme, le comportement est indéterminé. Dans la pratique, si la doc te dis de faire comme ça, c'est que sur la plateforme concernée, le comportement est défini.

**Emmanuel Delahaye** · 06/04/2006, 19h58

Envoyé par PRomu@ld

test.c: In function 'main':
test.c:10: warning: ISO C forbids conversion of object pointer to function pointer type

C'est sûr que ce n'est pas une pratique standard. Pour l'utiliser il faut être moins restrictif.

Il y a des cas où on ne peut pas écrire du code strictement conforme. Ces cas doivent être documentés et le comportement expliqué.

**PRomu@ld** · 06/04/2006, 20h00

Dans la pratique, si la doc te dis de faire comme ça, c'est que sur la plateforme concernée, le comportement est défini.

Je suis bien d'accord mais ça ne te dérange pas toi ? En tout cas, moi si ! Les warnings me dérangent surout pour me dire que ce que je fais n'est pas sensé être autorisé par la norme ... Si encore la bibliothèque avait été crée par un petit amateur peu scrupuleux des normes ça ne m'aurait pas dérangé mais là la fonction est POSIX tout de même ...

Moi j'ai préféré utiliser les fonctions de la GLib pour ca ... en plus c'est portable "sans" problèmes

Je vais aller voir ça.

**Emmanuel Delahaye** · 06/04/2006, 20h07

Envoyé par PRomu@ld

Dans la pratique, si la doc te dis de faire comme ça, c'est que sur la plateforme concernée, le comportement est défini.

Je suis bien d'accord mais ça ne te dérange pas toi ? En tout cas, moi si ! Les warnings me dérangent surout pour me dire que ce que je fais n'est pas sensé être autorisé par la norme ...

La norme dit que le comportement dépend de l'implémentation. Donc, ça peux fonctionner. Le problème des pointeurs de fonctions est qu'il n'y a pas de pointeur de fonction générique. Cette solution un peu batarde a été trouvée, mais elle n'est pas portable, c'est tout. Dans les cas où les conditions sont réunies (par exemple, un pointeur sur objet a la même taille qu'un pointeur sur fonction), le fonctionnement est garanti.

Il vaut mieux des warnings explicables que pas de warnings parce qu'on a baissé le niveau de diagnostic.

**PRomu@ld** · 06/04/2006, 20h13

J'ai juste lu l'entête de la documentation des fonctions de la glib :

The current implementation supports all systems that provide an implementation of dlopen()

Ca commence bien ...

Il vaut mieux des warnings explicables que pas de warnings parce qu'on a baissé le niveau de diagnostic.

Oui, d'accord, de toute façon il faudra bien que je m'en contente ...

**loufoque** · 07/04/2006, 00h33

Essaie de passer par un size_t sinon.

**Emmanuel Delahaye** · 07/04/2006, 00h40

Envoyé par loufoque

Essaie de passer par un size_t sinon.

Un size_t pour faire quoi ?

**Jean-Marc.Bourguet** · 07/04/2006, 09h58

Envoyé par PRomu@ld

Alors il y a une chose qui m'embête : dlsym semble être POSIX donc normalisé mais ne semble donc pas être compatible avec les normes du C. Il n'y aurait pas contradiction ?

Je ne vois pas de contradiction. La norme C specifie un certain nombre de choses et en laisse d'autres volontairement indeterminees. Posix complete la norme C en specifiant une partie de ces choses indeterminees, mais a ma connaissance ne demande rien que la norme C ne permet pas. Donc Posix est compatible avec le C.

**PRomu@ld** · 07/04/2006, 11h35

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

Je ne suis pas un expert en anglais mais il me semble que forbid ça veut dire interdire, non ?

Nous ne sommes plus dans l'indéterminé, ou alors c'est gcc qui s'avance là dessus...

Une fonction POSIX ferait donc une chose que le C interdit, ça n'est donc pas complèter la norme c'est passer outre, en tout cas c'est comme ça que je le vois.

**Emmanuel Delahaye** · 07/04/2006, 11h47

Envoyé par PRomu@ld

Nous ne sommes plus dans l'indéterminé, ou alors c'est gcc qui s'avance là dessus...

Je pense que gcc a grossi le trait... Ca mérite un rapport de bug...

**PRomu@ld** · 07/04/2006, 12h02

En regardant sommairement dans la base bugzilla de gcc, je n'ai rien trouvé faisant mention de ceci, peut-être un rapport à faire donc.

Par contre sur google je suis tombé là dessus :

http://www.trilithium.com/johan/2004/12/problem-with-dlsym/

La fin me parait interressante :

The Open Group page on dlsym indicates that a future version may either add a new function to return function pointers, or the current interface may be deprecated in favor of two new functions: one that returns data pointers and the other that returns function pointers.

Et effectivement le problème est expliqué :

http://www.opengroup.org/onlinepubs/009695399/functions/dlsym.html

Et visiblement c'est gcc qui exagère, comme tu le disais :

The result of converting a pointer to a function into a pointer to another data type (except void *) is still undefined,

**Emmanuel Delahaye** · 07/04/2006, 12h07

Envoyé par PRomu@ld

Par contre sur google je suis tombé là dessus :

http://www.trilithium.com/johan/2004/12/problem-with-dlsym/

C'est clair que la solution est là, mais il faudrait unifier les types retour, ou supporter un cast...

**PRomu@ld** · 07/04/2006, 12h48

par exemple, un pointeur sur objet a la même taille qu'un pointeur sur fonction

je comprend bien la chose. Il ne faudrait pas forcément avoir la même taille, si le pointeur de fonction a une taille inférieure, ça le fait aussi (mais est-ce possible ?)

http://www.trilithium.com/johan/2004/12/problem-with-dlsym/

Là dedans, dans les solutions "probables" en attendant une éventuelle sépartation en deux de dlsym, il parle de "union cast", j'avoue ne pas trop voir le rapport, ou alors je ne vois pas du tout à quoi il est fait référence, as-tu des infos là dessus ?

**Emmanuel Delahaye** · 07/04/2006, 12h56

Envoyé par PRomu@ld

Là dedans, dans les solutions "probables" en attendant une éventuelle sépartation en deux de dlsym, il parle de "union cast", j'avoue ne pas trop voir le rapport, ou alors je ne vois pas du tout à quoi il est fait référence, as-tu des infos là dessus ?

une horreur comme ça, je suppose...

Code :

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

1
2
3
4
5
6
7
8
 
union fun_ptr
{
   void *p;
   int (*fp_int)();
   void (*fp_void)();
   /* etc. */
};

**PRomu@ld** · 07/04/2006, 13h03

warning: ISO C forbids casts to union type

**loufoque** · 07/04/2006, 19h59

Envoyé par Emmanuel Delahaye

Envoyé par loufoque

Essaie de passer par un size_t sinon.

Un size_t pour faire quoi ?

C'est l'une des solutions citées.

You could resort to a variety of tricks to avoid the direct object/function pointer cast:

* casting via an integral type

* "union cast" (set one member of a union, get another)

* memcpy

Incompatibilité des normes

C

Discussions similaires

Partager

Partager