警告 C4172：返回对绑定到局部变量的 const std::string 的引用。安全性如何？

Question

我刚刚在工作中构建一个项目，我看到添加了一个新函数：

const std::string& ClassName::MethodName() const
{
   return "";
}

编译器发出警告：

警告 C4172：返回局部变量或临时变量的地址

我认为编译器是正确的。 这个函数的安全性如何？

请注意，该函数不会返回 const char* ，因为字符串文字具有静态存储持续时间，所以这是可以的。它返回对 const std::string 的引用

Answer 1

是的，这不安全。
返回局部变量或临时变量的地址并取消引用它会导致未定义的行为。

正如您评论的那样：
是的，临时绑定到常量引用的生命周期会增加，直到常量的生命周期为止。但这需要调用者接受 const 引用中的返回值，因此该函数本身并不安全。

来自 C++ 标准：
C++03 12.2 临时对象：

第二个上下文是引用绑定到临时对象时。引用所绑定到的临时对象，或者是临时对象所绑定的子对象的完整对象的临时对象在引用的生命周期内持续存在，除非下面指定...

构造函数构造函数初始化程序 (12.6.2) 中引用成员的临时绑定将持续存在，直到构造函数退出。临时绑定到引用
函数调用 (5.2.2) 中的参数一直持续到包含调用的完整表达式完成为止。函数返回语句 (6.6.3) 中返回值的临时绑定一直持续到函数退出

Answer 2

这是一个让我明白事情的例子：

#include <iostream>
using std::cout;
struct A{
   A()   {
      cout << "Ctor\n";
   }
   ~A()   {
      cout << "Dtor\n";
   }
};

const A& f(){
   return A();
}

int main(){
   const A& ref = f();
   cout << "1\n";
   {
      const A& ref1 = A();
      cout << "2\n";
   }
   cout << "3\n";
}

输出

Ctor
Dtor
1
Ctor
2
Dtor
3

Answer 3

执行您所做的操作实际上是在编译器内部执行此操作：

const std::string* ClassName::MethodName() const
{
   std::string temp = "";
   return &temp;
}

返回对局部变量的引用或指针是不好的。

Answer 4

在某些情况下此代码是安全的。请参阅 GotW #88：A “最重要的常量”的候选人。