Generics ช่วยให้คุณสามารถเขียนคลาสและเมธอดที่มีพารามิเตอร์ตามประเภท (type) ดังนั้นโค้ดเดียวกันจึงทำงานกับหลายประเภทในขณะที่รักษา ความปลอดภัยของประเภทในเวลาคอมไพล์ นี่คือ polymorphism แบบ parametric — "รูปร่างหนึ่ง ประเภทใด ๆ"
();
list.add();
(String) list.get();
// With generics: type is known and checked at compile time
List<String> list = new ArrayList<>();
list.add("hi");
String s = list.get(0); // no cast; list.add(42) won't compile
class Box<T> { // T is a type parameter
private T value;
Box(T value) { this.value = value; }
T get() { return value; }
}
Box<Integer> b = new Box<>(42); // T = Integer, checked at compile time
int n = b.get(); // no cast needed
<T extends Comparable<T>> // bounded: T must be comparable
List<? extends Number> // covariance: accept List<Integer>, List<Double>
Java ลบประเภท generics ที่เวลา runtime (type erasure) — คุณไม่สามารถทำ new T() หรือ instanceof List<String> ได้ เทมเพลต C++ และ generics ของ C# มีพฤติกรรมต่างกัน (monomorphization / reified types)
Generics ให้ความสามารถในการใช้ซ้ำ และ ความปลอดภัยในเวลาเดียวกัน: List<T> หนึ่งรายการใช้สำหรับประเภทองค์ประกอบทุกประเภท โดยที่คอมไพเลอร์จะตรวจสอบข้อผิดพลาดของประเภทที่มิฉะนั้นจะเป็นการขัดข้องที่เวลา runtime
พวกมันช่วยลบการแคสต์ที่ไม่ปลอดภัยและเป็นรากฐานของคอลเล็กชัน ทำให้โค้ดนั้นนำกลับมาใช้ได้มากขึ้นและหลีกเลี่ยงการใช้งานที่ผิด