C++中基类引用出现未定义行为的原因排查求助

核心问题：vector扩容引发对象移动，引用失效 #

你的代码里的未定义行为，根源在于std::vector的扩容机制和引用的特性：

• 当调用values.emplace_back()添加Test对象时，vector初始容量不足以容纳18个元素，会触发内存重新分配：vector会开辟更大的内存块，把已有的Test对象移动到新内存中，旧内存随即被释放。
• Test类中的Strategies持有一个System&类型的引用，这个引用绑定的是旧内存中system对象的地址。当Test对象被移动到新内存后，strategies里的引用仍然指向已被释放的旧内存地址，此时访问该引用属于未定义行为，读取到的自然是随机值。

验证过程 #

给Test类添加移动构造函数，就能观察到扩容时的移动行为：

Test(Test&& other) : system(std::move(other.system)), strategies(system) {
    std::cout << "Test对象被移动\n";
}

运行代码会多次输出"Test对象被移动"，这直接证明了vector扩容时的对象移动操作，正是这一操作导致了原引用失效。

解决方法 #

有几种可行的修复方案：

• 提前预留vector容量：在createTests()函数开头添加values.reserve(18);，让vector提前分配足够容纳18个元素的内存，避免后续扩容，确保对象不会被移动，引用始终有效。
• 在移动构造函数中重新绑定关联关系：由于C++引用无法重新绑定，可以修改Test的移动构造函数，让新对象的strategies绑定到新内存中的system对象：

  Test(Test&& other) : system(std::move(other.system)), strategies(this->system) {}
  

• 改用指针替代引用：将Strategies中的System&改为System*，这样在移动构造函数中可以直接更新指针，指向新内存中system对象的地址。

补充说明 #

直接访问tests.values[0].system.someValue能得到正确值，是因为此时访问的是新内存中已正确构造的AdvancedSystem对象，它继承自System类的someValue初始化流程完全正常。

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