函数返回局部引用的合法性及单例场景下值/引用返回的行为疑问

咱们先一步步理清楚你提到的问题，先从你最初没说明单例的代码例子说起，再聊补充后的单例场景：

一、最初示例代码的合法性分析 #

1. 返回值版本的getFoo() #

// return by value
std::string getFoo() {
  const std::string& myStr = getBar();
  return myStr;
}

• std::string myString = getFoo();：这段是合法的。因为函数是值返回，会把myStr绑定的对象拷贝一份作为临时返回值，然后把这个临时值赋值给myString（C++17及之后还会做返回值优化，避免多余拷贝），整个过程没有悬空风险。
• std::string& myString = getFoo();：这段确实有问题，属于悬空引用。因为函数返回的临时对象会在这条语句结束后被销毁，myString就绑定到了一个已经不存在的对象上，后续操作会触发未定义行为。

2. 返回引用版本的getFoo() #

// return by reference
std::string& getFoo() {
  const std::string& myStr = getBar();
  return myStr;
}

这里的合法性完全取决于getBar()返回的引用绑定的对象生命周期：

• 如果getBar()返回的是局部对象的引用，那不管你是写std::string myString = getFoo();还是std::string& myString = getFoo();，本质上都有悬空风险——myStr绑定的是一个已经销毁的局部对象，后续操作都是未定义行为。
• 不过你后来补充了这是单例场景，那咱们重点聊这个核心情况。

二、单例场景下的返回行为差异 #

当getFoo()返回的是单例对象时，两种返回方式的行为差异完全符合C++的规则，你通过内存地址验证的结果也完全正确：

• 返回引用：不会产生任何拷贝，拿到的就是单例对象的直接引用，内存地址和单例实例完全一致，这才是单例的正确用法——保证全局只有一个实例，所有操作都针对这个唯一实例。
• 返回值：会触发单例对象的拷贝构造，生成一个全新的对象，这就完全违背了单例“唯一实例”的设计初衷。你看到的内存地址差异，就是单例实例和它的拷贝对象的地址区别，这种用法确实是对单例的错误使用，完全失去了单例的意义。

内容来源于stack exchange