[转]一个关于临时对象的BUG(下)

 这一切看起来都非常美妙，但是如果是下面这个例子，会发生什么情况呢？

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之前。因为它们之间不存在什么倚赖关系，先声明任何一个都是没有关系的。

                                                                                                       （完）