多态的补充

概念

多态，指的是不同数据类型的实体提供统一的接口，或使用一个单一的符号来表示多个不同的类型，一般情况下，可以把多态分成：

• 特设多态：为个体的特定类型的任意集合定义一个共同接口
• 参数多态：指定一个或多个类型，不靠名字而是靠可以标识任何类型的抽象符号
• 子类型：一个名字指称很多不同的类的实例，这些类有某个共同的超类

特设多态

特设多态是程序设计语言的一种多态，多态函数有多个不同的实现，依赖于其实参而调用相应版本的函数

函数重载就是特设多态的一种，除此之外还有运算符重载也是特设多态的一种

参数多态

参数多态在程序设计语言与类型论中是指声明与定义函数、复合类型、变量时不指定其具体的类型，而把这部分类型座位参数使用，使得该定义对各种具体类型都适用

参数多态其实也有很广泛的应用，比如java中的泛型就是参数多态的一种，参数多态的另外一个应用比较广泛的地方就是函数式编程

子类型

在面向对象程序设计中，计算机程序运行时，相同的消息可能会送给多个不同的类别的对象，而系统可依据对象所属类别，引发对应类别的方法，而有不同的行为

这种子类型多态其实就是java中常见的多态

java中的多态

java中的多态的概念比较简单，就是同一操作作用于不同的对象，可以有不同的解释，产生不同的执行结果。

java中的多态其实是一种运行期的状态，为了实现运行期的多态，或者说是动态绑定，需要满足三个条件：

• 有类继承或者接口实现
• 子类要重写父类的方法
• 父类的引用指向子类的对象

但是有些时候你用到的对象并不都是自己声明的，比如spring中的IOC产生的对象

静态多态

上面我们说的多态,是一种运行期的概念,另外还有一种说法,就是多态分为动态与静态

• 动态绑定认为是动态多态，因为只有运行期才能知道真正调用的是哪个类的方法
• 一般认为java中的函数重载是一种静态多态，因为他需要在编译器决定具体调用那个方法

重载是一个编译期概念、重写是一个运行期概念