“外部”的使用C 中的存储类说明符

Question

以下 extern 说明符的示例用法如何表现。

我们在文件 one.c 和 Two.c 中都有一个全局变量 int x 我们想在 Three.c 中使用它们，因此在 Three.c 中将此变量声明为

extern int x;

当我们编译和链接这些文件时会发生什么？

我的答案是：所有这些文件的编译应该成功，但是由于 x 的多个声明，链接器应该在链接时标记错误。 C++ 中的行为会有什么不同吗？

在 C 和 C++ 中，有什么方法可以同时从两个文件引用 int x （在 Three.c 中）吗？ 在 C++ 中，我想我们可以使用命名空间来实现这一点。正确的？

Answer 1

请记住，您不能 extern 全局静态变量..!!

Answer 2

默认情况下，全局变量具有外部链接，这意味着它们可以被其他源文件（或“翻译单元”）使用。如果您使用 static 关键字声明全局变量，它们将具有内部链接，这意味着它们将无法被其他源文件使用。

对于具有外部链接的变量，不能有多个同名变量，否则链接器会抱怨。不过，您可以有两个同名的变量，只要至少一个变量具有内部链接，当然您不能在同一个源文件中引用这两个变量。

extern 声明只是对编译器说“这是在另一个翻译单元中定义的外部链接的某个变量的名称”，允许您引用该变量。

C++ 完全相同，除了添加了命名空间。如果将全局变量放在命名空间内，那么它们可以具有相同的名称，而不会出现链接器错误，前提是它们位于不同的命名空间中。当然，对这些变量的所有引用都必须引用全名 namespace::var_name，或者使用 using 声明来建立本地命名空间上下文。

C++ 也有匿名命名空间，这与 C 中的全局变量使用 static 关键字完全等效：在匿名命名空间内声明的所有变量和函数都具有内部链接。

因此，为了回答您原来的问题，您是对的 - 编译会成功，但链接会失败，因为变量 x 具有外部链接的多个定义（具体来说，来自翻译单元 one.c 和 two.c）。

从 two.c 中，无法同时引用两个变量 x。您需要在一个或两个模块中重命名 x，或者切换到 C++ 并在命名空间中放置至少一个 x。

Answer 3

在 C 中，您可以这样做：

// one.c
static int x;
int *one_x = &x;

// two.c
static int x;
int *two_x = &x;

// three.c
extern int *one_x;
extern int *two_x;

现在您可以明确引用文件 one.c 中的 x 或文件 中的 x来自文件 two.c 的 Three.c。

然而，这可能有点超出其价值。也许您应该为全局变量想出更具描述性的名称，而不是尝试绕过 C 的单一全局命名空间的理论方法。

Answer 4

为了避免生成重复的符号，您应该在单个头文件（.h 文件）中声明 extern int x;，然后拥有将使用 x #include 的所有 .c 文件code> 该头文件，并在 一个 .c 文件中定义或初始化 int x;。

Answer 5

您可能对此问题的答案感兴趣。

摘要：链接器可能会也可能不会链接文件失败。这取决于变量的初始化。如果变量在不同的文件中有不同的初始化，那么肯定会失败。