J2SE 1.5 Tiger 新特性實戰（一）：自訂泛型類與型別擦除示範

前言

J2SE 1.5 泛型的核心在於「參數化類型」。本文從最簡單的自訂泛型類入手，展示型別參數宣告、具體化實例化、型別安全保障，以及著名的「型別擦除」導致的運行時型別不安全現象。

一、 定義最簡單泛型類

package tigers;

class Generic1<T> { // 型別參數 T 為佔位符
    private T value;

    public void set(T value) { this.value = value; }
    public T get() { return value; }
}

二、 使用泛型類：具體化型別參數

public class GenericIdentify {
    public static void main(String[] args) {
        // 具體化為 String、Integer、Boolean
        Generic1<String> gStr = new Generic1<>();
        gStr.set("aaaaaaaaaaaaaaaaa");

        Generic1<Integer> gInt = new Generic1<>();
        gInt.set(1321423); // 自動裝箱 int → Integer

        Generic1<Boolean> gBool = new Generic1<>();
        gBool.set(true);   // 自動裝箱 boolean → Boolean

        System.out.println(gStr.get() + "\n" + gInt.get() + "\n" + gBool.get());

        // 型別擦除示範：透過原始類型繞過編譯期檢查
        ((Generic1) gInt).set("bbbbbbbbbbbbb"); // 未受檢轉型警告
        System.out.println(gInt.get()); // 運行時無誤，但破壞型別安全
    }
}

三、 編譯與執行

C:\tiger> javac -d c:\tiger\cls\ c:\tiger\src\*.java
Note: c:\tiger\src\GenericIdentify.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.

C:\tiger> java -classpath c:\tiger\cls tigers.GenericIdentify

四、 輸出結果

aaaaaaaaaaaaaaaaa
1321423
true
bbbbbbbbbbbbb

五、 核心概念深度解析

1. 型別參數 <T>

• 慣例單一大寫字母：T (Type)、E (Element)、K/V (Key/Value)、N (Number)。
• 可限定邊界：<T extends Comparable<T>>。
• 不能為基本型別：Generic1<int> 編譯錯誤，必須用包裝類 Integer。

((Generic1) gInt).set("string"); // 原始類型 Generic1，set 參數為 Object

gInt.set(1321423); // int → Integer 自動裝箱
int val = gInt.get(); // Integer → int 自動拆箱