缺省情况下C++以by value方式(一个继承自c的方式)传递给对象至函数。除非你另外指定,否则函数都是以实际实参的复件为初值,而调用端获得的亦是函数返回值的一个复件。这些复件有对象的copy构造函数产出,这可能使得pass-by-value成为费时的操作。
class Person{
public:
Person();
virtual ~Person();
...
private:
std::string name;
std::string address;
};
Class Student: public Person {
public:
student();
~student();
...
private:
std::string schoolName;
std::string schoolAddress;
};
现在考虑以下代码,其中调用函数validateStudent,后者需要一个Student实参(by value)并返回它是否有效:
bool validateStudent(Student s); //函数以by valued的方式传递
Student plato;
bool platoIsOK = validateStudent(plato);
上述函数调用时,一次Student 的copy构造函数会调用,在加上一次Student的析构函数会调用。这还不是全部,Student对象有两个string对象,所以每次构造也构造了两个string对象。此外Student继承自Person对象,所以每次构造Student对象也必须构造一个Person对象。
虽然这是正确的行为,但是我们还是希望能回避所有的构造和析构动作。
bool validateStudent(const Student& s);
这种传递方式效率就高得多,没有任何的构造函数和析构函数被调用,因为没有任何的对象被创建。将其声明为const说明函数的调用不会对传入的student做任何改变。
以by reference方式传递参数也可以避免slicing(对象切割)问题。当一个derived class对象以by value传递并被视为一个base class对象,base class的copy构造函数会被调用,而“造成此对象的行为像个derived class"对象的那些特化性质全被切割掉了,仅仅留下一个base class对象。
class Window {
public:
...
std::string name() const; //返回窗口名字
virtual void display() const; //显示窗口和其内容
};
class WindowWithScrolBars:public Window {
public:
...
virtual void display() const;
};
所有Window对象都带有一个名称,你可以通过name函数取得它。所有窗口都可以显示,你可以通过display函数完成它。display是个virtual函数,这意味着base class Window对象的显示方式可以由WindowWithScrolBars更加华丽的显示。
现在假如你希望写个函数打印窗口名称,然后显示该窗口:
void printNameAndDisplay(Window w) //不正确,参数可能被切割
{
std::cout << w.name;
w.display();
}
当你调用上述函数并把它交给一个 WindowWithScrolBars对象时:
WindowWithScrolBars wwsb;
printNameAndDisplay(wwsb);
参数w会被构造成一个Window对象;它是passed by value。解决切割问题的办法,就是一by reference-to-const的方式传递w:
void printNameAndDisplay(const Window& w) //不正确,参数可能被切割
{
std::cout << w.name;
w.display();
}
现在,传进来的窗口是什么类型,w就表现出那种类型。
但是,如果你有个对象属于内置类型,pass by value往往比pass by reference效率高些,因为reference往往是以指针实现出来。这个忠告也适用于STL的迭代器和函数对象,因为习惯上它们被设计为pass by value。
结论:
尽量以pass-by-reference-to-const替换pass-by-value。前者通常比较高效,并可以避免切割问题。
以上规则并不适用于内置类型,以及STL的迭代器和函数对象。对他们而言,pass-by-value往往比较合适。