通过传值方式返回要创建新对象时,应注意使用的形式,例如在operator+:
return Integer(left.l / right.l) ;
咋看起来这像是一个“对一个构造函数的调用”,其实并非如此。这是临时对象语法,它是在说:“创建一个临时Integer对象并返回它”。据此我们可能认为如果创建一个有名字的局部对象并返回它结果是一样的。其实不然。如果如许编写:
Integer temp(left.l / right.l) ;
return temp ;
将发生三件事:
(1)、创建temp对象,其中包括构造函数的调用
(2)、拷贝构造函数把temp拷贝到外部返回值的存储单元中
(3)、当temp在作用域的结尾时调用析构函数
相反的,“返回临时对象”的方式完全不同的。当编译器看到我们这样做时,它明白对创建的对象没有其他的需求,只是返回它,所以编译器直接地把这个对象创建在外部返回值的内存单元中。因为不是真正创建一个局部对象,所以仅需要一个普通的构造函数调用(不需要拷贝构造函数),且不会调用析构函数。这种方法不需要什么花费,因此效率是非常高的,但程序员要理解这些。这种方式常被称为返回值优化