JAVA学习笔记 入门篇----泛型（1）

JAVA学习笔记

泛型

1.泛型实现了参数化类型的概念，意思是“适用于许多许多的类型”， 设计目的是为了类型或方法能够具备最广泛的表达能力。
如何做到这一点呢，正在通过解耦类或方法与所使用的类型之间的约束，在你创建参数化的一个实例时，编译器会为你负责转型操作，并且保证类型的正确性。

2.泛型语法：使用类型参数，用尖括号括住，放在类名的后面，比如：

Public class Holder<T> {}

注意：这里的类型参数名可以不是“T”，可以用其它单个字母来表示，比如K，V，A，B等
使用方法：

Holder <String> h = new Holder<String>();

告诉编译器想使用什么类型，比如String， 然后编译器帮你处理一切细节，一般而言，我们可以认为泛型与其他类型差不多，只不过它们刚好有类型参数罢了。

3.泛型接口： 接口使用泛型与类型使用泛型没什么区别，语法基本是一致的。比如：

Public interface Generator<T> {
	T next();
}

泛型接口实现时必须明确指定类型参数，比如

Public class Fibonacci implements Generator<Integer> {
}

4.泛型约束：基本类型参数无法作为类型参数“T”使用，比如int 类型，必须使用相对应的包装类型Integer， JAVA 5具备了自动打包和拆包的功能，可以方便实现自动转换。

5.泛型方法：可以在类中包含参数化的方法，而这个类可以是泛型类，也可以不是泛型类，即 是否拥有泛型方法与其所在类是否是泛型类没有关系，两者是独立的。

泛型方法使得方法能够独立于类而产生变化
一个基本指导原则：
无论何时，只要你能做到，就应该尽量使用泛型方法，也就是说如果使用泛型方法可以取代整个类泛型化，那么就应该使用泛型方法。

约束： 对一个类中普通的Static的的方法而言，无法访问泛型类的类型参数，如果Static方法需要使用泛型能力，就必须使其成为泛型方法。

泛型方法语法：
将泛型参数列表置于返回值之前，比如：

Public class GenericMethods{
	Public <T> void fun(T x) {
	System.out.println(x.getClass().getName());
	}
}

(1)泛型参数可以是多个，如：

public <T, K, V> void fun(T x, K k, V v) {}
	Public static <K,V> Map<K, V> newMap() {
	     Return new HashMap<K,V>();
}

(2)泛型参数是必选，不管方法是否有返回值，都需要定义泛型参数列表。

6.泛型类与泛型方法的使用区别
使用泛型类时，必须在创建对象的时候参数的值
使用泛型方法时，通常不必指明参数类型，因为编译器会为我们找出具体的类型。这称为“类型参数”推断， 因此我们可以像调用普通方法一样调用泛型方法,如下例

Public class New{
	Public static <K,V> Map<K, V> newMap() {
	     Return new HashMap<K,V>();
	}
}

Map<String, List<String>> sls = New.map(); //通过方法的返回值自动推断出参数类型。

特别注意：类型推断只能赋值有效，其他时候并不起作用，比如你将一个泛型方法的调用结果作为参数，传递给另一个方法，这时编译器并不会执地类型推断，这时编译器认为：调用泛型方法后，其返回值被赋给一个Object类型的变量。比如fun(New.map())，这里会编译失败。

以上限制可以采用显式类型说明来解决，但这种语法很少使用。
***解决方法：***显示的指明类型，必须 在点操作符与方法名间插入尖括号，然后把类型置于尖括号内，
（1）如果是在定义该方法的类内部，必须在点操作符之前使用this关键字；
（2）如果是使用Static的方法，必须在点操作符之前加上类名；

比如： fun(New.<Person, List>map());

7.可变参数与泛型方法
两者可以很好的共存，可变参数列表本质是一个数组。

Public static <T> List<T> makeList( T ...args) {
	List<T> result = new ArrayList<T>();
	For(T item : args)
	  Result.add(item);
	
	Return result;
}

8.一个泛型类实现一个泛型接口的例子

Public class BasicGenerator<T> implements Generator<T> { 
	//上面处的T 可以是泛型参数，也可以具体的对象类型，比如Coffee
	Private Class<T> type; //说明Class类型也支持泛型
	Public BasicGenerator( Class<T> type) {
	This.type = type;
	}

	Public T next() {
		Try {
			Return type.newInstance();
		}catch(Exception e)
			Throw new RuntimeExpception(e);
		}
	}

//普通静态方法无法访问泛型参数，所有必须是Static的泛型方法才行
	Public static <T> Generator<T> create(Class<T> type) {
		Return new BasicGenerator<T> (type);
	}
}