c编程#define struct {}声明

Question

我在看 Glibc 代码。 glibc 队列的一些代码引起了我的注意。我无法为这个结构定义赋予意义。这个结构没有名字。为什么？它是如何工作的？

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

Source

Answer 1

这实际上是一个预处理器宏，可以在其他地方扩展（很可能带有尾随名称）。

在该头文件开头的 cmets 中有对 queue(3) man page 的引用，其中包含有关该宏和其他宏的更多详细信息：

宏 LIST_ENTRY 声明了一个连接元素的结构 在列表中。

还有一个使用示例：

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);

作为这个 C 代码（不是 C++），并且 C 缺少模板，这个预处理器宏可以用来“模拟”模板（注意 type 参数）。

Answer 2

这是一个用于声明结构类型的宏，next 和prev 指向第二个结构类型的实例。第二种类型可以是父类型，因此您可以像这样创建“可链接结构”：

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

这会创建一个struct foo，其中包含一个名为list 的成员，该成员又是问题中的结构，其指针指向struct foo。

我们现在可以像这样创建一个struct foos 的小链表：

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;

我不是 100% 确定最后一行，但我认为这有点道理。