JAVA 泛型的一些教程

Java高质量代码系列文章
[color=darkblue][b]泛型与反射[/b][/color] [url]http://ray-yui.iteye.com/blog/1933127[/url]
面向对象篇:[url]http://ray-yui.iteye.com/blog/1926984[/url]
数据类型篇:[url]http://ray-yui.iteye.com/blog/1927251[/url]
字符串篇:[url]http://ray-yui.iteye.com/blog/1927647[/url]
数组与集合(1):[url]http://ray-yui.iteye.com/blog/1928170[/url]
数组与集合(2):[url]http://ray-yui.iteye.com/blog/1930155[/url]
枚举与注解:[url]http://ray-yui.iteye.com/blog/1931408[/url]
泛型与发射:[url]http://ray-yui.iteye.com/blog/1933127[/url]
异常:[url]http://ray-yui.iteye.com/blog/1938946[/url]
杂:[url]http://ray-yui.iteye.com/blog/1942591[/url]


Java泛型拾遗 [url]http://my.oschina.net/scipio/blog/298717[/url]
[color=blue][b]1、泛型编程[/b][/color]

实际使用的类型在代码中只是以参数形式出现的占位符（称为形式类型参数），在具体实例化时，用实际类型替代其中的类型占位符（参数化类型），这种方式被称为泛型编程。

可以阻止向一个集合类的对象中添加不正确类型的对象，也可以提升抽象层度，减少不同类型的重复代码。

public class ObjectHolder<T> {
    private T obj;
    public T getObject() {
        return obj;
    }
    public void setObject(T obj) {
        this.obj = obj;
    }

    public static void main(String[] args){
        ObjectHolder<String> holder = new ObjectHolder<String>();
        holder.setObject("Hello");
        String str = holder.getObject();
    }
}

[color=blue][b]2、参数化类型[/b][/color]

[b]（1）不带通配符的类型[/b]

比如ObjectHolder<String>


[b]（2）带通配符的类型[/b]

有界通配符：T extends Comparable<T> & Serializable，多个用&连接，没有指定上界时默认是Object，没有下界直说。

无界通配符：ObjectHolder<?>


[color=blue][b]3、形式参数类型[/b][/color]

不能用来创建对象和数组、不能作为父类、不能使用instanceof表达式、不能使用其类型字面量、不能出现在异常处理中、不能出现在静态上下文中。

new T()，new T[]，class MyClass extends T，instanceof T，T.class，catch(T)，static T等这些都是不允许的。


[color=blue][b]4、类型擦除[/b][/color]

泛型是在编译器这个层次实现的，在编译过程中会被擦除（包括泛型类型，泛型方法声明时的形式类型参数，以及实际类型参数），字节码不知道泛型，但为了反射API的需要，保留了相关信息，但这些信息在字节码执行时不被使用。

类型擦除后如下：

public class ObjectHolder {
    private Object obj;
    public Object getObject() {
        return obj;
    }
    public void setObject(Object obj) {
        this.obj = obj;
    }
}

同一泛型类型的所有实例化形式在运行时的表示形式是相同的，比如List<String>和List<Integer>对虚拟机来说是相同的，都是List接口，无法通过List<String>.class形式来获取参数化类型的类对象的字面量，只能使用List.class，另外运行时不存在List<String>类型，只有List类型。


[color=blue][b]5、通配符[/b][/color]

通配符的含义是一组类型的集合。用?表示，分有界和无界两种。

无界通配符用?表示，有界通配符如? extends/super

通配符一般做引用类型，比如返回Class<?>

Class<?> clazz = Class.forName(className);

[color=blue][b]6、数组允许协变[/b][/color]

数组是由Java虚拟机根据类型创建出来的，如果一个数组的元素类型是另一个数组元素类型的子类型，则这个数组的类型也是对应数组类型的子类型。

比如String[]是Object[]的子类型。其中的原因是数组的元素类型信息在运行时仍然是被保留的。

变参通过数组传递：

