文件A.cpp:

#include <iostream>
extern int iA;
extern int iB= iA;
int main()
{
std::cout<<iA<<','<<iB;
}

文件B.cpp

extern int iB;
extern int iA = 2*iB;

编译链接运行，out进来debug和release模式是0,0 我的问题是它是如何工作的，为什么在链接阶段没有问题？ 我正在使用 VC++2003。

最佳答案

初始化程序覆盖了 extern 关键字，因此这没有什么“神奇”:您只是在不同的翻译单元中声明和定义两个完全不相关的变量。

来自 Standard for Programming Language C++ - Chapter 3.1 :

A declaration is a definition unless it declares a function without specifying the function’s body (8.4), it contains the extern specifier (7.1.1) or a linkage-specification²⁵ (7.5) and neither an initializer nor a function-body, it declares a static data member in a class definition (9.2, 9.4), it is a class name declaration (9.1), it is an opaque-enum-declaration (7.2), it is a template-parameter (14.1), it is a parameter-declaration (8.3.5) in a function declarator that is not the declarator of a function-definition, or it is a typedef declaration (7.1.3), an alias-declaration (7.1.3), a using-declaration (7.3.3), a static_assert-declaration (Clause 7), an attribute-declaration (Clause 7), an empty-declaration (Clause 7), or a using-directive (7.3.4).

因此，您的程序等同于以下内容:

fileA.cpp

#include <iostream>
extern int iA;
int iB= iA;
int main()
{
std::cout<<iA<<','<<iB;
}

fileB.cpp

extern int iB;
int iA = 2*iB;

在发生任何其他事情之前，这两个对象都必须经过静态初始化(按位全零)。当动态初始化稍后发生时，取决于 fileA.cpp 或 fileB.cpp 中的静态存储持续时间对象是否首先被初始化(你无法知道那是什么顺序) iB 初始化为零 iA(然后 iA 按预期初始化为 2*iB)，或者iA 初始化为零 iB 乘以二，仍然为零(然后 iB 初始化为零 iA).

无论哪种方式，通过明​​确定义的语义，这两个对象最终都将具有零值。

关于c++ - 扭曲的逻辑 : a global variable in one file refers to an extern variable but is also referred by that extern variable，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/30803399/