奇怪的結合使用mismtatch泛型

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不匹配）。