我可以使用常量结构进行循环引用吗？答案

【问题标题】：Am I allowed to make circular references with constants structs?我可以使用常量结构进行循环引用吗？
【发布时间】：2017-09-18 23:20:30
【问题描述】：

我可以在C99 中这样做吗？

typedef struct dlNode {
    dlNode* next, prev;
    void* datum;
} dlNode;

const static dlNode head={
    .next = &tail,
    .prev = NULL,
    .datum = NULL
};

const static dlNode tail={
    .next = NULL,
    .prev = &head,
    .datum = NULL
};

没有这个我可以让我的程序正常工作。会很方便的。

【问题讨论】：

标签： c struct circular-reference

【解决方案1】：

你可以。您只需转发声明 tail 即可使其工作：

typedef struct dlNode {
    struct dlNode* next;
    struct dlNode* prev;
    void* datum;
} dlNode;

const static dlNode tail;

const static dlNode head={
    .next = &tail,
    .prev = NULL,
    .datum = NULL
};

const static dlNode tail={
    .next = NULL,
    .prev = &head,
    .datum = NULL
};

【讨论】：

谢谢，我不知道你可以（有效地）原型变量和结构。
请注意，这称为“暂定定义”，在 C++ 中不起作用。
@o11c 该模式很容易被类替换。
@bunyaCloven 并不意味着暂定定义在 C++ 中特别不起作用
具体来说，在 C++ 中，在头/尾周围加上 class foo{ } foo_instance;（并删除 static）将使其编译为静态存储中的只读数据，即使没有优化。 godbolt.org/g/T9Mavc.

【解决方案2】：

绝对允许你这样做：添加tail的前向声明，C会将其与后面的定义合并：

typedef struct dlNode {
    const struct dlNode* next, *prev;
    void* datum;
} dlNode;

const static dlNode tail; // <<== C treats this as a forward declaration

const static dlNode head={
    .next=&tail,
    .prev=NULL,
    .datum=NULL
};

const static dlNode tail={ // This becomes the actual definition
    .next=NULL,
    .prev=&head,
    .datum=NULL
};

请注意，您应该修正您的 struct 声明以使 next 和 prev 成为常量，否则您的定义将丢弃常量限定符。

Demo.

【讨论】：