在Java中，是否可以重用接口参数中的泛型类型来创建另一个也需要泛型类型的类？如果是这样，怎么办？

如何解决在Java中，是否可以重用接口参数中的泛型类型来创建另一个也需要泛型类型的类？如果是这样，怎么办？

这是我拥有的Java代码的概述：

// An interface and an implementation class:
public interface MyInterface<T1,T2> { ... }
public class MyImplementation implements MyInterface<int,String> { ... }

// Another class
public class MyClass<T3,T4> { ... }

// Function I want to call
void doStuff(MyInterface i) {
  MyClass<int,String> n;
}

// I want to call the function like this:
MyInterface mi = new MyImplementation();
doStuff(mi);

我不知道是否可以让MyClass<int,String> n;以某种方式使用传递给MyImplementation的{​​{1}}类中的泛型类型？在这种情况下，doStuff()将自动使用n，因为这就是<int,String>所使用的。

解决方法

是的，可以。

让我们远离模糊的假设，取真实的类：Collection<T>，Map<K,V>和Function<F,T>。假设您想以Map类型（或接口，没关系，签名是签名）编写一个方法，该方法需要一个“密钥转换器”（将Ks转换为其他东西的东西），并返回一个否则，它由映射中的每个键组成，并通过转换器抛出并添加到集合中。

class MapImpl<K,V> implements Map<K,V> {
    public <T> Collection<T> convertKeys(Function<K,T> converter) {
        List<T> out = new ArrayList<T>();
        for (K key : keySet()) out.add(converter.apply(key));
        return out;
    }
}

这里使用了很多概念：

• 该实现不会锁定K和V的类型。您不只是从实现的接口继承typevar，因此，MapImpl获得了自己的K，V，它们也用作接口的K，V 。涵盖第1行。
• convertKeys方法除了已经获得的K，V之外，还引入了自己独特的typevar。那是因为..很好，方法就是这样工作的：映射的键具有某种类型，值具有其他类型，并且此转换器将转换为第三种类型。三种类型：K，V和T。一种方法可以仅为该方法引入新的变量，这就是<T>在第2行中的全部内容。
• 每次命名类型名称时，如果该类型名称被泛化，则必须 抛在<>之后并放入适当的内容。或不要放置适当的东西，这意味着：嘿，编译器，请弄清楚（如果可以的话）（所谓的菱形运算符）。在您的代码段中，您将MyInterface i用作方法参数类型，这很糟糕：MyInterface具有泛型，因此它后面必须有<>。在这种情况下，您必须添加内容，因为编译器无法尝试找出所有内容。

回到您的代码，它看起来像：

public <K,V> void doStuff(MyInterface<K,V> i) {
    MyClass<K,V> n;
}

NB：请记住，泛型链接事物。最后一个片段只是在说：“ i”参数类型的MyInterface部分的第一个typearg和“ n”局部变量的MyClass部分的第一个typearg之间存在链接。我不知道那是什么类型。我知道它是同一类型。除非typevar出现在2个或更多位置，否则泛型是完全无用的。

NB2：如果您随后想要获得真实的幻想，那么您就开始考虑co / contra /不变性。例如，在关键转换器故事中，如果您有一个转换器可以将任何对象转换为其他也很酷的东西。实际上，可以转换Ks或Ks的任何超类型的转换器都是合适的。因此，实际上，您最终得到了：public <T> Collection<T> convertKeys(Function<? super K,? extends T> converter) {}-但是这种高级方差工程是一个不错的好处，请随时跳过源代码中的那些位，直到遇到麻烦为止，因为您没有考虑到它