Nhiều giao diện chung separator:"," hoặc "&""&" hoặc " ": sự khác biệt giữa A là gì <T kéo dài I1 & I2> và A <T kéo dài I1, I2>
Tôi luôn sử dụng A<T extends I1, I2> nhưng hôm nay, tôi thấy A<T extends I1 & I2>. Sự khác biệt giữa hai ký hiệu này là gì?
Điều đó có ý nghĩa khác không? Mục đích?
A<T extends I1, I2>
là một loại A với hai tham số
T này phải là một subtype của I1I2Bạn có thể đọc là "Một giới từ < > loại T mở rộng I1 < giới từ > t ype I2" , nên SortedMap<Key extends comparable, Value> là một "bản đồ từ chìa khóa loại so sánh với loại giá trị"
A<T extends I1 & I2>
là một loại A với một tham số duy nhất
T này phải là một subtype của I1 và một loại phụ của I2Bạn có thể đọc điều này là "A < giới từ > loại T kéo dài I1 và I2" do đó, một SortedSerializableSet<T extends Serializable & Comparable> có thể được đọc 'một bộ sắp xếp các phần tử kiểu T mà là cả hai serializable và so sánh'
Bạn nói đúng! Tôi đã bị quấy rầy bởi 'mở rộng' khiến tôi nghĩ rằng I1 và I2 liên quan đến T ... Xấu hổ với tôi ... – ncenerar
Cũng lưu ý rằng hôn mê (', ') được sử dụng khi một lớp thực hiện nhiều giao diện nhưng '&' không được phép ở đó ... Điều này gây nhầm lẫn ... – ncenerar
@NicolasCenerario, tôi đồng ý rằng ',' là khó hiểu. Lý tưởng nhất là trong các chữ ký kiểu, chúng sẽ sử dụng lại 'các thực thi' hoặc sử dụng dấu câu như (' | ') truyền tải ý tưởng rằng bạn đang mở rộng tập hợp các cạnh bên trái có thể chấp nhận các giá trị của kiểu được khai báo. –
nắm bắt tốt các mâu thuẫn – irreputable