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

类别:VC语言 点击:0 评论:0 推荐:

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

MyClass &mc = foo();

现在将不是将临时对象拷贝到新的对象上面,我仅仅是将它赋值给一个引用,(请注意,这和最开始那个例子有一点区别,在第一个例子里面,我将一个局部变量的引用做为了函数返回值,而在这个例子里,我是将一个函数返回的临时变量的引用赋值给一个变量)。那么,现在将会发生什么情况呢?临时对象将在什么时候被销毁呢?如果它还是在表达式执行的执行结束的时候被销毁,就如同上面那个例子一样,这段代码将因为一个指向不存在的对象的应用而彻底完蛋。但是,请注意,C++标准同意对这种情况提出一种不同寻常的解决办法:如果一个临时对象被赋值给一个引用,这个临时对象在这个引用的生命周期中将不能被销毁。换句话说,不同于返回一个局部变量的引用,将一个引用绑定到一个临时对象上是完全合法的,任何时候使用这个引用,这个对象都应该是有效的。

The BUG

我猜我只能说仅仅当编译器恰当的实现了C++标准,这个引用才可能是有效的。Eugene Gershnik将Listing 2所列的代码发送给了我,它有一个叫foo的函数,返回了一个std::vector<char>类型的临时对象,并且这个对象被赋值给了一个引用,当这段程序在VC7的Release模式下编译并运行时并没有问题,但是当它在Debug模式下运行时,我得到了这样一个错误:

The instruction at 0x004121b5referenced 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