Java Общих типов ошибок несовпадения

Question

У меня есть класс с конструктором подписью следующим образом:

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

Это нормально. Но я хочу перегрузить конструктор, в случае, если вы не предоставляете функцию func, она просто будет использовать (item)->{return item;}. Я написал еще один конструктор, который выглядит следующим образом:

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

Это вызывает ошибку несоответствия типов, так как функцию я обеспечиваю в качестве аргумента моего конструктора принимает значение типа T, и возвращает то же значение, которое должно быть U. Я не понимаю, почему система алгебраического типа не видит, что в этом случае 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;} 
     ); 
    } 
} 

Answer 2

Давайте попробуем создать экземпляр вашего класса, используя второй конструктор:

Set<Integer> ints = new HashSet<>(); 
MyClass<String> myobj = new <Integer> MyClass (ints); 

ваш первый конструктор будет ожидать Set<Integer> и Function<Integer,String>, но ваш второй конструктор попытается передать ему Function<Integer,Integer>. Вот почему ваш код не передает компиляцию.

Когда вы определяете общие классы и методы, они должны быть действительны для любой комбинации типов, которые могут заменить их параметры типа.

Answer 3

Поскольку вы объявили два разных типа T и U, компилятор разумно считает, что они разные. Если они одинаковы, не объявляйте T и использовать только U:

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