本文是《深度探索C++对象模型》的读书笔记，主要探讨C++中的运行时多态性，解释了如何通过基类指针调用派生类的虚函数，以及指针类型和动态类型的区别。指针不改变对象本身，而是影响编译器解释内存内容的方式，从而实现多态。若直接使用对象而非指针调用，将执行基类的函数实现。
1、 C++的运行时多态
因为每个派生类对象中都包含基类部分，所以可将基类类型的引用或者指针绑定到派生类对象中的基类部分，而对象本身并不会改变，仍为派生类对象。
通过该指针或者引用调用虚函数时，编译器将生成代码，在运行时确定调用哪个函数，被调用的是与动态类型相对应的函数，也就是派生类中定义的虚函数实现。
而且，只有通过引用或者指针调用，虚函数才会在运行时确定。如果调用的是非虚函数，则无论实际对象是什么类型，都执行基类类型中定义的函数。
2、 指针的类型
引用和指针的静态类型与动态类型可以不同，这是C++用来支持多态性的基石。
但是不同类型的指针之间到底有什么不同呢？
指向不同类型的各指针，它们之间的差异既不在其指针表示法不同，也不在其内容不同，而是在其所寻址出来的对象类型不同。也就是说，指针类型会指引编译器如何解释某个特定地址中的内存内容及其大小。
而指针本身所需的内存大小是固定的，即等于机器
最低0.47元/天 解锁文章
660
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
