Java: Thiết lập mối tương quan giữa các tham số kiểu

Question

Giả sử rằng chúng tôi có hai giao diện Java chung: Foo<T> và Bar<T>, trong đó có thể có nhiều triển khai. Bây giờ, giả sử rằng chúng ta muốn lưu trữ một trong mỗi trong một lớp học duy nhất, cả hai bằng cách sử dụng cùng một giá trị T, nhưng giữ cho triển khai chính xác gõ:

public interface FooBar<T, TFoo extends Foo<T>, TBar extends Bar<T>> { 
    TFoo getFoo(); 
    TBar getBar(); 
} 

Ở trên, T được sử dụng cho mục đích duy nhất của việc thi hành đó TFoo và TBar 's lớp học sử dụng tham số cùng loại. Thêm tham số kiểu này để FooBar có vẻ dư thừa vì hai lý do:

1. FooBar không thực sự quan tâm đến T ở tất cả.
2. Ngay cả khi nó đã làm, T có thể được suy ra từ TFoo và TBar.

do đó câu hỏi của tôi là nếu có một cách để thực thi điều kiện như thế này mà không làm lộn xộn lên danh sách các tham số kiểu FooBar 's. Phải viết FooBar<String, StringFoo, StringBar> thay vì lý thuyết tương đương FooBar<StringFoo, StringBar> trông xấu xí với tôi.

Answer 1

Thật không may, không có cách nào tốt hơn ... Trình biên dịch cần loại T được khai báo để sử dụng nó và không có nơi nào khác để khai báo nó:

EDIT: liên kết không liên quan

If bound A is not specified first, you get a compile-time error:

class D <T extends B & A & C> { /* ... */ } // compile-time error 

(extract from this doc)

Và đây là một chút ngoài chủ đề, nhưng this doc xác định các quy ước về tên thông số loại như là các chữ cái in hoa đơn. Lưu ý: