构造函数初始化列表中临时对象的生命周期与引用有效性问题

你遇到的这个问题绝对是C++里新手（甚至不少老手）都会踩的经典坑——临时对象的生命周期和引用绑定的边界问题，我来一步步帮你拆解清楚问题出在哪，以及怎么解决。

首先，先帮你定位代码里的核心问题：

为什么你的代码会出现随机值？ #

我们来看Bar类的构造函数：

Bar(Foo2 foo) : foo_(foo) { }
IFoo& foo_;

这里的foo是值传递的参数——也就是说，当你传入Foo2(x,y)这个临时对象时，Bar的构造函数会先把这个临时对象完整拷贝一份到参数foo里，然后把foo_这个引用绑定到这个拷贝出来的参数上。

问题就出在这个参数的生命周期上：

• 当Bar的构造函数执行完毕，这个在栈上创建的参数foo就会被立即销毁；
• 这时候foo.bar_.foo_就变成了悬垂引用——它指向的对象已经不存在了，后续访问GetSum()其实是在读取栈上已经被释放的内存，结果自然是随机值，而且后续的栈操作（比如创建其他对象）会覆盖这块内存，导致你看到的值发生变化。

至于main里Bar bar(Foo2(2,3))之后的输出看起来是对的，纯粹是巧合！那块栈内存还没被新的操作覆盖，数据暂时还在，但这属于C++里的未定义行为——今天能正常输出，明天换个编译器、加几行代码就可能直接崩溃，绝对不能依赖。

你的问题解答：代码能正常工作吗？必须加Foo2成员吗？ #

分两种情况来看：

情况1：你可以修改Bar类（推荐）

如果能调整Bar的代码，那我们可以从根源上解决问题：

1. 把Bar的构造函数改成接收引用而非值传递，避免不必要的拷贝，同时让引用绑定到真实存在的对象上；
2. 在Foo类里添加一个Foo2成员变量，让它的生命周期和Foo对象一致，这样Bar的引用就不会失效。

修改后的完整代码如下：

#include <stdio.h>

class IFoo {
public:
    virtual int GetSum() = 0;
};

class Foo2 : public IFoo {
public:
    Foo2(int x, int y) : x_(x), y_(y) {
        printf("Creating Foo2 with: x=%d, y=%d\n", x, y);
    }
    int GetSum() override {
        return x_ + y_;
    }
    int x_;
    int y_;
};

// 修改后的Bar：接收IFoo引用，符合多态设计，避免拷贝
class Bar {
public:
    Bar(IFoo& foo) : foo_(foo) { }
    IFoo& foo_;
};

class Foo {
public:
    Foo(int x, int y) : foo2_(x, y), bar_(foo2_) { }
    Foo2 foo2_; // 持有Foo2对象，生命周期和Foo完全一致
    Bar bar_;
};

int main() {
    Foo foo(1, 2);
    Foo2 foo2(2, 3);
    Bar bar(foo2);

    printf("The sum of foo is: %d (expected 3)\n", foo.bar_.foo_.GetSum());
    printf("The sum of bar is: %d (expected 5)\n", bar.foo_.GetSum());

    // 测试创建其他对象是否影响结果
    Foo2 temp(100, 200);
    printf("After creating temp, sum of foo is: %d (still expected 3)\n", foo.bar_.foo_.GetSum());

    return 0;
}

这个修改后的代码为什么能稳定工作？

• Foo里的foo2_是成员变量，只要Foo对象活着，它就活着；
• Bar的foo_引用的是这个真实存在的成员，永远不会变成悬垂引用；
• 就算后续创建其他对象覆盖栈内存，也不会影响foo2_的数据，因为它的生命周期是和Foo绑定的。

情况2：你完全不能修改Bar类

很遗憾，如果Bar的代码是完全固定的，那这个类的设计本身就有严重问题——它的引用成员必然会绑定到一个会被立即销毁的构造函数参数上，没有任何安全的方式能让它稳定工作。

这种情况下，你要么只能接受未定义行为带来的随机问题（绝对不推荐），要么就必须和提供Bar类的人沟通，让他们修复这个设计缺陷。

最后再提醒一句 #

C++里的引用绑定规则一定要记牢：

• 引用必须绑定到一个有明确生命周期的对象上；
• 临时对象的生命周期只有在特定场景下会被延长（比如绑定到const左值引用或右值引用），但值传递的参数不在这个范围内；
• 悬垂引用是C++程序最隐蔽的bug之一，一旦出现，排查起来非常头疼。

内容来源于stack exchange