c++ - 从函数返回对数据的引用会导致悬空引用问题

Question

请检查下面的两个代码片段。虽然在示例 2 中，由于传递局部变量的 ref 显然存在悬空引用问题，但您认为示例 1 中是否存在相同的问题？我自己认为示例 1 是正确的。当数据被插入数据结构 (STL::queue) 时，ref 被获取(enqueue 的函数头是 void enqueue(const int &data))。所以这里通过&data返回数据应该没有问题。或者有吗？

示例 1:

int const& dequeue()
{
    _mutex.lock();
    int &data = _queue.back();
    _queue.pop();
    _mutex.unlock();
    return data;
}

示例 2:

int const& dequeue()
{
    _mutex.lock();
    int data = _queue.back();
    _queue.pop();
    _mutex.unlock();
    return data;
}

Answer 1

示例 1 不正确。

一旦您调用pop()，您的引用将失效。

函数将返回的引用必须指向一个在函数终止时仍然有效的对象。

这也意味着样本 2 是不正确的，但不是你想的那样。是的，返回该引用是无效的(它甚至不应该编译)，但是 data 在函数结束之前是无效的 - 同样，在 pop() 调用之后，您对该容器中对象的任何引用都将变得无效。

您有任何理由通过引用返回吗？您显然根本不希望值发生变化，并且您的引用是 const，那么为什么不按值返回呢？

int dequeue()
{
    _mutex.lock();
    int data = _queue.back();
    _queue.pop();
    _mutex.unlock();

    return data;
}

在回答您关于返回本地声明的引用的更一般性问题时，这很好，只要它所引用的对象在函数终止后仍然有效。例如:

int glob;

int& f(){
  int x;
  int& ref = glob;
  return x;
}

int main(){
  foo()=10;  //this is fine
}