Làm thế nào Java có thể được cải thiện để nó không còn cần phải thực hiện xóa kiểu?

Các Java hướng dẫn chính thức về Generics giải thích loại tẩy xoá và tại sao nó đã được thêm vào trình biên dịch:

Khi một kiểu chung được khởi tạo, trình biên dịch sẽ dịch các kiểu đó bằng một kỹ thuật gọi là xóa kiểu - một quá trình trong đó trình biên dịch loại bỏ tất cả thông tin liên quan đến các tham số kiểu và các đối số kiểu trong một lớp hoặc phương thức. Kiểu xóa cho phép các ứng dụng Java sử dụng tổng quát để duy trì khả năng tương thích nhị phân với các thư viện và ứng dụng Java đã được tạo trước khi tạo chung.

Đây rất có thể là một cách tiếp cận thực tế, hoặc có lẽ là cách ít đau đớn nhất. Tuy nhiên, hiện nay thuốc generic được hỗ trợ rộng rãi trong toàn ngành, chúng ta có thể làm gì để không cần phải xóa kiểu? Là nó khả thi với việc cần phải phá vỡ tính tương thích ngược, hoặc nếu nó khả thi, nó có thực tế không?

Có tuyên bố cuối cùng trong trích dẫn ở trên đã trở thành tự tham khảo? Đó là: "loại xóa cho phép các ứng dụng Java sử dụng tổng quát để duy trì khả năng tương thích nhị phân với các thư viện và ứng dụng Java được tạo bằng các phiên bản Java thực hiện xóa kiểu."

Thời hạn sử dụng áp dụng cho Bộ công cụ phát triển Java và Môi trường chạy thi hành Java. Và chỉ có các phiên bản Oracle (Sun). Nhưng nó không áp dụng cho các ứng dụng được viết bởi bên thứ ba. Mục đích là không bao giờ phá vỡ mã đã từng chạy trên JVM, do đó, Java sẽ không bao giờ ngừng thực hiện việc xóa kiểu.

Tất nhiên, C # cũng đã giới thiệu thuốc generic trong phiên bản sau theo cách tương thích ngược mà không thực hiện xóa kiểu, nhưng về cơ bản nó có nghĩa là sao chép tất cả các lớp bộ sưu tập. Mà tôi cho rằng đó là những gì các nhà thiết kế Java không muốn làm và do đó tại sao họ lại chọn loại tẩy xóa ngay từ đầu. Không có loại giá trị, lợi thế của thuốc generic không xóa là không lớn.