泛型

實體解釋為什么引入泛型

// 不使用泛型
List list = new ArrayList();
list.add("coding");          // 集合中可以添加不同型別的元素（集合就是這么設計的，主要是為了實作通用性，但也帶來了弊端，泛型就是為了解決這個產生的）
list.add(1024);                         // 元素丟進集合中全部變成了Object
String result1 = list.get(0);           // 此行代碼編譯器不過
String result2 = (String)list.get(0);    // 如果想要還原集合中元素需要使用強制型別轉換，強制型別轉換可能引發例外，因為集合中元素型別有多種，
String result3 = (String)list.get(1);    // 此行代碼運行時會報型別轉換例外ClassCastException，所以說集合不使用泛型來限制資料型別的話很容易產生bug
System.out.println(result2);

泛型的定義

1、通過上面例子的引入，我們可以總結出：泛型本質上是引數化型別，我們可以為類，介面，方法指定一個型別引數，通過這個引數來限制操作的資料型別，從而保證型別轉換的絕對安全，
2、基本用法：泛型集合

// 使用泛型
List<String> str1 = new ArrayList<String>();     // 在<>中指定集合中元素型別
str1.add("java");
str1.add(1024);            // 此行代碼編譯器報錯，也就是限制了集合中型別只能為String型別，避免了強制型別轉化時出現例外

泛型的其它用處

• 上面的實體告訴我們泛型可以解決集合中存在的不足之處，但泛型的作用不止于此，

泛型方法

• 泛型方法在定義的時候需要在方法的回傳型別之前加上<T>，這個T可以換成其他字母，T代表方法的引數是什么型別，T可以表示任何包裝型別，不支持基本型別，
• 泛型方法并不顯式指定其引數的資料型別，而是在使用該方法時才確定資料型別，這樣帶來的好處就是一個泛型方法可以接受不同型別的輸入引數，減少了重復代碼，下面的例子僅供說明，

public class Generics_Test {
	// 泛型方法
	public static <T> void print(T[] arr) {
		System.out.println(arr[0]);
	}
	
	public static void main(String[] args) {
		String[] str2 = {"test"};
		print(str2);
		Integer[] num = {1024};
		print(num);
	}
}

泛型類

• 引入背景：當一個類中有多個泛型方法，為了避免每個泛型方法在宣告的時候都需要加上<T>來說明其是泛型方法，就引入了泛型類，

// 泛型類
public class Generics_Test<T> {

	public static <T> void print(T[] arr) {      // static 仍然需要顯示宣告<T>，否則會報錯，因為靜態方法不要類實體化就能呼叫，
		System.out.println(arr[0]);
	}
	
	public void printf(T[] arr) {               // 普通方法不需要再宣告<T>
		System.out.println(arr[0]);
	}
	
	public static void main(String[] args) {
	
		Generics_Test<String> gt = new Generics_Test<String>();
		String[] str2 = {"test"};
		gt.printf(str2);
		
		Generics_Test<Integer> gt1 = new Generics_Test<Integer>();
		Integer[] num = {1024};
		gt1.printf(num);
	}
}

泛型的高級用法

通配符：<?>

• 使用<?>可以不用指定引數型別，即不用在方法的回傳值前宣告<T>

// 通配符<?>
public class Generics_Test {

	public static void print(List<?> arr) {       // 使用 <?> 可以不用指定引數型別，即不用在方法的回傳值前宣告<T>
		Object result = arr.get(0);
		System.out.println(result);
	}
	
	public static void main(String[] args) {
		List<String> str1 = new ArrayList<String>();
		str1.add("coding");
		print(str1);
	}
}

通配符： <? extends anyClass>

• java的泛型默認是可以使用任何包裝型別來實體化一個泛型類物件

public class Generics_Test<T extends Object> {  
	public static void main(String[] args) {
		// 因為object是所有型別的父類，所以可以使用任何包裝型別來實體化一個泛型類物件
		Generics_Test<ArrayList> arr1 = new Generics_Test<ArrayList>();
		Generics_Test<LinkedList> link1 = new Generics_Test<LinkedList>();
		Generics_Test<HashMap> str1 = new Generics_Test<HashMap>();
	}
}

• 限制泛型類的可用型別，T extends anyClass：該泛型類接受的型別必須繼承或實作anyClass(其中anyClass表示類或介面)

public class Generics_Test<T extends List> {   
	public static void main(String[] args) {
		Generics_Test<ArrayList> arr1 = new Generics_Test<ArrayList>();
		Generics_Test<LinkedList> link1 = new Generics_Test<LinkedList>();
		Generics_Test<List> list1 = new Generics_Test<List>();      
		Generics_Test<HashMap> hashmap1 = new Generics_Test<HashMap>(); // 此行代碼會報錯,因為HashMap沒有實作List介面
	}
}

泛型類的繼承

public class Generics_Test<T1>{
}
class SonGenericsClass<T1,T2,T3> extends Generics_Test<T1>{
}

參考

http://c.biancheng.net/view/1085.html