最小工作示例

Question

使用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,

Answer 1

从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页面示例也反映了使用变量的想法）

为什么TAILQ_INSERT_ *宏需要将条目绑定到变量？

最小工作示例

1 个答案: