泛型方法和泛型接口

 

泛型接口

泛型也能够应用于接口，例如生成器，一种专门负责建立对象的类。这实际上是工厂方法设计模式的一种应用。不过使用生成器建立对象时，不须要参数。而工厂方法通常是须要参数的。

package tik4.generic;

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

 一个Fibonacci数列实现

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
	 */
}

 

泛型方法

能够在类中包含参数化方法，而这个方法所在的类能够是泛型类，也能够不是泛型类。是否拥有泛型方法，和所在的类是否泛型没有关系。泛型方法使得该方法可以独立于类而产生变化。如下是一个基本原则：若是泛型方法能够取代整个类的泛型化，就应该只使用泛型方法。另外，对于一个static方法而言，没法访问泛型

类的参数类型，因此static方法须要使用泛型能力，就必须成为泛型方法

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
	*/
}

 

利用参数类型推断

问题：很烦这种写法是否是，老子在声明变量的的时候已经指明了参数类型，为毛还要在初始化对象时再指定？

Map<Integer, List<? extends Set<String>>> map = 
    new HashMap<Integer, List<? extends Set<String>>>();

解决：搞一个工具类

package tik4.generic;

import java.util.HashMap;
import java.util.List;
import java.util.Map;
import java.util.Set;

public class New {
	public static <K, V> Map<K, V> hashMap() {
		return new HashMap<K, V>();
	}

	public static void main(String[] args) {
		Map<Integer, List<? extends Set<String>>> map = New.hashMap();
	}
}

 注意：

类型推断只对赋值操做有效，其余时候不起做用。若是你使用泛型方法调用的结果(例如：New.hashMap())做为参数，传递给其余方法，此时编译器不会执行类型推断。编译器认为，调用泛型方法以后，其返回值被赋给一个Object类型的变量。上代码：

package tik4.generic;

import java.util.List;
import java.util.Map;
import java.util.Set;

public class LimitsOfInference {
	static void f(Map<Integer, List<? extends Set<String>>> map){};
	public static void main(String[] args) {
		/*
		 * the mothed f(Map<Integer, List<? extends Set<String>>>
		 * is not applicable for arguments (Map<Object,Object>)
		 * 不能编译
		 */
//		f(New.hashMap());
	}
}

 

显示类型说明?? think in java4中是这么写的，可是个人机器上不能编译，难道书上是在扯淡

 在泛型方法中，能够显示的指定参数类型。在 点操做符 和 方法名之间插入尖括号，而后将类型置于括号内。若是是在定义该方法的类的内部，则在点操做符以前使用this关键字若是使用static方法，必须在点操做符以前加上类名。这种语法，能够解决LimitsOfInference.java中的问题。

package tik4.generic;

import java.util.List;
import java.util.Map;
import java.util.Set;

public class ExplicitTypeSpecification {
	static void f(Map<Integer, String> map){};
	
	public static void main(String[] args) {
                //java 5和java6 中均不能编译。
		f(New.<Map<Integer, String>>hashMap()); 
	}
}