Apa itu generics (polimorfisme parametrik)?

Question

Accepted Answer

**Generics** memungkinkan Anda menulis kelas dan metode yang diparameterkan oleh *tipe*, sehingga kode yang sama berfungsi dengan banyak tipe sambil mempertahankan **keamanan tipe saat kompilasi**. Ini adalah **polimorfisme parametrik** — "satu bentuk, tipe apa pun." ## Masalah yang mereka selesaikan ```java // Without generics: untyped, needs casts, can break at runtime List list = new ArrayList(); list.add("hi"); String s = (String) list.get(0); // cast required; wrong type → ClassCastException ``` ```java // With generics: type is known and checked at compile time List list = new ArrayList<>(); list.add("hi"); String s = list.get(0); // no cast; list.add(42) won't compile ``` ## Menulis tipe generics ```java class Box { // T is a type parameter private T value; Box(T value) { this.value = value; } T get() { return value; } } Box b = new Box<>(42); // T = Integer, checked at compile time int n = b.get(); // no cast needed ``` ## Batasan dan varians (singkat) ```java > // bounded: T must be comparable List // covariance: accept List, List ``` ## Jebakan Java menghapus tipe generics saat runtime (*type erasure*) — Anda tidak bisa melakukan `new T()` atau `instanceof List`. Template C++ dan generics C# berperilaku berbeda (monomorphisation / tipe yang direifikasi). ## Mengapa ini penting Generics memberikan penggunaan kembali *dan* keamanan secara bersamaan: satu `List` melayani setiap jenis elemen, dengan kompiler menangkap kesalahan tipe yang sebaliknya akan menjadi crash runtime. Mereka menghilangkan cast yang tidak aman dan merupakan tulang punggung koleksi, membuat kode sekaligus lebih dapat digunakan kembali dan lebih sulit untuk disalahgunakan.