Apa itu generics dan mengapa menggunakannya?

Question

Accepted Answer

**Generics** memungkinkan Anda menulis kelas, antarmuka, dan metode yang bekerja dengan **parameter tipe** yang ditentukan oleh pemanggil — memberikan **keamanan tipe saat compile-time** dan menghilangkan casting. Mereka mendukung Collections Framework dan perpustakaan yang dapat digunakan kembali. ## Masalah yang diselesaikan generics ```java // ❌ before generics (or with raw types) — no type safety, requires casts List list = new ArrayList(); list.add("hello"); list.add(42); // oops — anything can go in String s = (String) list.get(1); // ClassCastException at RUNTIME! 💥 // ✅ with generics — the type is enforced at COMPILE time List list = new ArrayList<>(); list.add("hello"); list.add(42); // ❌ compile error — caught immediately String s = list.get(0); // no cast needed — known to be String ``` Generics memindahkan kesalahan tipe dari runtime (`ClassCastException`) ke **saat compile-time**, dan menghilangkan kebutuhan untuk casting manual — membuat kode lebih aman dan lebih bersih. ## Kelas dan metode generics ```java // a generic class — T is a type parameter filled in by the user public class Box { private T value; public void set(T value) { this.value = value; } public T get() { return value; } } Box b = new Box<>(); // T = String b.set("hi"); String x = b.get(); // typed, no cast // a generic method public static T firstElement(List list) { return list.get(0); } ``` ## Parameter tipe yang dibatasi ```java // T must be Number (or a subclass) — lets you call Number methods public static double sum(List list) { double total = 0; for (T n : list) total += n.doubleValue(); // safe — T is a Number return total; } ``` `` membatasi parameter tipe, memungkinkan Anda menggunakan anggota tipe tersebut dengan aman. ## Wildcard ```java List nums; // "some subtype of Number" — read (producer) List sink; // "Integer or a supertype" — write (consumer) // PECS: Producer Extends, Consumer Super ``` Wildcard menambah fleksibilitas untuk parameter metode yang harus menerima berbagai jenis tipe. ## Penghapusan tipe (peringatan Java) ```java // generics are a COMPILE-TIME feature — erased at runtime (for backward compatibility) List a = new ArrayList<>(); List b = new ArrayList<>(); a.getClass() == b.getClass(); // true — both are just ArrayList at runtime // consequence: can't do `new T()` or `instanceof List` ``` Java mengimplementasikan generics melalui **penghapusan tipe** — parameter tipe ada pada saat compile-time tetapi dihapus saat runtime, yang memiliki beberapa keterbatasan. ## Mengapa ini penting Generics sangat penting untuk Java modern — mereka memberikan keamanan tipe saat compile-time (menangkap kesalahan tipe lebih awal daripada `ClassCastException` saat runtime), menghilangkan casting yang verbose dan rawan kesalahan, dan memungkinkan kode yang dapat digunakan kembali dan fleksibel terhadap tipe. Mereka adalah fondasi dari seluruh Collections Framework (`List`, `Map`) dan perpustakaan yang tidak terhitung jumlahnya. Memahami kelas/metode generics, parameter yang dibatasi, wildcard (PECS), dan peringatan penghapusan tipe memungkinkan Anda menggunakan API generics dengan benar dan merancang abstraksi yang dapat digunakan kembali dan type-safe Anda sendiri — keterampilan inti untuk menulis Java yang kuat dan mudah dirawat.