Question

请检查下面的两个代码段。在样本2中，当局部变量的ref被传递时，显然存在悬空参考问题，您认为样本1中存在同样的问题吗？我自己认为样本1是正确的。在数据结构（stl::queue）中推送数据时，引用了引用（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
}

从函数返回引用数据导致悬空引用问题

1 个答案: