Java 通用类型不匹配错误

Question

我有一个构造函数签名如下的类:

public class MyClass <U>{
    public <T> MyClass(Set<T> data, Function<T,U> func)...
}

没关系。但是我想重载构造函数，因为如果您不提供 Function func，它将只使用 (item)->{return item;}。我写了另一个构造函数，看起来像这样:

public <T> MyClass(Set<T> data){
    this(
      data,
      (item)->{return item;}
    );
}

这会导致类型不匹配错误，因为我作为参数提供给构造函数的函数采用 T 类型的值，并返回相同的值，该值应该是 你。我不明白为什么代数类型系统在这种情况下看不到 U 和 T 相同，这没关系？

Answer 1

系统必须假定 T 和 U 是两种不同的类型，因为您给了它们两个不同的名称。但是你可以像这样从你的第二个 ctor 中删除额外的泛型类型:

public class MyClass <U>{
    public <T> MyClass(Set<T> data, Function<T,U> func) {...}
    public MyClass(Set<U> data){
        this(
          data,
          (item)->{return item;}
        );
    }
}