java - 有界 Java 泛型无法编译

Question

我无法编译它，而且我不明白原因。最终，我想将类扩展 TClass 的对象集合传递到生成方法中，该方法采用类扩展 TClass 的对象集合，这应该有效。

如有任何帮助，我们将不胜感激。

public interface Generator<IT extends ITClass, T extends TClass> {

    IT generate(Collection<T> tClassCollection)
}

Generator<?, ? extends TClass> generator = generatorClass.newInstance();

Collection<? extends TClass> TClassCollection = ...

... generator.generate(TClassCollection);

我收到此错误

The method generate(Collection<capture#8-of ? extends TClass>) in the type 
Generator<capture#7-of ?,capture#8-of ? extends TClass> is not applicable for the arguments (Collection<capture#9-of ? extends TClass>)

Answer 1

This should work

没有；如果这样做的话，就会在类型系统中打开一个漏洞。考虑:

class SpecialT extends TClass {}

class SpecialGenerator extends Generator<ITClass, SpecialT> {}

Generator<?, ? extends TClass> generator = SpecialGenerator.class.newInstance();
Collection<? extends TClass> TClassCollection = Arrays.asList(new TClass());
generator.generate(TClassCollection);

一个SpecialGenerator只能与 Collection<SpecialT> 一起使用，但您正在尝试传递 Collection<TClass> ，它可以包含除 SpecialT 之外的类型的实例.