使用引用成员时std::vector未正确初始化的问题排查

你遇到的是悬垂引用导致的未定义行为，并非vector没被正确初始化——你访问的vector属于已经被销毁的对象。

• 代码中BaseClass ref = BaseClass(VecClass(3));这句里，VecClass(3)是临时对象，它的生命周期仅到创建它的完整表达式结束，也就是BaseClass构造函数执行完成后，这个临时VecClass对象就会被销毁。
• BaseClass的成员spec是const引用，它指向的正是这个已销毁的临时对象，这就形成了悬垂引用。后续访问ref.spec的任何成员都是未定义行为，结果完全不可靠。
• 为什么var1和var2能读到3？纯属巧合：
  • var1是通过new int(v)分配的堆内存，VecClass对象销毁时不会自动释放这块内存（你这里存在内存泄漏），所以这块内存暂时未被覆盖，能读到3，但这不是正确行为。
  • var2是栈上的成员变量，对象销毁后栈内存还没被其他操作改写，所以暂时能读到3，换个编译器或调整代码，结果可能完全不同。
• vector的情况：VecClass销毁时，vector的析构函数会释放内部管理的内存，同时重置size、capacity等成员的值（不同编译器实现有差异），所以你读到size为0，这也是未定义行为的一种表现。

另外你提到const VecClass& spec = VecClass(3);能正常工作，是因为C++标准规定：临时对象直接绑定到const引用时，其生命周期会被延长至引用的生命周期结束。但这个规则仅适用于直接绑定的场景，当你把临时对象传给BaseClass构造函数，再绑定到成员引用时，生命周期延长规则不生效，临时对象仍会在构造函数执行完毕后销毁，导致成员引用悬垂。

有两种常见的修正方式：

方法一：让BaseClass持有VecClass对象而非引用 #

把BaseClass中的const VecClass& spec;改为VecClass spec;，这样BaseClass会拷贝（或移动）传入的VecClass对象，对象生命周期与BaseClass一致：

#include <vector>
#include <iostream>

class VecClass {
public:
    VecClass(int v) 
        : values(25, v),
        var1(new int(v)), 
        var2(v){}

    // 添加拷贝构造函数，避免浅拷贝var1导致重复释放
    VecClass(const VecClass& other)
        : values(other.values),
        var1(new int(*other.var1)),
        var2(other.var2) {}

    // 析构函数释放var1，避免内存泄漏
    ~VecClass() {
        delete var1;
    }

public:
    std::vector<int> values;
    int* var1;
    int var2;
};

class BaseClass {
public:
    BaseClass(const VecClass& ref) 
        : spec(ref) {}

public:
    VecClass spec; // 持有对象而非引用
};

int main() {
    BaseClass ref = BaseClass(VecClass(3));
        
    std::cout << "*var1 = " << *ref.spec.var1 << "\n";  // 输出：3
    std::cout << "var2 = " << ref.spec.var2 << "\n";    // 输出：3
    std::cout << "size of values = " << ref.spec.values.size() << "\n"; // 输出：25
}

方法二：确保VecClass对象的生命周期长于BaseClass #

在main函数中先创建一个持久的VecClass对象，再传给BaseClass，这样引用指向的对象不会提前销毁：

#include <vector>
#include <iostream>

class VecClass {
public:
    VecClass(int v) 
        : values(25, v),
        var1(new int(v)), 
        var2(v){}

    ~VecClass() {
        delete var1; // 释放内存，避免泄漏
    }

public:
    std::vector<int> values;
    int* var1;
    int var2;
};

class BaseClass {
public:
    BaseClass(const VecClass& ref) 
        : spec(ref) {}

public:
    const VecClass& spec;
};

int main() {
    VecClass vec(3); // 持久对象，生命周期覆盖整个main函数
    BaseClass ref(vec);
        
    std::cout << "*var1 = " << *ref.spec.var1 << "\n";  // 输出：3
    std::cout << "var2 = " << ref.spec.var2 << "\n";    // 输出：3
    std::cout << "size of values = " << ref.spec.values.size() << "\n"; // 输出：25
}

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