C++ 多态公有继承

0
10

——方法的行为应取决于调用该方法的对象。这种较复杂的行为称为多态——具有多种形态,即同一个方法的行为随上下文而异。

  virtual实现了对象调用正确的方法或方法序列。

  实现多态的两种机制:

  1. 在派生类中重新定义基类的方法(不会改变基类的方法)。
  2. 使用虚方法。

声明函数时若使用关键字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

—-

<

发布回复

请输入评论!
请输入你的名字