Java泛型：通配符扩展类并包含该类

Question

假设你有这个变量：

Class<? extends AssetKey<?>> assetKeyClass;

那么我只能将assetKeyClass 设置为AssetKey 的子类类型。有没有办法做到这一点，并且允许 AssetKey 类类型本身？

像这样：

// Subclass
assetKeyClass = TextureKey.class;
// Class
assetKeyClass = AssetKey.class;

编辑： 忘记显示一些类代码：

public class AssetKey<T> {
// ...
}

public class TextureKey extends AssetKey<Texture> {
// ...
}

Answer 1

extends（或super）绑定始终包含绑定本身。

在您的情况下，问题是类文字，如 AssetKey.class，始终具有由该类的 非参数化 形式参数化的类型 Class。所以AssetKey.class 的类型为Class<AssetKey>。并且Class<AssetKey> 不是Class<? extends AssetKey<?>> 的子类型，因为原始类型 AssetKey 不是通配符参数化类型AssetKey<?> 的子类型。 （根据 Java 规则，一个类型的原始版本和参数化版本不是彼此的子类型。）

另一方面，TextureKey.class 具有类Class<TextureKey>，是Class<? extends AssetKey<?>> 的子类型，因为类型TextureKey（非泛型类）被声明为AssetKey<Texture> 的子类型，它是AssetKey<?> 的子类型。

如果你去掉通配符，只是将其声明为Class<? extends AssetKey> assetKeyClass;，它将起作用，因为AssetKey 是AssetKey 的子类型，因此Class<AssetKey> 是@ 的子类型987654341@.

Answer 2

正如Johannes Kuhn 评论的那样，答案是删除通配符，这样它是：

Class<? extends AssetKey>.

现在我只需要知道它为什么起作用。

Answer 3

与扩展一起使用

Class<? extends AssetKey> assetKeyClass;

// Subclass
assetKeyClass = TextureKey.class;
// Class
assetKeyClass = AssetKey.class;

与超级一起使用

Class<? super TextureKey> assetKeyClass ;

// Subclass
assetKeyClass = TextureKey.class;
// Class
assetKeyClass = AssetKey.class;