【十四】继承与多态（上）

1、函数重写

  上一篇文章中说到，当子类定义一个与父类同名的成员变量时，父类的该成员变量依然会被继承到子类，它们两者可通过作用域限定符来区分，那么，如果子类中定义了和父类相同类型且同名的函数又会怎样呢？

这就是函数重写！

• 在子类中定义与父类中原型相同的函数
• 函数重写只发生在父类与子类之间

示例：

#include <cstdlib>#include <iostream>using namespace std;class Parent{public:    void print()    {        cout<<"I'm Parent..."<<endl;    }};class Child : public Parent{public:    void print()        //子类中的函数与父类函数相同    {        cout<<"I'm Child..."<<endl;    }};int main(int argc, char *argv[]){    Child child;    child.print();    //通过作用域限定符调用父类函数    child.Parent::print();    cout << "Press the enter key to continue ...";    cin.get();    return EXIT_SUCCESS;}

Tip：

• 父类中被重写的函数依然会继承给子类
• 默认情况下子类中重写的函数将隐藏父类中的函数
• 通过作用域分辨符::可以访问到父类中被隐藏的函数

当函数重写遇上赋值兼容性原则

思考：

  下面的程序输出什么？

将上述程序的主函数做如下的更改：

int main(int argc, char *argv[]){    Child child;    Parent *pp = &child;    Parent &rp = child;    //下面一次会输出什么？    child.print();    pp->print();    rp.print();    cout << "Press the enter key to continue ...";    cin.get();    return EXIT_SUCCESS;}

运行结果：

结果分析：

• C++与C相同，是静态编译型语言
• 在编译时，编译器自动根据指针的类型判断指向的是一个什么样的对象
• 所以编译器认为父类指针指向的是父类对象（根据赋值兼容性原则，这个假设合理）
• 由于程序没有运行，所以不可能知道父类指针指向的具体是父类对象还是子类对象
• 从程序安全的角度，编译器假设父类指针只指向父类对象，因此编译的结果为调用父类的成员函数

举例来说，假如有如下函数：

void howtoprint(Parent *p){  p->print();}

在编译这个函数的时候，编译器不可能知道指针 p 究竟指向了什么。但是编译器没有理由报错。于是，编译器认为最安全的做法是编译到父类的print函数，因为父类和子类肯定都有相同的print函数。

但是，编译器的这个默认做法是我们想要的么？？

2、引入多态

多态特性，是面向对象的新需求

• 根据实际的对象类型来判断重写函数的调用
• 如果父类指针指向的是父类对象则调用父类中定义的函数
• 如果父类指针指向的是子类对象则调用子类中定义的重写函数

总之，多态就是：

  同样的调用语句有多种不同的表现形态！

3、多态的本质

C++中的多态支持

• C++中通过virtual关键字对多态进行支持
• 使用virtual声明的函数被重写后即可展现多态特性
• virtual关键字可被子类继承，因此子类重写父类的虚函数时不必显式声明virtual关键字

这也就是C++中的虚函数！

示例：

#include <cstdlib>#include <iostream>using namespace std;class Parent{public:    virtual void print()    //父类中的虚函数    {        cout<<"I'm Parent..."<<endl;    }};class Child : public Parent{public://子类中重写父类中的虚函数,同时，因为父类中该函数为虚函数，所以//子类中该函数自动为虚函数，继承了virtual特性，所以不用显示声明virtual了    void print()            {        cout<<"I'm Child..."<<endl;    }};void howtoprint(Parent *p, Parent &rp){    //下面一次会输出什么？    p->print();    rp.print();}int main(int argc, char *argv[]){    Child child;    Parent parent;    howtoprint(&child,child);    howtoprint(&parent,parent);    cout << "Press the enter key to continue ...";    cin.get();    return EXIT_SUCCESS;}

运行结果：