虚方法在类继承中的使用

 首先来看一下一个继承

// brass.h -- bank accound classes #ifndef BRASS_H_ #define BRASS_H_ // Brass Account Class class Brass { private: enum { MAX = 35 }; char fullName[MAX]; long acctNum; double balance; public: Brass(const char *s = "NullBody", long an = -1, double bal = 0.0); void Deposit(double amt); virtual void WithDraw(double amt); double Balance() const; virtual void ViewAcct() const; virtual ~Brass() {} }; // Brass Plus Account Class class BrassPlus : public Brass { private: double maxLoan; double rate; double owesBank; public: BrassPlus(const char *s = "NullBody", long an = -1, double bal = 0.0, double m1 = 500, double r = 0.10); BrassPlus(const Brass &ba, double m1 = 500, double r = 0.10); virtual void ViewAcct() const; virtual void WithDraw(double amt); void ResetMax(double m) { maxLoan = m; } void ResetRate(double r) { rate = r; } void ResetOwes() { owesBank = 0; } }; #endif

Brass类在声明ViewAcct()和Withdraw()时使用了virtual，这有什么用呢？

 

如果方法是通过引用或指针而不是对象调用的，它将确定使用哪一种方法，我们知道在类的继承中，基类指针可以在不进行显式类型转换情况下指向派生类对象；基类引用可以在不进行显式类型转换的情况引用派生类对象。如果没有使用virtual关键字，程序将根据引用类型或指针类型选择方法；如果使用了virtual，程序将根据引用或指针指向的对象的类型来选择方法。如果ViewAcct不是虚拟的，则程序的行为如下：// behavior with non-virtual ViewAcct() // method chosen according to reference type Brass dom("Dominic Banker", 11224, 4183.5); BrassPlus dot("Dorothy Banker", 12118, 2529.00); Brass &b1_ref = dom; Brass &b2_ref = dot; b1_ref.ViewAcct(); // use Brass::ViewAcct() b2_ref.ViewAcct(); // use Brass::ViewAcct()

引用变量类型为：Brass，所以选择了Brass::ViewAccount()。使用Brass指针代替引用时，行为与之类似。

 

如果ViewAcct()是虚拟的，则行为如下：

// behavior with virtual ViewAcct() // method chosen according to object type Brass dom("Dominic Banker", 11224, 4183.45); BrassPlus dot("Dorothy Banker", 12118, 2592.00); Brass &b1_ref = dom; Brass &b2_ref = dot; b1_ref.ViewAcct(); // use Brass::ViewAcct() b2_ref.ViewAcct(); // use BrassPlus::ViewAcct()

 

这里两个引用的类型都是Brass，但b2_ref引用的是一个BrassPlus对象，所以使用的是BrassPlus::ViewAcct()。使用Brass指针代替引用时，行为将类似。

 

方法在基类中被声明为虚拟的后，它在派生类中将自动成为虚方法。不过，在派生类声明中使用关键字virtual来指明哪些函数是虚函数也不失为一个好方法。

 

基类声明了一个虚拟析构函数。这样做是为了确保释放派生对象时，按正确的顺序调用析构函数。