Generics คืออะไร และเหตุใดจึงควรใช้งาน

Question

Accepted Answer

**Generics** ช่วยให้คุณเขียนคลาส อินเทอร์เฟซ และเมธอดที่ทำงานกับ **type parameter** ที่ระบุโดยผู้เรียก — โดยให้ **type safety ที่เวลาคอมไพล์** และยกเลิกความจำเป็นในการ cast การพวกมันขับเคลื่อน Collections Framework และไลบรารีที่นำกลับมาใช้ได้ ## ปัญหาที่ 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 ย้ายข้อผิดพลาดของประเภทจากเวลา runtime (`ClassCastException`) ไปที่ **เวลาคอมไพล์** และลบความจำเป็นในการ cast ด้วยตนเอง — ทำให้โค้ดปลอดภัยและสะอาดขึ้น ## คลาสและเมธอด 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); } ``` ## Bounded type parameters ```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; } ``` `` จำกัด type parameter ซึ่งช่วยให้คุณสามารถใช้สมาชิกของประเภทนั้นได้อย่างปลอดภัย ## Wildcards ```java List nums; // "some subtype of Number" — read (producer) List sink; // "Integer or a supertype" — write (consumer) // PECS: Producer Extends, Consumer Super ``` Wildcards เพิ่มความยืดหยุ่นสำหรับพารามิเตอร์เมธอดที่ควรยอมรับช่วงประเภท ## Type erasure (ข้อควรระวังของ 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 ใช้ **type erasure** — type parameters มีอยู่ที่เวลาคอมไพล์ แต่ถูกลบออกที่เวลา runtime ซึ่งมีข้อจำกัดบางประการ ## ทำไมจึงสำคัญ Generics เป็นสิ่งจำเป็นสำหรับ Java สมัยใหม่ — พวกมันให้ type safety ที่เวลาคอมไพล์ (จับข้อผิดพลาดของประเภทในเวลาต่างคนแทน `ClassCastException` ของ runtime) ยกเลิก cast ที่ซ้ำซากและเสี่ยงต่อข้อผิดพลาด และเปิดใช้งานโค้ดที่นำกลับมาใช้ได้และมีความยืดหยุ่นของประเภท พวกมันเป็นพื้นฐานของ Collections Framework ทั้งหมด (`List`, `Map`) และไลบรารีมากมาย การทำความเข้าใจคลาส/เมธอด generics bounded parameters wildcards (PECS) และข้อควรระวัง type-erasure ช่วยให้คุณใช้ generic APIs อย่างถูกต้องและออกแบบ abstractions ของคุณเองที่นำกลับมาใช้ได้และปลอดภัยประเภท — ทักษะหลักในการเขียน Java ที่เข็มแข็งและบำรุงรักษาได้