public void varargsMethod(List<String>... values) {
        Object[] array = values;
        List<Integer> list = (List<Integer>) array[0];
        list.add(1);
    }

[color=blue][b]7、类型系统[/b][/color]
ArrayList<Number>是List<Number>的子类型
ArrayList<Number>与ArrayList<Integer>不存在父子类型关系
List<?>是所有List泛型类的实例化形式的父类型，比如List<String>，List<? extends Number>，List<? super Integer>等

? extends Integer 是 ? extends Number的子类型
List<? extends Integer>是List<? extends Number>的子类型
? super Number是? super Integer的子类型
List<? super Number>是List<? super Integer>的子类型
一个泛型的所有实例化形式是其对应的原始类型的子类型，比如List<String>和List<? extends Number>是List的子类型


[color=blue][b]8、覆写和重载[/b][/color]

[b]（1）覆写[/b]

包括方法类型签名（方法名称、参数类型）、返回值类型、异常抛出的类型。
A、要求方法参数类型是相同的或者父类类型擦除之后与子类参数类型是相同的。
B、子类型中的返回值类型必须可以替代父类型中对应方法的返回值类型。
C、子类型的方法声明中不能抛出父类型中对应方法没有声明的受检异常。

[b]（2）重载[/b]
重载只考虑方法的类型签名，不考虑返回值类型和声明的受检异常。


[color=blue][b]9、类型推断和<>操作符[/b][/color]

可以通过两种方式类判断所使用的实际类型：显示指定类型、编译器根据上下文信息进行推断

[b]（1）显示指定类型[/b]

public class TypeInference {
    public <T> T method(T obj) {
        return obj;
    }

    public static void main(String[] args){
        TypeInference typeInference = new TypeInference();
        typeInference.<Serializable>method("Hello");
    }
}

[b]（2）类型推断[/b]
一般不需要显示指定类型，编译器可根据上下文进行推断
A、根据方法调用时的实际参数的静态类型进行推断（优先级较高）
B、当方法调用的结果被赋值给另外一个变量时，可以根据该变量的静态类型进行推断

public class TypeInference {
    public <T> T method(T obj) {
        return obj;
    }

    public static void main(String[] args){
        TypeInference typeInference = new TypeInference();
        //根据参数静态类型推断
        typeInference.method("Hello");
        //通过引用类型进行推断
        List<Integer> list2 = typeInference.createList();
        List<String> list = new ArrayList<>();
    }
}

[color=blue][b]10、泛型与反射API[/b][/color]
JDK5对Java字节码的格式进行了修改，把泛型相关的信息添加到字节码中，不过字节码中的泛型相关内容只是提供相关信息，不会对字节码的运行造成影响，可以使用反射API获取。

public class GenericReflection {

    public void reflect() throws Exception {
        Class<?> clazz = Target.class;
        Method method = clazz.getMethod("create", new Class<?>[] {Object.class});
        //参数类型
        Type paramType = method.getGenericParameterTypes()[0];
        TypeVariable<?> typeVariable = (TypeVariable<?>) paramType;
        System.out.println("parameter type:"+typeVariable.getName());  //值为 T

        //返回值类型
        Type returnType = method.getGenericReturnType();
        ParameterizedType pType = (ParameterizedType) returnType;
        //返回值实际类型
        Type actualType = pType.getActualTypeArguments()[0];
        System.out.println("actual return type:"+actualType);

        //使用通配符情况
        Type[] bounds = ((WildcardType) actualType).getUpperBounds();
        ParameterizedType boundType = (ParameterizedType) bounds[0];
        System.out.println("generic raw type:"+boundType.getRawType()); //Comparable接口的Class类对象
    }

    public static void main(String[] args) throws Exception {
        GenericReflection gf = new GenericReflection();
        gf.reflect();
    }
}

class Target <T> {
    public List<? extends Comparable<T>> create(T obj) {
        return null;
    }
}

[color=darkblue][b]全面总结Java泛型[/b][/color] [url]http://www.cnblogs.com/rickie4you/p/3488551.html[/url]
本文对Java泛型进行了全面的总结。文章内容包括普通泛型、通配符、受限泛型、泛型接口、泛型方法、返回泛型类型实例等等。

