多态
C++ 的多态,大概可分为函数重载和虚函数两类。
先说说函数重载,比较简单,就是函数参数的类型和个数不同罢了,返回值的类型不做讨论,不符合重载的定义。
函数重载是建立在name mangling上的,就是说在编译的时候,编译器会为函数生成独一无二的名字,以区别重载的函数。
我们来看例子
我们用g++ -c test.c 为其生成test.o文件,再来查看它 nm test.o。
我们可以看到重载的两个add()函数,入口标记已然不同了,后面的ii, iii, 表示其参数类型。
再来改一个参数试试?
nm test.o
再来说说多态吧!
什么是多态性?
我们熟知,C++拥有三大特性,即:封装、继承和多态。在我看来,三者任何一个都不能与另外两者割裂而分析,多态也不例外。多态意指“多种状态”,更近一步的讲是“一个接口,多种实现”,然我更喜欢用“龙生九子,各有不同”来形容它。
实现形式?(基类虚函数->子类覆盖->基类指针指向子类对象)
基类内设虚函数(函数前加 virtual 关键字)
子类继承基类,实现自己的同名函数(覆盖掉基类虚函数函数 可以不使用 virtual 关键字)
运行时绑定(动态绑定)
原理?
编译器为每个含有虚函数的类维护有一个虚函数表,而每个对象拥有一个虚指针,指向虚函数表,对象间共有虚表(vtable)。
虚表可继承,子类继承基类虚表后,虚表与父类虚表完全相同(地址不同),只是对象的虚指针指向了本类的虚表。
在 Base *b = new Son(); ①
b->foo(); ②
①构造子类对象时,遇到虚函数,先不绑定(使用虚指针指向本类虚表);
②调用虚函数时,对象就按照虚指针所指寻找要调用函数。