C中的递归类型定义

Question

我正在尝试在 C 中实现一个链表。我尝试了以下实现：

// Attempt 1
typedef struct
{
  Node *next;
  Node *prev;
} Node;

// Attempt 2
typedef struct
{
  struct Node *next;
  struct Node *prev;
} Node;

第一个版本给了我错误：unknown type name 'Node'

第二个编译但给出警告：assignment to 'struct Node *' from incompatible pointer type 'Node *' {aka 'struct <anonymous> *'} 当我这样使用它时

void link(Node * node) {
  node->next = (Node) {node, NULL}
}

Answer 1

在 typedef 声明中的未命名结构的此声明中

typedef struct
{
  Node *next;
  Node *prev;
} Node;

用作数据成员 next 和 prev 的类型说明符的名称 Node 未声明。所以编译器会报错。

在此声明中的未命名结构的 typedef 声明

typedef struct
{
  struct Node *next;
  struct Node *prev;
} Node;

为未命名的结构引入了类型说明符struct Node 和类型定义名称Node。它们是不同的类型说明符。也就是说Node 和struct Node 不是同一个说明符。

你需要的是以下内容

typedef struct Node
{
  struct Node *next;
  struct Node *prev;
} Node;

现在Node 是类型说明符struct Node 的别名。

注意这个函数定义

void link(Node * node) {
  node->next = (Node) {node, NULL}
}

没有意义，编译器将再次发出错误。赋值语句的左操作数（忘记放分号）

  node->next = (Node) {node, NULL};

具有Node * 或struct Node * 类型（如果您将更新typedef 声明，如上所示），而右侧操作数是struct Node 类型的复合文字。并且复合字面量具有自动存储时长，退出函数后不再存活。

所以如果你甚至会写

  node->next = &(Node) {node, NULL};

退出函数后指针node->next将失效。