c - 为什么结构定义有内部链接？

Question

(我说的是C，但它也适用于C++中的类模板)

在头文件中，习惯上放置所有的声明，而不是定义。但是，我们通常也将结构定义或类模板放在头文件中，而实际上并不知道为什么可以这样做。这实际上没有意义，因为它们也是定义——一个定义规则。 (是的，结构定义和类模板不会导致任何存储设置，但您仍然会在下面看到“重新定义”错误，这意味着它们是定义)。

EX) 在同一个文件中定义多个具有相同标签的结构会给你一个重定义错误，但是在多个源文件中定义多个具有相同标签的结构不会导致任何错误(类也会发生同样的事情)。

唯一有意义的是结构定义和类模板具有内部链接(与默认的外部链接相反)，但我在 K&R 或引用手册中找不到任何关于它的引用。事实上，链接中甚至没有提到结构。

我想知道 ANSI 标准指出此现象的确切引用资料。(IMO，这是一个非常模棱两可的事情，必须在 ANSI 标准的某处提及)。

---

编辑我不是在问为什么可以将结构定义放入头文件中。

我在问为什么把结构定义放在头文件中不会像我们把变量定义放在头文件中(并将它包含在多个源文件中)那样导致重定义错误

前)test1.c: int a = 3;test2.c: int a = 4;因为重定义导致编译错误。然而，

test1.c: 结构测试 { int a };test2.c: 结构测试 { int b };不会导致编译错误，我能想到的唯一原因是结构定义要么有内部链接，要么根本没有链接。

Answer 1

在 C 中只有对象和函数有链接。由于 C 中的 struct 可能不像 C++ 中那样包含函数或“static”成员对象，因此您的问题在这里没有多大意义。

C++ 中的成员函数只要未定义而仅在 struct 中声明就没有问题。如果它们也被定义，则它们是 inline。 inline 的概念是为 C++ 发明的，以捕获这种情况:一个函数 定义 可以通过多个编译单元中的头文件共享。采用该概念的 C99(略作修改)。

static 成员对象确实带来了更多问题。如何实例化这些家伙的语法非常晦涩，尤其是对于 template classes 或 structs。如果您想了解那个，您必须询问那个，专门用 C++ 标记。