Trước Java 5, việc xử lý các kiểu dữ liệu tổng quát buộc lập trình viên phải sử dụng lớp Object làm trung gian. Cách tiếp cận này dẫn đến hai hạn chế nghiêm trọng: yêu cầu ép kiểu tường minh và thiếu kiểm tra kiểu thời gian biên dịch, gây ra lỗi runtime khó phát hiện. Cơ chế Generics ra đời giải quyết triệt để những vấn đề này thông qua hệ thống kiểu trừu tượng.

Generics mang lại ba lợi ích cốt lõi:

• Thiết lập mối quan hệ giữa các kiểu dữ liệu: Ví dụ Dictionary<Key, Value> mô tả ánh xạ giữa hai kiểu, trong khi Dictionary<Key, SubValue extends Key> thể hiện quan hệ kế thừa
• Tinh chỉnh chức năng lớp: Container<T> có thể chứa bất kỳ kiểu T nào, cho phép tái sử dụng logic xử lý chung cho các đối tượng khác nhau (người dùng, sản phẩm...)
• Phân tách kiểu phức tạp: Container<User> và Container<Product> được coi là hai kiểu hoàn toàn khác nhau. Điều này ngăn chặn gán Container<User> users = new Container<Product>() do vi phạm nguyên tắc an toàn kiểu. Lưu ý quan trọng: Ngay cả khi User kế thừa từ Entity, phép gán Container<Entity> entities = new Container<User>() cũng không hợp lệ vì tiềm ẩn rủi ro chèn đối tượng không tương thích.

Cơ chế xóa bỏ kiểu (type erasure) là nền tảng hoạt động của Generics. Toàn bộ thông tin kiểu tổng quát sẽ bị loại bỏ sau khi biên dịch, chỉ giữ lại kiểu nguyên thủy. Điều này giải thích tại sao ví dụ sau không thể biên dịch:

public interface DataProcessor<T extends Collection> {
    void processItems(List<T> items);
}

Khi triển khai với kiểu cụ thể:

public class ItemHandler implements DataProcessor {
    public void processItems(List<TreeSet> items) {
        System.out.println("Xử lý danh sách");
    }
}

Trình biên dịch báo lỗi: "processItems(List<TreeSet>) không ghi đè được processItems(List<T>) do xung đột xóa bỏ kiểu". Nguyên nhân: Sau khi xóa bỏ kiểu, cả hai phương thức đều trở thành processItems(List items) nhưng không thỏa mãn điều kiện ghi đè.

Quy tắc xóa bỏ kiểu cụ thể:

• List<ArrayList>, List<Vector>, List<T> → List
• List<? extends Serializable> → List<Serializable>
• List<T extends Comparable & Cloneable> → List<Comparable>
• Mảng kiểu tổng quát List<HashMap>[] → List[]

Thiết kế này xuất phát từ hai yêu cầu nền tảng:

1. Tương thích ngược: Giữ nguyên cách xử lý kiểu nguyên thủy (raw type) như List ở phiên bản trước
2. Tối ưu hiệu năng: Tránh thay đổi sâu rộng trong JVM bằng cách xử lý Generics hoàn toàn ở giai đoạn biên dịch. Nếu duy trì thông tin kiểu ở runtime như C++, JVM buộc phải tái cấu trúc lớn, ảnh hưởng đến hiệu suất và độ ổn định hệ thống.