Có cách nào để tránh lặp lại các thông số loại chung khi một loại có thể được suy ra từ cái kia không?

Question

Đây là một ví dụ giả tạo, nhưng đơn giản hơn để giải thích hơn so với mã thực tế của tôi:

public interface ContainerOwner<T, C extends Container<T>> { 
    // ... 
} 

tôi muốn tránh sự lặp lại của T ở chỗ loại chữ ký vì nó trở nên khó sử dụng khi các thông số mình có tham số, cho ví dụ:

ContainerOwner< 
    Optional<Future<Map<String, Integer>>>, 
    List<Optional<Future<Map<String, Integer>>>> 
> foo; 

Trong ví dụ này, tôi cảm thấy tham số đầu tiên có thể được suy ra từ lần thứ hai. Có một mẹo để làm điều đó?

Answer 1

Một cách có thể được sử dụng một tiểu giao diện cụ thể hơn sẽ cần chỉ có một tham số loại, một cái gì đó như:

public interface ListOwner<T> extends ContainerOwner<T, List<T>> { 
} 

Sau đó, mã của bạn sẽ là:

ListOwner<Optional<Future<Map<String, Integer>>>> foo;