我是否允许使用常量结构进行循环引用？

Question

我可以在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
};

如果没有这个,我可以让我的程序工作,它只是方便.

Answer 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
};

Answer 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声明修复为make next和prevconstant,否则您的定义将丢弃常量限定符.

演示.