返回常量引用与临时对象

return const reference vs temporary object

本文关键字：临时对象 引用 常量 返回      更新时间：2023-10-16

我想知道为什么返回本地对象的const reference是非法的，而返回local object是合法的，只要您将其分配给const reference？

vector<int> f_legal() {
    vector<int> tempVec;
    tempVec.push_back(1);
    return tempVec;
}
const vector<int>& f_illegal() {
    vector<int> tempVec;
    tempVec.push_back(1);
    return tempVec;
}
void g() {
    const vector<int>& v1 = f_legal(); // legal
    const vector<int>& v2 = f_illegal(); // illegal
}

编辑：我的观点是，如果

将常量引用分配给返回的局部变量是合法的，那么将常量引用分配给局部变量的返回的常量引用是否也是合法的？

返回对局部变量的引用是非法的(未定义的行为(。时期。没有const或mutable条款。

这是因为局部函数变量具有自动存储持续时间。它们在函数退出后被"销毁"。如果函数返回对此类变量的引用，则该引用称为悬空：它引用不再存在的对象。

第一个是合法的，因为有一个特殊的C++规则：初始化对prvalue的引用会将该临时对象的生存期延长到引用的生存期。

即使你把它分配给一个 const 引用，返回值也会声明为按值传递，这意味着它将作为临时对象被复制到外部[1]，然后绑定到 const 引用。将临时对象绑定到 const 引用很好，在 const 引用的生命周期之外，该对象不会被销毁。

另一方面，返回局部变量的引用是 illegel。当函数返回时，局部变量将被销毁，这意味着外部引用将被悬空。

编辑

我的观点是，如果将常量引用分配给返回的局部变量是合法的，那么将常量引用

分配给局部变量的返回的常量引用是否也是合法的？

关键是第一种情况不是将常量引用分配给返回的局部变量，而是将常量引用分配给返回的临时变量。(可能从局部变量复制。

[1] 根据 RVO 技术上，可以省略该副本。

很可能是因为它会完全破坏几十年来一直为我们服务的整个基于堆栈的调用约定......几乎每个 CPU 都假设。

相关文章：