[TOC]
首先明确C++中引用或指针的动态类型(dynamic type)与静态类型(static type)是C++支持多态性(polymorphism)的根本所在。
首先说明四个概念:
- 静态类型:对象声明时采用的类型,一旦确定就无法更改,编译期已经确定
- 动态类型:通常是指一个指针或引用在调用时所指向的类型,可以理解为赋值号右侧对象的类型(当然采用直接赋值就是括号中的对象的类型),可以在运行时更改,在运行期决定
- 静态绑定(static binding):又名前期绑定(early binding),绑定的是对象的静态类型,发生在编译期,即程序编译完成后就已经确定
- 动态绑定(dynamic binding):又名后期绑定(late binding),绑定的是对象的动态类型,发生在运行期,即在运行期由当前的动态类型决定所需要调用的函数或属性 可以简单理解为,通常我们定义的非虚函数都是静态绑定,即静态类型与动态类型都指同一种类型,在编译期就已经确定,那么运行时调用的函数也就是相应类型对象的函数。而虚函数可以发生动态绑定,即在运行时,根据指针或引用所指对象的类型来决定调用相应的虚函数。如当定义父类的指针,指向派生类的对象时,该指针的动态类型与静态类型就不一致,动态类型即派生类,静态类型为父类,那么在使用此指针在运行时调用虚函数时会首先调用动态类型对象(即派生类对象)的虚函数,如果动态类型中没有重写(override)该虚函数,则调用的还是基类中的虚函数
下面我们看一段代码,请认真阅读每一句注释:
#include <iostream>