java中的多态

java中的三种多态

1. 方法重载（Ad hoc polymorphism）

2. 泛型编程（Parametric polymorphism）

3. 子类型（Subtyping）

1 .方法重载（Ad hoc polymorphism）

在Java中，同一个类中的多个方法可以有相同的方法名称，但是有不同的参数列表，这就称为方法重载（method overloading）。

参数列表又叫参数签名，包括参数的类型、参数的个数、参数的顺序，只要有一个不同就叫做参数列表不同。

重载是面向对象的一个基本特性。

public class Demo {

	//一个普通得方法，不带参数，无返回值
	public void add(){
		//method body
	}
	
	//重载上面的方法，并且带了一个整形参数，无返回值
	public void add(int a){
		//method body
	}
	
        //重载上面的方法，并且带了两个整型参数，返回值为int型
	public int add(int a,int b){
		//method body
		return 0;
	}
}

通过上面的例子，不难看出，重载就是在一个类中，有相同的函数名称，但形参不同的函。重载的结果，可以让一个程序段尽量减少代码和方法的种类。

说明：

参数列表不同包括：个数不同、顺序不同、类型不同。
仅仅参数变量名称不同是不可以的。
跟成员方法一样，构造方法也可以重载。
声明为final的方法不能被重载。
声明为static的方法不能被重载，但是能够被在此声明。
方法的重载的规则：
方法名称必须相同。
参数列表必须不同。
方法的返回类型可以相同也可以不相同。
仅仅返回类型不同不足以称为方法的重载。
方法重载的实现：
方法名称相同时，编译器会根据调用方法的参数个数、参数类型等去逐个匹配，以选择对应的方法，如果匹配失败，则编译器报错，这叫做重载分辨。

2. 泛型编程（Parametric polymorphism）

1、Java泛型

其实Java的泛型就是创建一个用类型作为参数的类。就象我们写类的方法一样，方法是这样的method(String str1,String str2 ),方法中参数str1、str2的值是可变的。而泛型也是一样的，这样写class Java_Generics＜K,V＞，这里边的K和V就象方法中的参数str1和str2,也是可变。下面看看例子：

//code list 1
import Java.util.Hashtable;
class TestGen0＜K,V＞{
　public Hashtable＜K,V＞ h=new Hashtable＜K,V＞();
　public void put(K k, V v) {
　　h.put(k,v);
　}
　public V get(K k) {
　　return h.get(k);
　}
　public static void main(String args[]){
　　TestGen0＜String,String＞ t=new TestGen0＜String,String＞();
　　t.put("key", "value");
　　String s=t.get("key");
　　System.out.println(s);
　}
}

正确输出:value

这只是个例子（Java中集合框架都泛型化了，这里费了2遍事.），不过看看是不是创建一个用类型作为参数的类，参数是K，V，传入的“值”是String类型。这个类他没有特定的待处理型别，以前我们定义好了一个类，在输入输入参数有所固定，是什么型别的有要求，但是现在编写程序，完全可以不制定参数的类型，具体用的时候来确定，增加了程序的通用性，像是一个模板。

呵呵，类似C++的模板（类似）。

1.1. 泛型通配符

下面我们先看看这些程序：

//Code list 2
void TestGen0Medthod1(List l) {
　for (Object o : l)
　　System.out.println(o);
}

看看这个方法有没有异议，这个方法会通过编译的，假如你传入String，就是这样List＜String＞。

接着我们调用它,问题就出现了，我们将一个List＜String＞当作List传给了方法，JVM会给我们一个警告，说这个破坏了类型安全，因为从List中返回的都是Object类型的，而让我们再看看下面的方法。

//Code list 3
void TestGen0Medthod1(List＜String＞ l) {
　for (Object o : l)
　　System.out.println(o);
}

因为这里的List＜String＞不是List＜Object＞的子类,不是String与Object的关系，就是说List＜String＞不隶属于list＜Object＞,他们不是继承关系，所以是不行的，这里的extends是表示限制的。

类型通配符是很神奇的，List＜?＞这个你能为他做什么呢?怎么都是“？”，它似乎不确定，他总不能返回一个？作为类型的数据吧，是啊他是不会返回一个“？”来问程序员的？JVM会做简单的思考的，看看代码吧，更直观些。

//code list 4
List＜String＞ l1 = new ArrayList＜String＞();
li.add(“String”);
List＜?＞ l2 = l1;
System.out.println(l1.get(0));

这段代码没问题的，l1.get(0)将返回一个Object。

1.2. 编写泛型类要注意：

1) 在定义一个泛型类的时候，在 “＜＞”之间定义形式类型参数，例如：“class TestGen＜K,V＞”，其中“K” , “V”不代表值，而是表示类型。

2) 实例化泛型对象的时候，一定要在类名后面指定类型参数的值（类型），一共要有两次书写。例如：

TestGen＜String,String＞ t=new TestGen＜String,String＞()；

3) 泛型中＜K extends Object＞,extends并不代表继承，它是类型范围限制。

2、泛型与数据类型转换

2.1. 消除类型转换

