c语言中,什么都是通过传值来实现的,c++继承了这一传统并将它作为默认方式。除非明确指定,函数的形参总是通过“实参的拷贝”来初始化的,函数的调用者得到的也是函数返回值的拷贝。
而传值往往是通过对象拷贝构造函数实现的,这使得传值的代价非常昂贵。书上所举的例子就有12个构造函数和12个析构函数。
为了避免昂贵的代价,就要用传递引用代替传递值。
通过引用来传递参数还有另外一个优点:它避免了所谓的“切割问题(slicing problem)”。当一个派生类的对象作为基类对象被传递时,它(派生类对象)的作为派生类所具有的行为特性会被“切割”掉,从而变成了一个简单的基类对象。这往往不是你所想要的。
例如,假设设计这么一套实现图形窗口系统的类:
#include
using namespace std;
class window
{
public:
string name() const; // 返回窗口名
virtual void display() const // 绘制窗口内容
{
}
} ;
class windowwithscrollbars: public window
{
public:
virtual void display() const
{
}
};
void printnameanddisplay( window w)
{
// cout<
<
w.display();
}
int main()
{
windowwithscrollbars wwsb;
printnameanddisplay(wwsb);
}
printnameanddisplay函数调用的是父类的display。如果把printnameanddisplay的参数改为(const window &w)调用的是子类的printnameanddisplay()。
在内部很小的对象类型如int,可能传值代价很小,这时可用传值,而如果对象类型较大时,引用可以显著降低你的系统开销。