Kotlin與Java一樣，都支持泛型(generics)。它們都使用angle brackets(尖括號)表示泛型類型參數并且確保類型安全。

Java泛型聲明：

public class GenericClass<T> {
private T obj;
public void setObj(T obj) {
this.obj = obj;
}
public T getObj() {
return obj;
}
}
GenericClass<String> gc = new GenericClass<>();
gc.setObj("hello");
String result = gc.getObj(); // 需要強制類型轉換

Kotlin泛型聲明：

class GenericClass<T> {
var obj: T? = null
}
val gc = GenericClass<String>()
gc.obj = "hello"
val result = gc.obj // 不需要強制類型轉換

在Java中，泛型參數只是在編譯時檢查，它們在運行時被擦除。因此，在運行時，我們不能訪問泛型的類型參數。

public static void printList(ArrayList<T> list){
for(T elem: list){
System.out.println(elem + " ");
}
}
ArrayList<String> list = new ArrayList<>();
list.add("hello");
list.add("world");
printList(list) // 編譯器會報錯

Java中的類型擦除意味著我們不能將運行時類型參數傳遞給泛型類，但我們可以在Kotlin中做到這一點。在Kotlin中，我們可以通過reified關鍵字使泛型類型參數成為一個實際的類型。

inline fun <reified T> printList(list: ArrayList<T>) {
for(elem in list){
println(elem)
}
}
val list = ArrayList<String>()
list.add("hello")
list.add("world")
printList(list) // 沒有編譯器錯誤

Kotlin還支持variance（協變、逆變和不變）來處理子類型的問題。

Kotlin中的variance：

open class Animal
class Dog: Animal()
class Test<out T> {
fun get(): T? = null // 協變
}
val dogTest: Test<Dog> = Test<Animal>() // 定義協變類型

這種類型映射是Kotlin的一個新特性，它始終支持泛型，并且可以更好地區分子類型關系。