c++ - 从函数返回ref到数据会导致悬挂ref问题

请检查下面的两个代码段。在样本2中，当传递局部变量ref时，显然存在悬空引用问题，您是否认为样本1中存在相同的问题？我本人认为样本1是正确的。在将数据推入数据结构(stl::queue)的同时，获取了ref(enqueue的函数 header 为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;
}

最佳答案

样本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
}

关于c++ - 从函数返回ref到数据会导致悬挂ref问题，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/6433727/