虽然Scala创始人Martin Odersky说当年正是因为Java泛型的丑陋，所以才想到要创建一个新的语言，不过这仍然不妨碍我们学习Java泛型。毕竟即使听说Java泛型不好用，但好不好用还是得会用了才知道。下面是一些有关Java泛型的总结：
普通泛型

class Point< T>{  // 此处可以随便写标识符号，T是type的简称  
 private T var ; // var的类型由T指定，即：由外部指定  
 public T getVar(){ // 返回值的类型由外部决定  
  return var ;  
 }  
 public void setVar(T var){ // 设置的类型也由外部决定  
  this.var = var ;  
 }  
};  
public class GenericsDemo06{  
 public static void main(String args[]){  
  Point< String> p = new Point< String>() ; // 里面的var类型为String类型  
  p.setVar("it") ;  // 设置字符串  
  System.out.println(p.getVar().length()) ; // 取得字符串的长度  
 }  
}; 

----------------------------------------------------------

class Notepad< K,V>{  // 此处指定了两个泛型类型  
 private K key ;  // 此变量的类型由外部决定  
 private V value ; // 此变量的类型由外部决定  
 public K getKey(){  
  return this.key ;  
 }  
 public V getValue(){  
  return this.value ;  
 }  
 public void setKey(K key){  
  this.key = key ;  
 }  
 public void setValue(V value){  
  this.value = value ;  
 }  
};  
public class GenericsDemo09{  
 public static void main(String args[]){  
  Notepad< String,Integer> t = null ;  // 定义两个泛型类型的对象  
  t = new Notepad< String,Integer>() ;  // 里面的key为String，value为Integer  
  t.setKey("汤姆") ;  // 设置第一个内容  
  t.setValue(20) ;   // 设置第二个内容  
  System.out.print("姓名；" + t.getKey()) ;  // 取得信息  
  System.out.print("，年龄；" + t.getValue()) ;  // 取得信息  

 }  
};

通配符

class Info< T>{  
 private T var ;  // 定义泛型变量  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public String toString(){ // 直接打印  
  return this.var.toString() ;  
 }  
};  
public class GenericsDemo14{  
 public static void main(String args[]){  
  Info< String> i = new Info< String>() ;  // 使用String为泛型类型  
  i.setVar("it") ;       // 设置内容  
  fun(i) ;  
 }  
 public static void fun(Info< ?> temp){  // 可以接收任意的泛型对象  
  System.out.println("内容：" + temp) ;  
 }  
};

受限泛型

class Info< T>{  
 private T var ;  // 定义泛型变量  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public String toString(){ // 直接打印  
  return this.var.toString() ;  
 }  
};  
public class GenericsDemo17{  
 public static void main(String args[]){  
  Info< Integer> i1 = new Info< Integer>() ;  // 声明Integer的泛型对象  
  Info< Float> i2 = new Info< Float>() ;   // 声明Float的泛型对象  
  i1.setVar(30) ;         // 设置整数，自动装箱  
  i2.setVar(30.1f) ;        // 设置小数，自动装箱  
  fun(i1) ;  
  fun(i2) ;  
 }  
 public static void fun(Info< ? extends Number> temp){ // 只能接收Number及其Number的子类  
  System.out.print(temp + "、") ;  
 }  
}; 

----------------------------------------------------------

class Info< T>{  
 private T var ;  // 定义泛型变量  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public String toString(){ // 直接打印  
  return this.var.toString() ;  
 }  
};  
public class GenericsDemo21{  
 public static void main(String args[]){  
  Info< String> i1 = new Info< String>() ;  // 声明String的泛型对象  
  Info< Object> i2 = new Info< Object>() ;  // 声明Object的泛型对象  
  i1.setVar("hello") ;  
  i2.setVar(new Object()) ;  
  fun(i1) ;  
  fun(i2) ;  
 }  
 public static void fun(Info< ? super String> temp){ // 只能接收String或Object类型的泛型  
  System.out.print(temp + "、") ;  
 }  
};

