为什么不允许获取对临时对象的非常量引用,
哪个功能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
最佳答案
从此Visual C++ blog article about rvalue references :
... C++ doesn't want you to accidentally modify temporaries, but directly calling a non-const member function on a modifiable rvalue is explicit, so it's allowed ...
基本上,您不应该尝试修改临时对象,因为它们是临时对象并且现在随时都会死掉。允许您调用非常量方法的原因是,欢迎您做一些“愚蠢”的事情,只要您知道自己在做什么并且明确说明(例如,使用 reinterpret_cast)。但是,如果您将临时对象绑定(bind)到非常量引用,则可以“永远”继续传递它,只是为了让您对对象的操作消失,因为在此过程中您完全忘记了这是一个临时对象。
如果我是你,我会重新考虑我的功能设计。为什么 g() 接受引用,它会修改参数吗?如果不是,请将其设为 const 引用,如果是,您为什么尝试将临时传递给它,您不在乎它是您正在修改的临时吗?为什么 getx() 还是临时返回?如果您与我们分享您的真实场景以及您想要完成的工作,您可能会得到一些关于如何做到这一点的好建议。
违背语言并愚弄编译器很少能解决问题——通常会产生问题。
编辑:解决评论中的问题:
1)
X& x = getx().ref(); // OK when will x die?
- 我不知道也不在乎,因为这正是我所说的“违背语言”的意思。该语言说“临时对象在语句结束时死亡,除非它们被绑定(bind)到 const 引用,在这种情况下,当引用超出范围时它们会死亡”。应用该规则,似乎 x 在下一条语句的开头已经死了,因为它没有绑定(bind)到 const 引用(编译器不知道 ref() 返回什么)。然而,这只是一个猜测。2)我清楚地说明了目的:不允许修改临时变量,因为它没有意义(忽略 C++0x 右值引用)。问题“那么为什么我可以调用非常量成员?”是一个很好的答案,但我没有比我上面已经说过的更好的答案了。
3) 好吧,如果我对
X& x = getx().ref();
中的 x 是正确的死在语句的最后,问题是显而易见的。无论如何,根据您的问题和评论,我认为即使是这些额外的答案也不会让您满意。这是最后的尝试/总结:C++ 委员会认为修改临时对象没有意义,因此,他们不允许绑定(bind)到非 const 引用。可能还涉及到一些编译器实现或历史问题,我不知道。然后,出现了一些具体的案例,决定不顾一切,仍然允许通过调用非常量方法直接修改。但这是一个异常(exception) - 通常不允许您修改临时文件。是的,C++ 通常就是这么奇怪。
关于c++ - 为什么非常量引用不能绑定(bind)到临时对象?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46038577/