c++ - 成员初始化的循环依赖

Question

我正在尝试以下 C++ 代码，它根据静态变量 v1 和 v2 初始化成员变量 c1 和 c2 在不同的命名空间中。在我看来，这些变量的初始化会发生循环依赖。

#include <iostream>

namespace M1
{
    struct T1
    {
        int c1;
        T1();
    };

    T1 v1;
}

namespace M2
{
    struct T2
    {
        int c2;
        T2() { c2 = M1::v1.c1; }            // (1)
        // T2() : c2( M1::v1.c1 ) {}        // (2)
    };

    T2 v2;
}

M1::T1::T1() { c1 = M2::v2.c2; }            // (3)
// M1::T1::T1() : c1( M2::v2.c2 ) {}        // (4)


int main()
{
    std::cout << M1::v1.c1 << std::endl;
    std::cout << M2::v2.c2 << std::endl;

    return 0;
}

但是，如果我用 g++-5.3 编译这段代码(在 OSX 10.9 上通过自制软件安装)，它总是成功地符合要求(-Wall 没有警告)并给出

0
0

我还尝试用 (2) 和 (4) 替换第 (1) 和 (3) 行，但结果没有变化(即 0 和 0 ).所以我想知道为什么这段代码能成功运行。这里没有循环依赖？如果不是，结果是否只是未定义？ (即，打印的 c1 和 c2 的内存中的垃圾数据？)我将不胜感激有关此行为的任何提示。谢谢!

Answer 1

是的，你有一个循环依赖，因为值是从另一个初始化的。

没有错误的原因与您在以下方面没有出现错误的原因几乎相同:

int x;
std::cout << x;

在这种情况下，逻辑上，您只是在使用未初始化的变量。该值将是未指定的，编译器在一般情况下无法检测到这一点，因此在任何情况下都不会。

但是，我们还必须记住，静态存储持续时间的对象在几乎任何其他事情发生之前都是零初始化的，因此您的程序实际上是明确定义的。

这意味着M2::v2.c2肯定会被初始化为零；因此，M1::v1.c1 也将被初始化为零。