警告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临时对象：

的第二上下文是当引用绑定到一个暂时的。临时到该参考结合或临时即完整的对象，该对象的临时结合持续除了下面指定的参考的寿命的子对象...

临时结合到构造函数的ctor-initializer（12.6.2）中的引用成员一直存在，直到构造函数退出。临时绑定到参数 参数在函数调用（5.2.2）中一直存在，直到包含该调用的完整表达式的完成为止。函数返回语句（6.6.3）中对返回值的临时绑定一直存在，直到函数退出

Answer 2

做你做了什么，实际上是在编译器在内部做到这一点：

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

并返回引用或指针到局部变量是坏的。

Answer 3

这是做事情说清楚我的一个例子：

#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 4

有一些情况，这个代码是安全的。请参阅GotW #88: A Candidate For the “Most Important const”。