C++如何在含引用类成员的类构造函数中初始化被引用类实例

• 第一种初始化写法错误：Foo的成员bar是Bar类型的左值引用，你传入的my_int是int类型，类型完全不匹配，无法完成引用绑定。
• 第二种初始化写法错误：new Bar(my_int)返回的是Bar*指针类型，和Bar&引用类型不匹配；即使对指针解引用，动态分配的Bar实例也没有对应的生命周期管理，会存在内存泄漏、引用悬空的风险。
• 编译器要求传入左值的原因：非常量左值引用只能绑定到有明确生命周期、可获取地址的左值实体，不允许绑定到临时对象等右值，避免出现引用悬空的未定义行为。

如果你需要Foo内部自行管理Bar实例的生命周期，可以按照如下方式修改Foo的定义：

注意：C++类成员的初始化顺序由声明顺序决定，和初始化列表的书写顺序无关，因此必须先声明Bar实例成员，再声明引用成员，保证绑定的实例已经完成初始化。同时要确保Bar的构造函数声明为public，否则外部类无法调用构造。

class Foo {
  // 先声明Bar实例成员
  Bar bar_instance;
public:
  // 再声明Bar引用成员
  Bar& bar;
  // 初始化列表先构造bar_instance，再将bar绑定到该实例上
  Foo(int& my_int) : bar_instance(my_int), bar(bar_instance) {
    // 其他构造逻辑
  }
};

如果你不需要Foo管理Bar的生命周期，只需要绑定外部已经存在的Bar实例，可以修改Foo的构造函数，直接接收外部传入的Bar左值引用：

// Foo类定义保持持有Bar& bar的成员不变
Foo::Foo(Bar& existing_bar) : bar(existing_bar) {
  // 其他构造逻辑
}

这种场景下需要自行保证外部传入的Bar实例的生命周期长于Foo实例，否则会出现引用悬空问题。

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