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

本文探讨了C++中临时对象被引用时的行为差异及潜在的Bug,特别是在编译器的Debug模式下。通过具体代码示例展示了如何避免由临时对象引起的程序崩溃。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

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

 这一切看起来都非常美妙,但是如果是下面这个例子,会发生什么情况呢?XML:namespace prefix = o ns = "urn:schemas-microsoft-com:Office:office" />

MyClass &mc = foo();

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

The bug

我猜我只能说仅仅当编译器恰当的实现了C++标准,这个引用才可能是有效的。Eugene Gershnik将Listing 2所列的代码发送给了我,它有一个叫foo的函数,返回了一个std::vector类型的临时对象,并且这个对象被赋值给了一个引用,当这段程序在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, which is then bound

// to a reference of type const std::vector&.

// 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

#include

std::vector foo()

{

std::vector ret(20);

return ret;

}

int main()

{

const std::vector &bar = foo();

int m[80]={0};

std::printf("%d ", 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 bar;

std::swap(bar,foo());

int m[80]={0};

std::printf(%d , bar[0]);

return 0;

  —Jeff Peil

虽然性能上有一点点损失,但Jeff的代码工作的很好。交换这两个Vector的内容粗看起来是一个代价昂贵的操作,但实际上所有的交换工作就是交换两个数组中很少的内部变量,这其中并不涉及到缓冲区的拷贝,因此交换将在常量时间内完成。

当然如果你想简单的解决这个问题,可以将表达式“int m[80]= {0};”移动到声明变量bar之前。因为它们之间不存在什么倚赖关系,先声明任何一个都是没有关系的。

   (完)


来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/10752043/viewspace-956682/,如需转载,请注明出处,否则将追究法律责任。

转载于:http://blog.itpub.net/10752043/viewspace-956682/

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值