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

大部分是对的，但需要在实例化时指定<...>部分（否则会默认为原始类型，类似于

Java 泛型捕获组

Java generics capture group

java

generics

nested-generics