这一切看起来都非常美妙，但是如果是下面这个例子，会发生什么情况呢？
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之前。因为它们之间不存在什么倚赖关系，先声明任何一个都是没有关系的。
（完）
