静态绑定(早绑定)、动态绑定(晚绑定)
什么是绑定?绑定就是将函数体与函数调用之间关联起来。
静态绑定就是早绑定,静态绑定是指在编译阶段,就将函数体与函数调用之间关联起来。
动态绑定就是晚绑定,动态绑定是指在程序运行阶段,才将函数体与函数调用之间关联起来。在c++中能实现动态绑定的机制就是虚函数(也可以用函数指针来实现,其实虚函数的底层就是一个函数指针,但是函数指针更为常见),虚函数才会实现动态绑定。
静多态
主要通过函数重载、泛型编程来实现的。比如说,相同的函数名,可以通过不同的形参,重载出不同的函数,这就体现出了多态性。但是这里的多态是在编译阶段完成的,也就是说编译器会将函数绑定到唯一确定的形式上去,这就静多态。个人的理解,静多态其实是给人看的,当程序运行时,所有的函数都是唯一确定,对于程序来说并不存在多态性。
动多态
这个概念就比较复杂啦。动多态是通过虚函数和类的继承来实现的。具体的表现是,当程序运行到这一句的时候,才知道要运行哪个函数,也可以说函数的绑定是动态的。
虚函数
虚函数是理解动多态的关键,请看我的另一篇博客:https://blog.csdn.net/shaochuang1/article/details/99072309
如果看了我的另一篇博客,应该会对虚函数、虚指针、虚表有了一定的了解。
这里我们需要在时间维度上了解一下这些概念,虚表是基于类的,也就是