默认情况下,c++以by value方式传递对象(函数参数、返回值),这些副本是由对象的copy构造函数产出。
传值有两个问题:
a.效率低下。
b.可能产生对象切割(slicing)问题
class Base
{
public:
virtual void test() const
{
cout << "base.test()" << endl;
}
};
class Derive : public Base
{
public:
virtual void test() const override
{
cout << "Derive.test()" << endl;
}
};
void show1(Base b)
{
b.test();
};
void show2(const Base& b)
{
b.test();
};
int main()
{
show1(Derive{}); // 输出 base.test()
show2(Derive{}); // 输出 Derive.test()
return 0;
}
上面这段代码,show1函数中,即使你传给他一个子类,他调用的还是父类的test虚函数,也就是子类的信息被切割了。
出现这个问题的原因是,show1的参数是由Base类的复制构造函数(以Derive{}为参数)创建,说到底他只是Base的一个对象。这通常不是我们在实际项目中希望发生的事情。
这与delphi不同,delphi的对象本身就是指针,不存在by value传递的问题,也就是不会有对象被切割的问题。
补充:
我记得好像google的c++编程规范里要求,如果是以引用&传参,那么必须加上const,如果希望在函数中修改参数的值,那么请把参数修改为指针*而不是使用引用&(待验证)
总结:
a.尽量以pass-by-reference-to-const替换pass-by-value。前者通常比较高效,并可避免切割问题。
b.以上规则并不适用于内置类型,以及stl的迭代器和函数对象,对他们而言,pass-by-value往往比较适当。