问题抛出:
1、在编译此函数的时,编译器不可能知道指针 p 究竟指向了什么。
2、编译器没有理由报错。
3、于是,编译器认为最安全的做法是编译到父类的print函数,因为父类和子类肯定都有相同的print函数。
#include <iostream> using namespace std; class parent { public: virtual void print() // void print() { cout << "我是基类。。。" << endl; } }; class child:public parent { public: void print() { cout << "我是子类" << endl; } }; void play(parent *p) { p->print(); } int main() { /* parent *p; child *c; p->print(); c->print(); */ parent p1; child c1; p1.print(); c1.print(); // play(p); // play(c); play(&p1); play(&c1); return 0; }
通过测试发现,面向对象新需求,编译器的做法不是我们期望的,应该根据实际的对象类型来判断重写函数的调用
考虑到如果父类指针指向的是父类对象则调用父类中定义的函数,如果父类指针指向的是子类对象则调用子类中定义的重写函数,怎么办呢?那就需要引入多态来解决
如何实现多态:
1)通过virtual关键字对多态进行支持(使用virtual声明的函数被重写后即可展现多态特性)。
2)一般在父类的函数前面加virtual,在子类里边可写可不写(建议一般写)
class Parent { public: virtual void print() { cout << "我是基类。。。" << endl; } }; class Child:public Parent { public: void print() { cout << "我是子类" << endl; } };
多态的理解:
1)多态的实现效果:同样的调用语句有多种不同的表现形态。
2)多态实现的三个条件:有继承、有virtual重写、有父类指针(引用)指向子类对象。
3)多态的C++实现: virtual关键字,告诉编译器这个函数要支持多态;不是根据指针类型判断如何调用;而是要根据指针所指向的实际对象类型来判断如何调用。
4)多态的理论基础: 动态联编PK静态联编。根据实际的对象类型来判断重写函数的调用。
5)多态的重要意义:设计模式的基础 是框架的基石。
6)实现多态的理论基础:函数指针做函数参数,C函数指针是C++至高无上的荣耀。C函数指针一般有两种用法(正、反)。
多态的理论基础:
静态联编和动态联编
1)联编是指一个程序模块、代码之间互相关联的过程。
2)静态联编(static binding),是程序的匹配、连接在编译阶段实现,也称为早期匹配。重载函数使用静态联编。
3、动态联编是指程序联编推迟到运行时进行,所以又称为晚期联编(迟绑定)。switch 语句和 if 语句是动态联编的例子。
4、理论联系实际
(1)C++与C相同,是静态编译型语言
(2)在编译时,编译器自动根据指针的类型判断指向的是一个什么样的对象;所以编译器认为父类指针指向的是父类对象。
(3)由于程序没有运行,所以不可能知道父类指针指向的具体是父类对象还是子类对象,从程序安全的角度,编译器假设父类指针只指向父类对象,因此编译的结果为调用父类的成员函数。这种特性就是静态联编。