分配一个 C++引用被破坏的东西？

Question

因此，我正在查看一些代码，我看到了这一点：

class whatever 
{
public:
    void SomeFunc(SomeClass& outVal)
    {
        outVal = m_q.front();
        m_q.pop();
    }

private:
    std::queue<SomeClass> m_q;
};

这似乎不再是 outVal 的有效引用...但是，它似乎有效。

我以前也在其他代码中看到过这个，这有效吗？谢谢

Answer 1

请记住，引用与指针不同：它们在创建后不能反弹。这意味着如果我

int a;
int b;
int &c = a;

在整个范围内这样做，对 c 的赋值实际上意味着对 a 的赋值。因此

int a = 2;
{
   int b = 3;
   int &c = a;
   c = b;
   b = -5;
}
printf("%d",a); // prints "3".

，在这种情况下，引用不会指向已删除的对象。相反，m_q.front() 的返回值通过赋值运算符复制到任何 outVal 引用中。

Answer 2

这是有效的。您没有重新设置 outVal 引用来引用 m_q.front()，这不是引用支持的内容，而是分配 m_q.front() 到 outVal 引用的变量（实际上是左值）。

  SomeClass c;
  someWhatever.SomeFunc(c);

可以被认为是这样的行为：

  SomeClass c;
  c = someWhatever.m_q.front();
  someWhater.m_q.pop();

Answer 3

我之前的回复里写的完全是废话。 （无论谁支持我的原始回复，请收回它：）

在这个例子中，引用没有绑定到一个即将死亡的对象，而是将前面的对象的值复制到另一个对象（由引用引用）。副本继续独立于队列而存在，队列前端被破坏的事实不会对副本产生不利影响。

请参阅 Crashworks 回复以获得对此处发生的情况的详细解释。