Generics (parametric polymorphism) là gì?

Question

Accepted Answer

**Generics** cho phép bạn viết các class và method được tham số hóa theo *kiểu*, để cùng một đoạn code làm việc với nhiều kiểu trong khi vẫn giữ **an toàn kiểu lúc compile-time**. Đây là **parametric polymorphism** — "một hình dạng, kiểu bất kỳ." ## Vấn đề chúng giải quyết ```java // Không có generics: không có kiểu, cần ép kiểu (cast), có thể vỡ lúc runtime List list = new ArrayList(); list.add("hi"); String s = (String) list.get(0); // cần cast; sai kiểu → ClassCastException ``` ```java // Có generics: kiểu được biết và kiểm tra lúc compile-time List list = new ArrayList<>(); list.add("hi"); String s = list.get(0); // không cần cast; list.add(42) sẽ không compile ``` ## Viết một kiểu generic ```java class Box { // T là một tham số kiểu private T value; Box(T value) { this.value = value; } T get() { return value; } } Box b = new Box<>(42); // T = Integer, kiểm tra lúc compile-time int n = b.get(); // không cần cast ``` ## Ràng buộc (bound) và biến thiên (variance) (ngắn gọn) ```java > // bounded: T phải so sánh được List // covariance: chấp nhận List, List ``` ## Cạm bẫy Java xóa kiểu generic lúc runtime (*type erasure*) — bạn không thể làm `new T()` hay `instanceof List`. Template của C++ và generics của C# hành xử khác (monomorphization / kiểu được reify). ## Tại sao điều này quan trọng Generics mang lại sự tái sử dụng *và* an toàn cùng lúc: một `List` phục vụ mọi kiểu phần tử, với compiler bắt được các lỗi kiểu mà nếu không sẽ là sụp đổ lúc runtime. Chúng loại bỏ các phép cast không an toàn và là xương sống của các collection, khiến code vừa dễ tái sử dụng hơn vừa khó dùng sai hơn.