为什么非常量引用不能绑定到临时对象？

小编典典

为什么非常量引用不能绑定到临时对象？

all

为什么不允许获取对临时对象的非常量引用，哪个函数getx()返回？显然，这是 C++ 标准禁止的，但我对这种限制的目的感兴趣，
而不是对标准的引用 。

struct X
{
    X& ref() { return *this; }
};

X getx() { return X();}

void g(X & x) {}

int f()
{
    const X& x = getx(); // OK
    X& x = getx(); // error
    X& x = getx().ref(); // OK
    g(getx()); //error
    g(getx().ref()); //OK
    return 0;
}

很明显，对象的生命周期不能成为原因，因为C++ 标准 不禁止对对象的常量引用。
很明显，上述示例中的临时对象不是常量，因为允许调用非常量函数。例如，ref()可以修改临时对象。
此外，ref()允许您欺骗编译器并获得指向此临时对象的链接，从而解决了我们的问题。

此外：

他们说“将一个临时对象分配给 const 引用会延长该对象的生命周期”和“尽管对非 const 引用没有说什么”。我的 附加问题
。以下分配是否会延长临时对象的生命周期？

X& x = getx().ref(); // OK

阅读 77

2022-05-29

共1个答案

小编典典

来自这篇关于右值引用的 Visual C++
博客文章：

… C++ 不希望您意外修改临时对象，但直接在可修改的右值上调用非常量成员函数是显式的，因此允许…

基本上，您不应该尝试修改临时对象，因为它们是临时对象并且现在随时都会死掉。允许您调用非常量方法的原因是，欢迎您做一些“愚蠢”的事情，只要您知道自己在做什么并且明确说明（例如，使用
reinterpret_cast）。但是，如果您将临时对象绑定到非常量引用，则可以“永远”继续传递它，只是为了让您对对象的操作消失，因为在此过程中您完全忘记了这是一个临时对象。

如果我是你，我会重新考虑我的功能设计。为什么 g() 接受引用，它会修改参数吗？如果不是，请将其设为 const
引用，如果是，您为什么尝试将临时传递给它，您不在乎它是您正在修改的临时吗？为什么 getx()
还是临时返回？如果您与我们分享您的真实场景以及您想要完成的工作，您可能会得到一些关于如何做到这一点的好建议。

违背语言并愚弄编译器很少能解决问题——通常它会产生问题。

编辑：在评论中解决问题：1）X& x = getx().ref(); // OK when will x die?-
我不知道，我不在乎，因为这正是我所说的“违背语言”的意思。该语言说“临时对象在语句结束时死亡，除非它们被绑定到 const
引用，在这种情况下，当引用超出范围时它们会死亡”。应用该规则，似乎 x 在下一条语句的开头已经死了，因为它没有绑定到 const 引用（编译器不知道
ref() 返回什么）。然而，这只是一个猜测。

2）我清楚地说明了目的：不允许修改临时变量，因为它没有意义（忽略 C++0x 右值引用）。问题“那么为什么我可以调用非常量成员？”
是一个很好的答案，但我没有比我上面已经说过的更好的答案了。

3) 好吧，如果我对 x 在X& x = getx().ref();语句结尾处死亡的看法是正确的，那么问题就很明显了。

无论如何，根据您的问题和评论，我认为即使是这些额外的答案也不会让您满意。这是最后的尝试/总结：C
委员会认为修改临时对象没有意义，因此，他们不允许绑定到非 const
引用。可能还涉及到一些编译器实现或历史问题，我不知道。然后，出现了一些具体的情况，决定无论如何，他们仍然允许通过调用非常量方法直接修改。但这是一个例外 -
通常不允许您修改临时文件。是的，C 通常就是这么奇怪。

2022-05-29