Cpp 对象模型探索 / 多态的本质

普通成员函数的调用方式是直接通过编译期间确定的函数地址来调用。

多态是通过查询对象的虚函数表来获取虚函数的地址。因为像工厂模式这样，并不能在编译期间知道基类指向的是哪个子类，也就导致了不能在编译期间获取到函数的首地址，也就是不能实现动态绑定。

实际上动态绑定的实现原理是，在程序执行的时候，将子类的虚函数表地址赋值给基类对象的虚函数表指针，再通过查询虚函数表的方式获取最新的函数地址，从而完成了动态绑定。

拓展

上述说明的是动态多态。但是也有静态多态的说法，包括函数重载和函数模板，即：在编译期间通过形参类型推断出函数地址的方法。

（SAW：Game Over！）

Cpp 对象模型探索 / 多态的本质相关推荐

Cpp 对象模型探索 / 单一继承的类的内存布局
目录 1.父类和子类都没有虚函数 2.父类有虚函数.子类没有虚函数 3.父类没有虚函数,子类有虚函数 4.父类和子类都有虚函数 5.总结 #include <iostream> class ...
Cpp 对象模型探索 / 含有虚基类的类的内存布局
一.栗子 class Grand { public:int i_grand_ = 8; };class Parent1 : public virtual Grand { public:int i_pa ...
Cpp 对象模型探索 / 系列文章的索引
一.对象普通类对象占用的空间. 子类的内存布局. 编译器为对象创建缺省构造函数的条件. 二.虚函数(完) 对象的虚函数表指针的位置. 继承关系下的虚函数手动调用. 虚函数表和虚函数表指针的创建时机. ...
Cpp 对象模型探索 / delete 运算符内部调用过程分析
一.delete 调用过程 1.测试代码,在 delete 处打下断点. class CTest { public:CTest() {}~CTest() {} };int main() {CTest* ...
Cpp 对象模型探索 / 静态联编和动态联编
一.源码 #include <iostream>class Father { public:Father(){/*** 该处直接将该对象清零,意味着虚函数表指针亦被清零.*/memset( ...
Cpp 对象模型探索 / 继承关系下的虚函数手动调用
一.多态机理 #include <iostream>class Father { public:virtual void Func1(){std::cout << " ...
Cpp 对象模型探索 / 不能被继承的类
两种方法 C++ 11 final 关键字友元类 + 虚继承. 栗子 class A { private:A() {}friend class B; }; class B : virtual pub ...
Cpp 对象模型探索 / 带有虚继承类的构造函数的调用顺序
栗子 #include <iostream> class A { public:A() { std::cout << "A" << std::e ...
Cpp 对象模型探索 / 外部调用私有的虚函数的方法
答案通过虚函数表指针找到虚函数表,再通过虚函数表中的元素,即:函数指针,得到私有函数的首地址. 示例 #include <iostream>class A { private:virtu ...

Cpp 对象模型探索 / 多态的本质

Cpp 对象模型探索 / 多态的本质相关推荐

最新文章

热门文章