C 与 C++ 中的 Typedef 结构

Question

这在 C++ 中会出错，但在 C 中不会：

typedef struct nodes
{
    int data;
    struct node *next;
}node;

它在 C++ 中给出以下错误。

/home/DS cpp/linkedlist.cpp|10|error: conflicting declaration ‘typedef struct nodes node’|
/home/DS cpp/linkedlist.cpp|9|error: ‘struct node’ has a previous declaration as ‘struct node’|
||=== Build failed: 2 error(s), 0 warning(s) (0 minute(s), 0 second(s)) ===|

为了让它在 C++ 中工作，我必须将其更改为：

typedef struct node
{
    int data;
    struct node *next;
}node;

我不明白为什么会这样，我想知道 C 和 C++ 中的执行顺序以便我理解。

Answer 1

让我们稍微分析一下你的代码：

typedef struct nodes
{
    int data;
    struct node *next;
}node;

这声明并定义了struct nodes，一个有两个成员的类型，并声明了一个类型别名，所以我们只能将它称为node。

现在，在 C++ 中，成员声明 struct node *next automatically forward-declares a type called node。这与您的 typedef 目标 node 冲突：就好像您试图给两种类型赋予相同的名称。

在 C 中，没有冲突，因为名为 node 的类型实际上只能称为 struct node。

第二个 sn-p 起作用了，因为在解析成员声明时 struct node 已经存在，没有新类型被前向声明……而且你所做的只是在同一个 typedef 中重命名它声明，C++ 并不在乎，知道它都是相同的类型（struct T 是 T；区别在于语法，而不是名称）。

[C++11: 7.1.3/3]: 在给定的非类作用域中，typedef 说明符可用于重新定义在该作用域中声明的任何类型的名称，以引用它已经引用的类型。 [示例：

typedef struct s { / ... / } s;
typedef int I;
typedef int I;
typedef I I;

——结束示例]

[C++11: 7.1.3/6]: 在给定范围内，typedef 说明符不得用于重新定义在该范围内声明的任何类型的名称以引用不同的类型。 [示例：

class complex { / ... / };
typedef int complex; // error: redefinition

——结束示例]

当然，在 C++ 中，这一切都没有实际意义，您只需编写：

struct node
{
   int data;
   node* next;
};

您不需要typedef-离开详细类型说明符 struct。

Answer 2

您给出的 C 示例应该是一个错误。您使用的标签名称 (node) 尚未使用 struct node 定义。

鉴于这两个选择，第二个是要使用的。我更喜欢经济一点：

typedef struct node_t
{
    int data;
    struct node_t *next;
} node_t;

在 C 或 C++ 中，标签名称有自己的命名空间，因此标签名称和 typedef 名称使用相同的名称是没有问题的。在 C 中，这允许您使用 node_t 或 struct node_t 来引用此结构类型。如果声明的类型名称不存在，C++ 将在标签名称中搜索类型名称，因此不需要上面的双重定义，但不会造成伤害。

在这两种语言中，在完全定义类型之前的任何时候都需要显式的struct node_t 版本，因此任何自引用和任何前向引用都将使用struct 版本。我更喜欢在头文件中使用它，主要是因为它减少了#include 指令顺序的问题。

PS：这确实可以在任何一种语言中工作（请参阅 LRIO 对 C++11 标准指针的回答），并且已在足够多的双语甚至纯 C++ 头文件中使用，它不太可能消失很快），所以这是一种非常简单的方法，适用于任何一种语言。