为什么不允许获取临时对象的非const引用,
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
似乎关于为什么不允许这样做的最初问题已经得到了明确的回答:“因为这很可能是一个错误”。
FWIW,我想我要展示如何做到这一点,即使我不认为这是一个很好的技术。
我有时想将一个临时对象传递给接受非const引用的方法的原因是有意地丢弃调用方法不关心的由引用返回的值。就像这样:
// Assuming: void Person::GetNameAndAddr(std::string &name, std::string &addr);
string name;
person.GetNameAndAddr(name, string()); // don't care about addr
正如在前面的回答中所解释的,这不能编译。但这编译和工作正确(与我的编译器):
person.GetNameAndAddr(name,
const_cast<string &>(static_cast<const string &>(string())));
这只是表明可以使用强制转换欺骗编译器。显然,声明并传递一个未使用的自动变量会干净得多:
string name;
string unused;
person.GetNameAndAddr(name, unused); // don't care about addr
这种技术确实在方法的作用域中引入了一个不需要的局部变量。如果出于某种原因,你想防止它在后面的方法中被使用,例如,为了避免混乱或错误,你可以将它隐藏在一个局部块中:
string name;
{
string unused;
person.GetNameAndAddr(name, unused); // don't care about addr
}
——克里斯
主要的问题是
g(getx()); //error
是一个逻辑错误:g正在修改getx()的结果,但您没有任何机会检查修改后的对象。如果g不需要修改形参,那么它就不需要左值引用,它可以通过value或const引用获取形参。
const X& x = getx(); // OK
有效,因为有时需要重用表达式的结果,而且很明显您正在处理一个临时对象。
然而,这是不可能的
X& x = getx(); // error
有效而不使g(getx())有效,这是语言设计者首先试图避免的。
g(getx().ref()); //OK
是有效的,因为方法只知道this的const性,它们不知道它们是在左值上调用还是在右值上调用。
就像在c++中一样,你有一个解决这个规则的方法,但是你必须显式地告诉编译器你知道你在做什么:
g(const_cast<x&>(getX()));
我想分享一个场景,我希望我能做到Alexey要求的事情。在一个Maya c++插件中,我必须做以下的恶作剧,以获得一个值到一个节点属性:
MFnDoubleArrayData myArrayData;
MObject myArrayObj = myArrayData.create(myArray);
MPlug myPlug = myNode.findPlug(attributeName);
myPlug.setValue(myArrayObj);
这写起来很乏味,所以我写了以下helper函数:
MPlug operator | (MFnDependencyNode& node, MObject& attribute){
MStatus status;
MPlug returnValue = node.findPlug(attribute, &status);
return returnValue;
}
void operator << (MPlug& plug, MDoubleArray& doubleArray){
MStatus status;
MFnDoubleArrayData doubleArrayData;
MObject doubleArrayObject = doubleArrayData.create(doubleArray, &status);
status = plug.setValue(doubleArrayObject);
}
现在我可以把文章开头的代码写成:
(myNode | attributeName) << myArray;
问题是它不能在Visual c++之外编译,因为它试图将从|操作符返回的临时变量绑定到<<操作符的MPlug引用。我想它是一个参考,因为这段代码被多次调用,我宁愿没有MPlug被复制这么多。我只需要临时对象存活到第二个函数结束。
这是我的情形。我只是想展示一个人们想做Alexey描述的例子。欢迎大家的批评和建议!
谢谢。