Discussion :

[guillaume-u]

Bonjour, je suis en train d'étudier la gestion des listes chaînées sous linux (list.h) et on se rend compte qu'il y a une macro "container_of".

Cette macro est définie dans "kernel.h" mais je n'arrive pas à comprendre son fonctionnement et particulierement le "((type *)0)->member )" il semblerait qu'on cast 0 mais dans quelle utilité ?

Pouvez-vous m'indiquer, s'il vous plait, le fonctionnement de cette macro.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
/**
 * container_of - cast a member of a structure out to the containing structure
 *
 * @ptr:        the pointer to the member.
 * @type:       the type of the container struct this is embedded in.
 * @member:     the name of the member within the struct.
 *
 */
#define container_of(ptr, type, member) ({			\
        const typeof( ((type *)0)->member ) *__mptr = (ptr);	\
        (type *)( (char *)__mptr - offsetof(type,member) );})

J'ai une autre question, pour ne pas utiliser les pointeurs NULL, ils utilisent deux pointeurs, je comprends pas le choix de ces adresses spécifiquement et le danger du pointeur NULL.

Code :

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

1
2
3
4
5
6
7
8
 
/*
 * These are non-NULL pointers that will result in page faults
 * under normal circumstances, used to verify that nobody uses
 * non-initialized list entries.
 */
#define LIST_POISON1  ((void *) 0x00100100)
#define LIST_POISON2  ((void *) 0x00200200)

Merci.

[Médinoc]

container_of() : J'ai du mal à comprendre, car je ne connais pas ce que fait typeof, ni trop comment cette syntaxe peut marcher :

Code :

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

x = ({ a ; b});

Pour moi, un compilateur est supposé rejeter ceci. Mais je ne connais pas aussi bien la norme qu'Emmanuel.

Pour les autres macros, c'est simple: Cala sert à détecter les pointeurs non-initialisés d'une liste, donc on ne peut pas utiliser NULL car NULL est sans doute une valeur valide pour initialiser...

[telliam]

container_of() : J'ai du mal à comprendre, car je ne connais pas ce que fait typeof, ni trop comment cette syntaxe peut marcher :

Code :

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

x = ({ a ; b});

Pour moi, un compilateur est supposé rejeter ceci. Mais je ne connais pas aussi bien la norme qu'Emmanuel.

pour moi, x=({a;b}); aura comme effet x=b;

[Médinoc]

En C++, typeof( ((type*)NULL)->member ) aurait sans doute été remplacé par un typeof( type::member ). Je suppose que comme sizeof(), typeof() n'évalue jamais l'expression.

On aurait pu remplacer le tout par void* et la macro aurait toujours marché, mais on n'aurait plus de contrôle de type... (qui vérifie que ptr est bien du type typeof(member) *)

[telliam]

En C++, typeof( ((type*)NULL)->member ) aurait sans doute été remplacé par un typeof( type::member ). Je suppose que comme sizeof(), typeof() n'évalue jamais l'expression.

On aurait pu remplacer le tout par void* et la macro aurait toujours marché, mais on n'aurait plus de contrôle de type... (qui vérifie que ptr est bien du type typeof(member) *)

void* beurk ,c'est qd mm plus propre d'utiliser le bon type qd tu utilises un pointeur.

[Médinoc]

Si typeof est standard, OK.
Sinon, c'est un argument en faveur du void*...

[telliam]

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
/**
 * container_of - cast a member of a structure out to the containing structure
 *
 * @ptr:        the pointer to the member.
 * @type:       the type of the container struct this is embedded in.
 * @member:     the name of the member within the struct.
 *
 */
#define container_of(ptr, type, member) ({			\
        const typeof( ((type *)0)->member ) *__mptr = (ptr);	\
        (type *)( (char *)__mptr - offsetof(type,member) );})

Je vais essayer d'expliquer ce que j'ai compris :
1er ligne :
((type*)0)->member : on veut récupérer le champ member d'une structure type mais vu qu'on a pas de variable de ce type la sous la main ( et qu'on peut s'en passer) on caste l'adresse 0 comme si il y avait une variable à cette adresse la ( en plus,en 0 on est , dans les plupart des systemes, sur qu'il y a rien).
Ensuite on applique typeof sur ce membre pour récupérer son type, ce qui permet de créér un pointeur __mptr contenant l'addresse ptr.

2eme ligne :
offsetof(type,member) permet de récupérer l'offset du champ member dans uns structure de type type. On retire ce décalage à l'adresse __mptr pour récupérer le container. CCQFD

[Thierry Chappuis]

Salut,

On a eu une discussion tout récemment sur ce sujet. Tu peux lire le post:
http://www.developpez.net/forums/sho...d.php?t=234455

Sinon, un excellent article traite de ceci dans GNU Linux Magazine France du mois de septembre. Mais l'essentiel est dans le post référencé ci-dessus.

Mujigkalement

Thierry