上面的例子大家看到什么了，数据类型转换的代码不见了。在以前我们经常要书写以下代码，如：

//code list 5
import Java.util.Hashtable;
class Test {
　public static void main(String[] args) {
　　Hashtable h = new Hashtable();
　　h.put("key", "value");
　　String s = (String)h.get("key");
　　System.out.println(s);
　}
}

这个我们做了类型转换，是不是感觉很烦的，并且强制类型转换会带来潜在的危险，系统可能会抛一个ClassCastException异常信息。在JDK5.0中我们完全可以这么做，如：

//code list 6
import Java.util.Hashtable;
class Test {
　public static void main(String[] args) {
　　Hashtable＜String,Integer＞ h = new Hashtable＜String,Integer＞ ();
　　h.put("key", new Integer(123));
　　int s = h.get("key").intValue();
　　System.out.println(s);
　}
}

这里我们使用泛化版本的HashMap,这样就不用我们来编写类型转换的代码了，类型转换的过程交给编译器来处理，是不是很方便，而且很安全。上面是String映射到String，也可以将Integer映射为String，只要写成HashTable＜Integer,String＞ h=new HashTable＜Integer,String＞();h.get(new Integer(0))返回value。果然很方便。

2.2 自动解包装与自动包装的功能

从上面有没有看到有点别扭啊，h.get(new Integer(123))这里的new Integer(123);好烦的，在JDK5.0之前我们只能忍着了，现在这种问题已经解决了，请看下面这个方法。我们传入一个int这一基本型别，然后再将i的值直接添加到List中，其实List是不能储存基本型别的，List中应该存储对象，这里编译器将int包装成Integer，然后添加到List中去。接着我们用List.get(0);来检索数据，并返回对象再将对象解包装成int。恩，JDK5.0给我们带来更多方便与安全。

//Code list 7
public void autoBoxingUnboxing(int i) {
　ArrayList＜Integer＞ L= new ArrayList＜Integer＞();
　L.add(i);
　int a = L.get(0);
　System.out.println("The value of i is " + a);
}

2.3 限制泛型中类型参数的范围

也许你已经发现在code list 1中的TestGen＜K,V＞这个泛型类,其中K,V可以是任意的型别。也许你有时候呢想限定一下K和V当然范围，怎么做呢？看看如下的代码：

//Code list 8
class TestGen2＜K extents String,V extends Number＞
{
　private V v=null;
　private K k=null;
　public void setV(V v){
　　this.v=v;
　}
　public V getV(){
　　return this.v;
　}
　public void setK(K k){
　　this.k=k;
　}
　public V getK(){
　　return this.k;
　}
　public static void main(String[] args)
　{
　　TestGen2＜String,Integer＞ t2=new TestGen2＜String,Integer＞();
　　t2.setK(new String("String"));
　　t2.setV(new Integer(123));
　　System.out.println(t2.getK());
　　System.out.println(t2.getV());
　}
}

上边K的范围是＜=String ，V的范围是＜=Number，注意是“＜=”,对于K可以是String的，V当然也可以是Number，也可以是Integer,Float,Double,Byte等。看看下图也许能直观些请看上图A是上图类中的基类，A1，A2分别是A的子类，A2有2个子类分别是A2_1，A2_2。

然后我们定义一个受限的泛型类class MyGen＜E extends A2＞,这个泛型的范围就是上图中兰色部分。

这个是单一的限制，你也可以对型别多重限制，如下：

class C＜T extends Comparable＜? super T＞ & Serializable＞

我们来分析以下这句，T extends Comparable这个是对上限的限制，Comparable＜ super T＞这个是下限的限制，Serializable是第2个上限。一个指定的类型参数可以具有一个或多个上限。具有多重限制的类型参数可以用于访问它的每个限制的方法和域。

2.4. 多态方法

//Code list 9
class TestGen {
　＜T extends Object＞ public static List＜T＞ make(T first) {
　　return new List＜T＞(first);
　}
}

3. 子类型（Subtyping）

Let q(x) be a property provable about objects x of type T. Then q(y)
should be provable for objects y of type S where S is a subtype of T.
——Barbara Liskov

S是T的子类型，对于T类型的对象x和S类型的对象y，q（x）是可证明的性质，q（x）也应该是可证明的。
LSP 里氏代换原则：子类型必须能够替换它们的基类型。
这要求：子类型要具有相同或更强的不变性，对所有方法相同或更强的后置条件以及相同或更弱的前置条件。
最经典的例子就是矩形和正方形了，数学中认为长和宽相等的矩形为正方形，当设计矩形类和正方形类时，会自然而然的将正方形类作为矩形的子类设计，这时便会出现一些问题。
正方形类的不变性要求长和宽相等且大于0，矩形要求大于0，不变性上满足，但在矩形类中添加方法：void setWide（int new）只修改宽，对于正方形来说要求必须要同时修改长和宽，也就意味着不能用正方形类替换矩形类，违反了里氏代换原则。
修改后的设计思想应该是矩形类和正方形类作为形状类的子类来表示即可。