泛型是計算機編程中的一個概念，允許程式設計師在強類型程式語言中編寫代碼時使用一些類型，這些類型在實例化時才被具體指定。
泛型的主要優勢是在編譯時檢查類型安全，從而減少運行時錯誤。泛型可以套用於類、方法或接口，分別被稱為泛型類、泛型方法、泛型接口。在泛型使用過程中，操作的數據類型被指定為一個參數，這種參數類型可以用在類、方法和接口中。泛型只在編譯階段有效，在運行階段沒有效果，編譯之後會採取去泛型化操作。泛型的本質是為了參數化類型，即在定義時不指定具體的類型，而是在使用時再指定。這種做法可以提高代碼重用率，同時保持類型安全。