Java基礎之泛型

標籤：

泛型，寬泛的資料類型”

可以接受任意類型（類）的資料。

■泛型定義（類和介面）

型別參數必須是一個合法的標識符，習慣上使用單個大寫字母，通常情況下，K 表示鍵，V 表示值，E 表示異常或錯誤，T 表示一般意義上的資料類型。

例：class Point<TX, TY>

■泛型變數

泛型類在執行個體化時必須指出具體的類型，也就是向型別參數。

例：

TX x;

TX y;

■泛型執行個體化

Point<Integer, Integer> p = new Point<Integer, Integer>();

類型擦除

Point p = new Point();

■泛型方法

class UTest {

    public <TX, TY> TX print(TX x, TY y)

public class Point<TX, TY> {

    public TX print(TX x, TY y) {

■泛型繼承

public <TSB extends T1> T getMax(T array[]){

■泛型萬用字元(?)

為了避免類型擦除，可以使用萬用字元(?)：

public void print(Point<?, ?> p) {

? extends T 表示泛型的型別參數只能是 T 及其子類，這與定義泛型類或泛型方法時泛型繼承類似。

使用萬用字元(?)不但可以限制類型的上限，還可以限制下限。限制下限使用 super 關鍵字，例如 <? super TSB> 表示只能接受 TSB 及其父類。

Java基礎之泛型