关于 extern 与 C 中的函数定义的混淆 [重复]

Question

可能重复：
Effects of the `extern` keyword on C functions

好的，几个小时以来，我已经阅读了很多关于 extern 关键字含义的内容。还有最后一件事困扰着我，我找不到任何信息。 据我了解，extern 关键字基本上告诉编译器变量或函数只是一个声明，它是在某个地方定义的，所以它不必担心，链接器会处理它。

并且在键入以下内容时编译器生成的警告（我使用的是 gcc 4.2.1）：

extern int var = 10;

支持这一点。对于extern，这应该只是一个声明，所以它是不正确的。

但是，让我感到困惑的是在输入以下内容时没有警告或任何内容：

extern int func() {return 5;}

这是一个定义，它应该生成相同的警告，但它不会。我能在这里找到的唯一解释是定义覆盖了extern 关键字。但是，遵循该逻辑，为什么当它是变量定义时它不覆盖它？或者关键字与变量一起使用时是否有特殊含义？

如果有人向我解释这一点，我将不胜感激。谢谢！

Answer 1

extern 关键字确实只有在与变量一起使用时才具有特殊含义。将extern 与函数原型一起使用是完全可选的：

extern void foo(int bar);

等价于

void foo(int bar);

当你声明/定义一个函数时，你有两个选择：

1. 仅提供声明（即原型），或
2. 提供定义，在没有原型的情况下也可用作声明。

但是，对于变量，您有三个选择：

1. 仅提供声明，
2. 使用默认初始化器提供定义：int var; 不带 = 10 部分，或
3. 提供具有特定初始化程序的定义：int var = 10

由于函数只有两个选项，编译器可以在不使用extern关键字的情况下区分then。默认情况下，任何没有static 关键字的声明都被视为extern。因此，所有函数声明或定义都会忽略 extern 关键字。

但是，对于变量，需要关键字来区分#1 和#2。当您使用extern 时，它是#1；当你不使用extern 时，它是#2。当您尝试将extern 添加到#3 时，这是一个警告，因为它仍然是一个定义，而extern 将被忽略。

所有这一切都有些简化：您可以在同一个编译单元中多次提供声明，并且可以在全局范围或块范围内提供它们。有关完整的详细信息，请查看 C 标准的第 6.7.9 5 节。

Answer 2

但是，按照这个逻辑，当它是一个变量定义时，为什么它不覆盖它呢？或者关键字与变量一起使用时是否有特殊含义？

变量和函数的区别在于

void foo();

是一个函数声明，但是

int i;

是一个变量定义。

如果您在多个文件中定义了变量，那么编译器将多次生成该变量的存储空间（并且很可能会出现链接器错误）。这不是函数的情况。