这一切看起来都非常美妙,但是如果是下面这个例子,会发生什么情况呢?
MyClass &mc = foo();
现在将不是将临时对象拷贝到新的对象上面,我仅仅是将它赋值给一个引用,(请注意,这和最开始那个例子有一点区别,在第一个例子里面,我将一个局部变量的引用做为了函数返回值,而在这个例子里,我是将一个函数返回的临时变量的引用赋值给一个变量)。那么,现在将会发生什么情况呢?临时对象将在什么时候被销毁呢?如果它还是在表达式执行的执行结束的时候被销毁,就如同上面那个例子一样,这段代码将因为一个指向不存在的对象的应用而彻底完蛋。但是,请注意,C++标准同意对这种情况提出一种不同寻常的解决办法:如果一个临时对象被赋值给一个引用,这个临时对象在这个引用的生命周期中将不能被销毁。换句话说,不同于返回一个局部变量的引用,将一个引用绑定到一个临时对象上是完全合法的,任何时候使用这个引用,这个对象都应该是有效的。
The BUG我猜我只能说仅仅当编译器恰当的实现了C++标准,这个引用才可能是有效的。Eugene Gershnik将Listing 2所列的代码发送给了我,它有一个叫foo的函数,返回了一个std::vector<char>类型的临时对象,并且这个对象被赋值给了一个引用,当这段程序在VC7的Release模式下编译并运行时并没有问题,但是当它在Debug模式下运行时,我得到了这样一个错误:
“The instruction at “0x004121b5”referenced memory at “0x00000000”.The memory could not be “read”.”
Listing 2
Assigning a reference to a temporary object
// Problem with reference bound to temporary
// The function foo returns a temporary object
// of type std::vector<char>, which is then bound
// to a reference of type const std::vector<char>&.
// When the expression "int m[80] = {0};" is
// executed,
// the reference bar no longer seems to be valid,
// and the program will crash in the call to
// printf.
// Removing the line "int m[80] = {0};" eliminates
// the problem.
//
// Compile with VC7, with the "Program Database
// for Edit and Continue" debug option.
#include <vector>
#include <cstdio>
std::vector<char> foo()
{
std::vector<char> ret(20);
return ret;
}
int main()
{
const std::vector<char> &bar = foo();
int m[80]={0};
std::printf("%d\n", bar[0]);
return 0;
}
开始的时候我猜想由于Release版本对“int m[80]= {0};”这一行的优化造成了这种结果,因为这行代码确实什么也没有做,我认为这种优化消除了在Release下的错误。但是当我将代码发给Microsoft,并征求他们的意见的时候,Jeff Peil给我回了信,并指出了真正的原因所在:
这个问题是由于编辑-继续调试支持(edit-and-continue debugging support)
的功能而造成的。这个错误将在即将释放的下一版的Visual C++中得到修
正,你可以通过将编辑-继续调试支持从编译选项中去掉而避免这个错误
发生(编译时仍然会产生调试信息,你需要做的仅仅是将/ZI选项替换成
/Zi选项)。当然,另外一个解决办法就是不将引用绑定到临时对象上去,
这样你可以继续使用编辑-继续调试支持功能,就像下面的代码那样:
int main()
{
std::vector<char> bar;
std::swap(bar,foo());
int m[80]={0};
std::printf(“%d\n”, bar[0]);
return 0;
}
—Jeff Peil
虽然性能上有一点点损失,但Jeff的代码工作的很好。交换这两个Vector的内容粗看起来是一个代价昂贵的操作,但实际上所有的交换工作就是交换两个数组中很少的内部变量,这其中并不涉及到缓冲区的拷贝,因此交换将在常量时间内完成。
当然如果你想简单的解决这个问题,可以将表达式“int m[80]= {0};”移动到声明变量bar之前。因为它们之间不存在什么倚赖关系,先声明任何一个都是没有关系的。
(完)
本文地址:http://com.8s8s.com/it/it1709.htm