当一个子类对象以传值的方式传递并被视为一个基类对象,基类的copy构造函数会被调用,而造成“此对象的行为像个子类对象”的那些性质被完全切割掉,仅留下一个基类对象。
例如:
class Window{
public:
std::string name() const;
virtual void display() const;
};
class WindowWithScrollBars :public Window{
public:
virtual void display() const;
};
现在假设你希望写个函数打印窗口名称,然后显示该窗口。下面是错误示范:
void printNameAndDisplay(Window w)
{
std::cout << w.name();
w.display();
}
当你调用上述函数并交给它一个WindowWitnScrollBars对像,会发生什么?
WindowWithScrollBars wwsb;
printNameAndDisplay(wwsb);
参数w会被构造成一个window对像,而造成wwsb“是个WindowWitnScrollBars对象”的那些信息会被切除。在printNameAndDisplay内不论传递过来的对象原型是什么类型,参数w就像一个Window对象。因此在printNameAndDisplay内调用display调用的总是Window::display,绝不是WindowWithScrollBars::display。
解决切割问题的办法,就是以(常量)引用的方式传递w:
void printNameAndDisplay(const Window& w)
{
std::cout << w.name();
w.display();
}
现在,传进来的窗口是什么类型,w就表现为那种类型。
(来自Effective C++)