为何这段C++代码会陷入无限循环并输出0x20字符？

核心原因：成员初始化顺序不匹配 #

你遇到的问题本质是C++类成员的初始化顺序由类内声明顺序决定，和构造函数初始化列表的顺序无关。

看你的Outer类，成员声明顺序是：

• 先声明Inner inner;
• 再声明std::string &outerString;

所以当创建Outer对象时，实际初始化流程是：

1. 先构造inner成员，调用Inner的构造函数并传入*this
2. 再初始化outerString引用，绑定到传入的参数

这就导致Inner构造函数里访问outer.outerString时，这个引用还没被绑定到合法的std::string对象上——这属于未定义行为，C++标准不对这种行为的结果做任何保证，程序可能出现任何奇怪的表现，包括无限循环输出空格、崩溃、输出乱码等。

为什么会无限循环输出空格（0x20）？ #

未定义行为的表现完全依赖于编译器、操作系统、栈布局等环境因素。这里的情况大概率是未初始化的outerString引用指向了内存中某个会触发持续输出空格的区域，或者误修改了std::cout的内部状态，导致循环输出空格。这种行为没有统一的逻辑解释，纯粹是未定义行为的随机表现。

为什么移除冗余字符串会变成编译错误/段错误？ #

当你减少构造函数的参数后，程序的栈布局、编译器优化策略都会发生变化，未定义行为的表现也随之改变：

• 可能栈上未初始化的引用指向了非法内存地址，访问时直接触发段错误；
• 某些编译器在参数较少时，能更精准地检测到“引用在初始化前被使用”的问题，直接抛出编译错误。

修复方案 #

有两种常见的修复方式：

1. 调整成员声明顺序：把std::string &outerString;放在Inner inner;之前，确保引用先绑定，再构造inner：

#include <iostream>

struct Outer {
    Outer(std::string &outerString,
          std::string &superfluousString1,
          std::string &superfluousString2) :
            outerString(outerString),
            inner(*this) {}

    std::string &outerString; // 调整到inner之前声明
    struct Inner {
        Inner(Outer &outer) {
            std::cout << outer.outerString;
        }
    } inner;
};

int main() {
    std::string
            outerString("outerString"),
            superfluousString1("superfluousString1"),
            superfluousString2("superfluousString2");

    Outer outer(outerString, superfluousString1, superfluousString2);

    return 0;
}

2. 延迟Inner初始化：用指针或智能指针存储Inner，在Outer构造函数的函数体中创建Inner对象，此时Outer的成员已经全部初始化完成：

#include <iostream>
#include <memory>

struct Outer {
    Outer(std::string &outerString,
          std::string &superfluousString1,
          std::string &superfluousString2) :
            outerString(outerString) {
        inner = std::make_unique<Inner>(*this); // 函数体内创建，此时引用已绑定
    }

    struct Inner {
        Inner(Outer &outer) {
            std::cout << outer.outerString;
        }
    };

    std::string &outerString;
    std::unique_ptr<Inner> inner;
};

int main() {
    std::string
            outerString("outerString"),
            superfluousString1("superfluousString1"),
            superfluousString2("superfluousString2");

    Outer outer(outerString, superfluousString1, superfluousString2);

    return 0;
}

两种方式都能确保Inner构造时outerString是合法的引用，程序会正常输出outerString。

内容的提问来源于stack exchange，提问作者Jimadilo