在与定义相同的文件中使用外部声明的好处？

Question

我正在阅读一个 C 项目的源代码，并试图找出为什么要使用 extern 的特定用法。 （注意：This question 是相关的，但对于 C++，而不是 C。）假设我有四个头文件，每个头文件都声明一个 extern const 结构：

extern const struct puppy fido;

这个结构体在源文件中定义如下：

extern const struct puppy fido;
static const struct puppy *puppies[] = { &fido };
const struct puppy fido = { "fido", 10, 10 };

当这些变量在同一个源文件中定义时，在源文件中将变量声明标记为extern 是否有某种好处？

Answer 1

唯一的好处是声明和定义之间的任何代码都可以访问该变量。除此之外，同一个文件中的 extern 声明毫无意义。

Answer 2

Lundin 是正确的，在这种情况下 extern 不会影响 fido 在其他源文件中的可见性。在您的示例代码中，它用作前向声明。

C99 标准的相关部分，第 6.2.2 节：

4) 对于使用存储类说明符 extern 在该标识符的先前声明可见的范围内声明的标识符，如果先前声明指定内部或外部链接，则后面声明的标识符的链接是与先前声明中指定的链接相同。如果前面的声明不可见，或者前面的声明没有指定链接，则标识符具有外部链接。

5) 如果函数标识符的声明没有存储类说明符，则其链接的确定与使用存储类说明符 extern 完全一样。对象的标识符具有文件范围且没有存储类说明符， 它的链接是外部的

在 C++ 中，行为会有所不同，因为使用 const 声明的变量隐式为 static。在C++中，需要在第一次声明变量时使用extern，否则其他编译单元找不到。

C++98 标准，第 3.5.3 节：

具有命名空间范围 (3.3.5) 的名称如果是以下名称，则具有内部链接

——显式声明为静态的对象、引用、函数或函数模板，或者，

——显式声明为 const 且既未显式声明 extern 也未先前声明具有外部链接的对象或引用；

Answer 3

有时，当您编写源文件时，您只需要头文件的一部分，而不是全部。

在源文件中重复 extern 声明允许您不在该特定源文件中包含头文件。

这不一定是一个好习惯。

Answer 4

extern const struct puppy fido;
// ...
const struct puppy fido = { "fido", 10, 10 };

如果const struct puppy fido = { "fido", 10, 10 }; 在 2 个不同的 .c 文件中编译，它将失败。在const struct puppy fido = { "fido", 10, 10 }; 之前和之后应该有#ifndef 和endif，以便包含一次。

一个良好的做法（通常必须避免使用全局变量）是在 .h 文件中使用 extern 声明，并将变量的定义放在 .c 文件中。