c - 为什么TAILQ_INSERT_ *宏要求将条目绑定(bind)到变量？

当使用sys/queue.h的尾部队列实现时，以下代码为何起作用:

item_t *item = mkitem(...);
TAILQ_INSERT_HEAD(&list, item, entry);

以下内容(应等效)不包含:

TAILQ_INSERT_HEAD(&list, mkitem(...), entry);

最小的工作实例

#include <stdlib.h>
#include <stdio.h>
#include <sys/queue.h>

typedef struct item item_t;
typedef TAILQ_HEAD(list_head, item) list_head_t;

struct item {
    int value;
    TAILQ_ENTRY(item) entry;
};

static list_head_t items = TAILQ_HEAD_INITIALIZER(items);

static item_t* mkitem(int i) {
    item_t *item = calloc(1, sizeof(item_t));
    item->value = i;
    return item;
}

static void print_tailq() {
    item_t *it;
    TAILQ_FOREACH(it, &items, entry) {
        printf("%d,", it->value);
    }
    printf("\n");
}

int main() {
    item_t *i1, *i2, *i3;

    i1 = mkitem(1);
    i2 = mkitem(2);
    i3 = mkitem(3);

    TAILQ_INSERT_HEAD(&items, i1, entry);
    print_tailq();
    TAILQ_INSERT_HEAD(&items, i2, entry);
    print_tailq();
    TAILQ_INSERT_TAIL(&items, i3, entry);
    print_tailq();

    /* However, this does not work: */
    TAILQ_INSERT_HEAD(&items, mkitem(4), entry);
    print_tailq();
    TAILQ_INSERT_HEAD(&items, mkitem(5), entry);
    print_tailq();
    TAILQ_INSERT_TAIL(&items, mkitem(6), entry);
    print_tailq();

    return 0;
}

如预期的那样，print_tailq()的前三个调用分别输出:

1,
2,1,
2,1,3,

但是，最后三个调用表明该列表被TAILQ_INSERT_HEAD截断了，并且TAILQ_INSERT_TAIL本质上是一个空操作。

4,
5,
5,

最佳答案

从here执行TAILQ_INSERT_HEAD宏TAILQ_INSERT_HEAD(head, elm, field)

#define TAILQ_INSERT_HEAD(head, elm, field) do {                \
    if (((elm)->field.tqe_next = (head)->tqh_first) != NULL)    \
        (head)->tqh_first->field.tqe_prev =                     \
            &(elm)->field.tqe_next;                             \
    else                                                        \
        (head)->tqh_last = &(elm)->field.tqe_next;              \
    (head)->tqh_first = (elm);                                  \
    (elm)->field.tqe_prev = &(head)->tqh_first;                 \
} while (0)

它是正在扩展的宏-因此它基本上是通过多次调用elm来替换mkitem()。直接传递mkitem()的结果会调用代码中的错误行为。使用mkitem直接覆盖先前的列表(内存泄漏)，并创建带有单个元素的新列表-将其打印出来。您必须像以前一样在这里使用变量-否则它将无法正常工作。实际上，您认为这不是一个函数。 (您将看到man页面示例也反射(reflect)了使用变量的想法)