泛型是 Java 語言的一個重要特性，其最大的優點是在編譯期發現并糾正錯誤，避免了在運行時出現類型不匹配的問題，從而也保障了程序的易讀性、可維護性和安全性。

泛型的通用形式為

T<類型參數列表>

，其中類型參數列表可以包含一個或多個泛型類型參數，如

T, E, K, V

等。

泛型主要有兩種使用場景，一種是在類或接口上使用泛型，另一種是在方法上使用泛型。

類或接口上使用泛型的話，我們往往會將泛型類型參數放在類名或接口名的后面，如

class Student<T>

或

interface List<E>

。

方法上使用泛型的話，我們往往會將泛型類型參數放在方法名的中間，如

<T> void printList(List<T> list) { ... }

。

而通配符則是泛型的進一步擴展，允許我們傳入一些帶有泛型參數的對象，而不用指定其具體類型，通常用于方法的參數列表或返回值。

通配符的語法格式為

? extends T

或

? super T

，其中

? extends T

表示通配符類型必須是 T 類型或 T 的子類，而

? super T

表示通配符類型必須是 T 類型或 T 的父類。

換句話說，使用通配符時，我們可以利用這兩種語法形式來限制方法參數的類型范圍和返回值的訪問性，從而避免了某些編譯時錯誤。

需要注意的是，由于通配符可以接受任意的泛型形態，因此其也不能用于方法中對泛型參數進行賦值操作或者新增元素操作。