c programmation #define struct {} déclaration

Question

Je regardais les codes Glibc. Certains codes de la file d'attente de la glibc ont attiré mon attention. Je ne pouvais pas donner de sens à cette définition de structure. Cette structure n'a pas de nom. Pourquoi? Comment ça marche?

#define LIST_ENTRY(type)      \ 
struct {        \ 
    struct type *le_next; /* next element */   \ 
    struct type **le_prev; /* address of previous next element */ \ 
} 

Source

Answer 1

qui est en fait une macro préprocesseur, qui pourrait être élargi (très probablement avec le nom de fuite) ailleurs.

Dans les commentaires au début de ce fichier d'en-tête il y a une référence à queue(3) man page qui contient plus de détails à ce sujet et d'autres macros:

La macro LIST_ENTRY déclare une structure qui relie les éléments dans la liste .

Et un exemple d'utilisation:

LIST_HEAD(listhead, entry) head = LIST_HEAD_INITIALIZER(head); 
struct listhead *headp;     /* List head. */ 
struct entry { 
    ... 
    LIST_ENTRY(entry) entries;  /* List. */ 
    ... 
} 
*n1, *n2, *n3, *np, *np_temp; 

LIST_INIT(&head);      /* Initialize the list. */ 

n1 = malloc(sizeof(struct entry));  /* Insert at the head. */ 
LIST_INSERT_HEAD(&head, n1, entries); 

Être ce code C (pas C++), et C ne dispose pas de modèles, cette macro préprocesseur peut être utilisé pour les modèles "simuler" (note le paramètre type).

Answer 2

C'est une macro qui est utilisée pour déclarer un type struct, avec next et prev des pointeurs vers des instances d'un second type struct. Ce second type peut être un type de parent, vous pouvez donc faire un « struct liable » comme ceci:

struct foo { 
    LIST_ENTRY(foo) list; 
    int value; 
}; 

Cela crée un struct foo contenant un membre appelé list qui à son tour est la structure en question, avec les pointeurs pointant à struct foo.

Nous pouvons maintenant créer une petite liste chaînée de struct foo s comme ceci:

struct foo fa, fb; 
fa.value = 47; 
fa.list.le_next = &fb; 
fa.list.le_prev = NULL; 
fb.value = 11; 
fb.list.le_next = NULL; 
fb.list.le_prev = &fa.list.le_next; 

Je ne suis pas sûr à 100% la dernière ligne, mais je pense qu'il sorte de logique.