多态的概念
多态是指在同样的消息在被不同类型的对象接收时导致不同的行为。这里的消息是指对类的成员函数的调用,不同的行为是指不同的实现,也就是调用了不同的函数。
简单的例子就是运算符,比如运算符的"+",可以实现整型与整型、浮点与浮点之间的加法。如果是不同类型的变量相加,比如整型和浮点,就先将整型转为浮点在相加。
多态的类型
面向对象的多态性可以分为四类:重载多态、强制多态、包含多态、参数多态。前两种统称为专用多态,后两种统称为通用多态。
①重载多态:包含普通函数的重载、类的成员函数的重载、运算符的重载。
②强制多态:就是将对象进行强制转换,用来满足函数或者操作符的类型。
③包含多态:定义不同类中,同名函数的不同行为,主要通过虚函数来实现。
④参数多态:采用参数化模板,通过给出不同的类型参数,使得一个结构有多种类型。
多态的实现
从实现的角度来说,多态分为两类,编译时的多态和运行时的多态。
前者在编译时的多态在编译的过程中确定了同名操作的具体操作对象,后者则是在程序运行中才能动态确定操作所针对的具体对象。
确定操作的具体对象的过程叫做绑定。
其实绑定就是将一条消息和一个对象的方法相结合的过程
对应的,在编译链接阶段完成的叫做静态绑定,在程序运行阶段完成的叫做动态绑定。对应多态的两类实现方式。