java - 使用泛型的奇怪绑定(bind)不匹配

Question

我有:

public abstract class HistorizableStatusEntity<S extends Status, 
       O extends IdentifiedEntity> extends IdentifiedEntity

具体实现:

public class OrderStatusHistory extends HistorizableStatusEntity<OrderStatus, Order>

现在有:

public abstract class StatusableEntity<H extends HistorizableStatusEntity<S, IdentifiedEntity>, 
       S extends Status> extends IdentifiedEntity

具体实现:

public class Order extends StatusableEntity<OrderStatusHistory, OrderStatus>

java编译器说关于Order :

Bound mismatch: The type OrderStatusHistory is not a valid substitute for the bounded parameter <H extends HistorizableStatusEntity<S,IdentifiedEntity>> of the type StatusableEntity<H,S>

我不明白这一点，因为 OrderStatusHistory 扩展了 HistorizableStatusEntity<S,IdentifiedEntity>> .

有什么想法吗？ TIA!

Answer 1

StatusableEntity需要类型 H extends HistorizableStatusEntity<S, IdentifiedEntity>而您提供 OrderStatusHistory扩展到 HistorizableStatusEntity<OrderStatus, Order> 。正如您在此处看到的，正确的类型与 StatusableEntity 不匹配期望( Order 与 IdentifiedIdentity 不匹配)。