Java泛型无法向上转型

class Info< T>{  
 private T var ;  // 定义泛型变量  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public String toString(){ // 直接打印  
  return this.var.toString() ;  
 }  
};  
public class GenericsDemo23{  
 public static void main(String args[]){  
  Info< String> i1 = new Info< String>() ;  // 泛型类型为String  
  Info< Object> i2 = null ;  
  i2 = i1 ;        //这句会出错 incompatible types  
 }  
};

Java泛型接口

interface Info< T>{  // 在接口上定义泛型  
 public T getVar() ; // 定义抽象方法，抽象方法的返回值就是泛型类型  
}  
class InfoImpl< T> implements Info< T>{ // 定义泛型接口的子类  
 private T var ;    // 定义属性  
 public InfoImpl(T var){  // 通过构造方法设置属性内容  
  this.setVar(var) ;   
 }  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
};  
public class GenericsDemo24{  
 public static void main(String arsg[]){  
  Info< String> i = null;  // 声明接口对象  
  i = new InfoImpl< String>("汤姆") ; // 通过子类实例化对象  
  System.out.println("内容：" + i.getVar()) ;  
 }  
}; 

----------------------------------------------------------

interface Info< T>{  // 在接口上定义泛型  
 public T getVar() ; // 定义抽象方法，抽象方法的返回值就是泛型类型  
}  
class InfoImpl implements Info< String>{ // 定义泛型接口的子类  
 private String var ;    // 定义属性  
 public InfoImpl(String var){  // 通过构造方法设置属性内容  
  this.setVar(var) ;   
 }  
 public void setVar(String var){  
  this.var = var ;  
 }  
 public String getVar(){  
  return this.var ;  
 }  
};  
public class GenericsDemo25{  
 public static void main(String arsg[]){  
  Info i = null;  // 声明接口对象  
  i = new InfoImpl("汤姆") ; // 通过子类实例化对象  
  System.out.println("内容：" + i.getVar()) ;  
 }  
}; 

Java泛型方法

class Demo{  
 public < T> T fun(T t){   // 可以接收任意类型的数据  
  return t ;     // 直接把参数返回  
 }  
};  
public class GenericsDemo26{  
 public static void main(String args[]){  
  Demo d = new Demo() ; // 实例化Demo对象  
  String str = d.fun("汤姆") ; // 传递字符串  
  int i = d.fun(30) ;  // 传递数字，自动装箱  
  System.out.println(str) ; // 输出内容  
  System.out.println(i) ;  // 输出内容  
 }  
}; 

通过泛型方法返回泛型类型实例

class Info< T extends Number>{ // 指定上限，只能是数字类型  
 private T var ;  // 此类型由外部决定  
 public T getVar(){  
  return this.var ;   
 }  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public String toString(){  // 覆写Object类中的toString()方法  
  return this.var.toString() ;   
 }  
};  
public class GenericsDemo27{  
 public static void main(String args[]){  
  Info< Integer> i = fun(30) ;  
  System.out.println(i.getVar()) ;  
 }  
 public static < T extends Number> Info< T> fun(T param){//方法中传入或返回的泛型类型由调用方法时所设置的参数类型决定  
  Info< T> temp = new Info< T>() ;  // 根据传入的数据类型实例化Info  
  temp.setVar(param) ;  // 将传递的内容设置到Info对象的var属性之中  
  return temp ; // 返回实例化对象  
 }  
};

使用泛型统一传入的参数类型

class Info< T>{ // 指定上限，只能是数字类型  
 private T var ;  // 此类型由外部决定  
 public T getVar(){  
  return this.var ;   
 }  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public String toString(){  // 覆写Object类中的toString()方法  
  return this.var.toString() ;   
 }  
};  
public class GenericsDemo28{  
 public static void main(String args[]){  
  Info< String> i1 = new Info< String>() ;  
  Info< String> i2 = new Info< String>() ;  
  i1.setVar("HELLO") ;  // 设置内容  
  i2.setVar("汤姆") ;  // 设置内容  
  add(i1,i2) ;  
 }  
 public static < T> void add(Info< T> i1,Info< T> i2){  
  System.out.println(i1.getVar() + " " + i2.getVar()) ;  
 }  
};

