C++:引用 "out of scope"对象

Question

关于引用文献，有一件事我一直不明白，我希望有人能帮助我。据我所知，引用不能为空。但是如果你有一个函数 foo() 返回对堆栈对象的引用会发生什么:

Object & foo(){
    Object o;
    return o;
}

Object & ref = foo();

理论上 ref 将引用一个不存在的对象，因为一旦函数返回，o 就会超出范围。这里发生了什么？

Answer 1

这会导致未定义的行为。不要这样做。

在实现方面，实际上，引用将指向调用 foo 的堆栈框架所在的堆栈。在许多情况下，该内存仍然有意义，因此错误通常不会立即显现出来。因此，您应该注意永远不要创建这样的悬空引用。