Discussion :

[jro-daemon]

Bonjour,

Me remettant au gout du jour a propos du langage C, je decouvre avec plus d'enthousiasme les joies des macros en C. A vrai dire, devant adapter banc de test de quelqu'un, je me trouve devant ceci :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#define container_of(ptr, type, member) ({                      \
        const typeof( ((type *)0)->member ) *__mptr = (ptr);    \
        (type *)( (char *)__mptr - offsetof(type,member) );})
 
#define list_entry(ptr, type, member) \
        container_of(ptr, type, member)
 
#define list_for_each(pos, head) \
        for (pos = (head)->next; pos != (head); \
	                pos = pos->next)
 
#define list_for_each_entry(pos, head, member)                          \
        for (pos = list_entry((head)->next, typeof(*pos), member);      \
             &pos->member != (head);        \
             pos = list_entry(pos->member.next, typeof(*pos), member))

Et la je fais . Est-ce que quelqu'un pourrait m'expliquer le sens de la premiere macro, car celle-la, elle me pose vraiment du mal. La personne qui l'aurait tape se serait inspire du code du kernel de Linux.C'est un code assez beau pour permettre de d'inserer un element dans une liste chainee. Maintenant, je commence a comprendre la puissance des macros.
Merci d'avance.

[Thierry Chappuis]

Salut,

Tout d'abord, ce n'est pas du C standard. On retrouve l'opérateur typeof comme extension de gcc (probablement aussi avec d'autres compilateurs, mais je ne connais pas).

Code :

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

typeof( ((type *)0)->member )

Cette expression retourne le type du membre member de la structure type. Pour déterminer ce type, on utilise une instance hypothétique de la structure type située à l'adresse 0 en mémoire. Il n'y a ici pas de déréférencement, car l'expression ((type *)0)->member n'est pas évaluée avec l'opérateur typeof.

Donc:

Code :

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

1
2
3
4
5
6
7
8
struct Point {
    int x;
    int y;
};
 
/* ... */
 
typeof( ((struct Point *)0)->x) *__mptr;

Ce qui équivalent à déclarer:

Code :

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

int *__mptr;

Ensuite, on initialise encore __mptr avec la valeur de ptr.

Code :

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

1
2
3
#define container_of(ptr, type, member) ({ \
const typeof( ((type *)0)->member ) *__mptr = (ptr); \
(type *)( (char *)__mptr - offsetof(type,member) );})

La deuxième ligne de la macro sert à calculer l'adresse de la structure dont member est un membre en fournissant l'adresse de member. Pour ce faire, on soustrait à l'adresse contenue dans __mptr l'offset de member au sein de la structure type via la macro standard (définie dans stddef.h) offsetof().

Thierry

[Thierry Chappuis]

La même chose, sans utiliser typeof (GNU C):

Code :

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

1
2
3
4
5
6
7
8
 
#include <stddef.h>
 
/* ... */
 
#define container_of(ptr, type, member) ({ \
const void *__mptr = (ptr); \
(type *)((char *)__mptr - offsetof(type,member) );})

Thierry

[jro-daemon]

Bonjour,
merci pour cette indication, mujigka. Cela m'a enfin permis de compiler le programme avec gcc qui me renvoyait toujours une erreur avec typeof. Cette extension de C99 est à manier avec précaution et doit dépendre des compilateurs puisque le même code pour la personne qui l'a tapé est compilable.
Johnny.

La même chose, sans utiliser typeof (GNU C):

Code :

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

1
2
3
4
5
6
7
#include <stddef.h>
 
/* ... */
 
#define container_of(ptr, type, member) ({ \
const void *__mptr = (ptr); \
(type *)((char *)__mptr - offsetof(type,member) );})

[Emmanuel Delahaye]

Cela m'a enfin permis de compiler le programme avec gcc qui me renvoyait toujours une erreur avec typeof. Cette extension de C99 est à manier avec précaution et doit dépendre des compilateurs puisque le même code pour la personne qui l'a tapé est compilable.

• offsetof() est une macro qui existe depuis C90 (<stddef.h>)
• typeof n'est pas C99, mais GNUC.

Il est clair qu'utiliser une extension est la meilleure façon de rendre son code non portable...

[jro-daemon]

Bonjour,
merci pour ces indications Emmanuel. Je reflichirais a partir avant d'ecrire de telles sottises. Il est vrai qur je me melange un peu les pinceaux.
Cordialement,
Johnny