Hàm generic như một cái khuôn có ô trống chừa sẵn cho kiểu; constraint là tờ quy cách liệt kê đúng những vật liệu vừa khuôn. Tham số kiểu, ý nghĩa của ~, và ba chỗ nên dùng cùng ba chỗ không nên.
Hình dung kiểu generic như nhãn dán trên thùng đồ, bị xé đi trước khi giao hàng. Một dòng code chứng minh, bốn thứ Java cấm vì thế, và phương thức cầu nối mà trình biên dịch lén sinh ra sau lưng bạn.
Hình dung wildcard như hai cái cửa một chiều — máy bán nước chỉ nhả ra, hòm thư chỉ nuốt vào. Hai lỗi biên dịch thật giải thích trọn extends/super, rồi soi lại chữ ký sort và forEach trong JDK.
Vì sao generics tồn tại (dời lỗi kiểu từ lúc chạy sang lúc biên dịch), biên trên mở khoá những phương thức nào, và cách bóc một thông báo lỗi suy luận kiểu dài mười dòng thành ba câu dễ hiểu.