——方法的行为应取决于调用该方法的对象。这种较复杂的行为称为多态——具有多种形态,即同一个方法的行为随上下文而异。
virtual实现了对象调用正确的方法或方法序列。
实现多态的两种机制:
- 在派生类中重新定义基类的方法(不会改变基类的方法)。
- 使用虚方法。
声明函数时若使用关键字virtual,则这些方法被称为虚方法。
- 方法在基类中被声明为虚的后,它在派生类中将自动成为虚方法。然而,在派生类声明中使用关键字virtual来指出哪些函数是虚函数也是一个好办法。
class Brass {
private: ...
public:
...
virtual void ViewAcct() const;
virtual ~Brass(){} }
class BrassPlus : public Brass { private:
...
public:
...
virtual void ViewAcct() const;
virtual ~Brass(){} }
基类声明了一个虚构函数,是为了确保释放派生对象时,按正确的顺序调用析构函数(后面见虚函数作用)。
Brass dom("Dominic Banker", 11224, 4183.45); BrassPlus dot("Dorothy Banker", 12118, 2592.00); dom.ViewAcct(); // use Brass::ViewAcct() dot.ViewAcct(); // use BrassPlus::ViewAcct()
两个ViewAcct()原型表明将有2个独立的方法定义。基类版本的限定名为Brass::ViewAcct(),派生类版本的限定名为BrassPlus::ViewAcct()。
通过引用或指针而不是对象调用方法:
如果没有使用关键字virtual,程序将根据引用类型或指针类型选择方法:
// behavior with non-virtual ViewAcct() // method chosen according to reference type Brass &b1_ref = dom; Bross &b2_ref = dot; b1_ref.ViewAcct(); // use Brass::ViewAcct() b2_ref.ViewAcct(); // use Brass::ViewAcct()
如果要在派生类中重新定义基类的方法,通常应将基类方法声明为虚的。这样,程序将根据对象类型而不是引用或指针的类型来选择方法版本。为基类声明一个虚析构函数也是一种惯例,使用虚析构函数可以确保正确的析构函数序列被调用(即从派生类对象到基类对象一次调用它们的析构函数)。
调用基类方法:在派生类方法中,标准技术是使用作用域解析运算符来调用基类方法:
Brass::ViewAcct(); // display base portion
----