Java泛型数组

public class GenericsDemo30{  
 public static void main(String args[]){  
  Integer i[] = fun1(1,2,3,4,5,6) ; // 返回泛型数组  
  fun2(i) ;  
 }  
 public static < T> T[] fun1(T...arg){ // 接收可变参数  
  return arg ;   // 返回泛型数组  
 }  
 public static < T> void fun2(T param[]){ // 输出  
  System.out.print("接收泛型数组：") ;  
  for(T t:param){  
   System.out.print(t + "、") ;  
  }  
 }  
};

Java泛型的嵌套设置

class Info< T,V>{  // 接收两个泛型类型  
 private T var ;  
 private V value ;  
 public Info(T var,V value){  
  this.setVar(var) ;  
  this.setValue(value) ;  
 }  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public void setValue(V value){  
  this.value = value ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public V getValue(){  
  return this.value ;  
 }  
};  
class Demo< S>{  
 private S info ;  
 public Demo(S info){  
  this.setInfo(info) ;  
 }  
 public void setInfo(S info){  
  this.info = info ;  
 }  
 public S getInfo(){  
  return this.info ;  
 }  
};  
public class GenericsDemo31{  
 public static void main(String args[]){  
  Demo< Info< String,Integer>> d = null ;  // 将Info作为Demo的泛型类型  
  Info< String,Integer> i = null ; // Info指定两个泛型类型  
  i = new Info< String,Integer>("汤姆",30) ;  // 实例化Info对象  
  d = new Demo< Info< String,Integer>>(i) ; // 在Demo类中设置Info类的对象  
  System.out.println("内容一：" + d.getInfo().getVar()) ;  
  System.out.println("内容二：" + d.getInfo().getValue()) ;  
 }  
};

[b][color=darkblue]JAVA 泛型接口和泛型方法[/color][/b] [url]http://wwwiteye.iteye.com/blog/1849917[/url]
接口：如果一个类或接口上有一个或多个类型变量，那它就是泛型。类型变量由尖括号界定，放在类或接口名的后面

package tik4.generic;

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

package tik4.generic;

public class Fibonacci implements Generator<Integer> {
	private int count;

	// 参数类型用Integer，使用int将不能编译
	// public int next() {
	// return 0;
	// }
	public Integer next() {
		return fib(count++);
	}

	private int fib(int n) {
		if (n < 2) return 1;
		return fib(n - 2) + fib(n - 1);
	}

	public static void main(String[] args) {
		Fibonacci gen = new Fibonacci();
		for (int i = 0; i <= 17; i++)
			System.out.print(gen.next() + " ");
	}
	/*
	 * Output: 1 1 2 3 5 8 13 21 34 55 89 144 233 377 610 987 1597 2584
	 */
}

方法：如果方法和构造器上声明了一个或多个类型变量，它们也可以泛型化。

package tik4.generic;

public class GenericMothod {
	public <T,M,N> void getTType(T t,M m,N n){
		/*
		 * 传入int,long ,double等基本类型时，自动打包机制
		 * 会将基本类型包装成相应的对象
		 */
		System.out.println(t.getClass().getName());
		System.out.println(m.getClass().getName());
		System.out.println(n.getClass().getName());
	}
	public static void main(String[] args) {
		//泛型类在创建对象时必须指定参数类型，而泛型方法则不需要在创建对象时指定参数类型T
		GenericMothod gm = new GenericMothod();
		gm.getTType("", 1, 1.0);
		gm.getTType(1.0F, 'c', gm);
	}/*
	 *Output: 
	java.lang.String
	java.lang.Integer
	java.lang.Double
	java.lang.Float
	java.lang.Character
	tik4.generic.GenericMothod
	*/
}