Группа захвата дженериков Java

Question

У меня проблемы с правильным использованием групп захвата Java.

Предположим, у меня есть эти классы:

class Foo{}
class Bar{}

interface InterfaceXYZ<T>{ 
  void doSomething(T t);
}

class FooImplementation implements InterfaceXYZ<Foo>{
  @Override void doSomething(Foo){}
}

В заключение,

class Delegator<T>{
  Delegator(InterfaceXYZ<T> delegate){this.delegate = delegate;}

  void doSomething(T t) {
    delegate.doSomething(t);
  }

  private InterfaceXYZ<T> delegate;
}

Проблема в том, что это работает нормально -

FooImplementation fi = new FooImplementation();
Delegator d = new Delegator(fi);
d.doSomething(new Foo());

Это не работает нормально (как и ожидалось) - вызывает исключение во время выполнения

FooImplementation fi = new FooImplementation();
Delegator d = new Delegator(fi);
d.doSomething(new Bar());

Почему не выдает ошибку времени компиляции? Если мне нужно, чтобы он выдавал ошибку времени компиляции, какие изменения мне нужно сделать?

Answer 1

По большей части это правильно, но вам нужно указать часть <...> во время создания экземпляра (или она будет по умолчанию иметь тип raw, что аналогично