当一种类型可以从另一种类型推断出来时，有没有办法避免重复泛型类型参数？

Question

这是一个人为的例子，但比我的实际代码更容易解​​释：

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

我希望避免在该类型签名中重复T，因为当参数本身具有参数时它会变得难以处理，例如：

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

在这个例子中，我觉得第一个参数可以从第二个推断出来。有没有办法做到这一点？

Answer 1

一种方法是使用一个更具体的子接口，它需要只有一个类型参数，例如：

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

然后你的代码将是：

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