Как переопределить методы в признаке Scala?

Question

У меня есть класс, который смешивает в нескольких разных чертах поведение кодирования для сопоставления заказов с учетом различных доступных типов ордеров. Определение класса выглядит следующим образом ...

class DoubleAuctionMarket(val security: Security) extends EventBus { 
    this: MatchingEngine => 

соответствующих частей основного MatchingEngine признака выглядят следующим образом ...

trait MatchingEngine { 

    /** Implements crossing logic for various types of orders. */ 
    def crosses(incoming: Order, top: Order): Boolean 

    /** Implements price formation rules for various types of orders. */ 
    def formPrice(incoming: Order, top: Order): Double 

} 

Я еще одна черта под названием LimitOrderOnlyMatchingEngine, который расширяет базовую черту следующим образом ...

trait LimitOrderOnlyMatchingEngine extends MatchingEngine { 

    def crosses(incoming: LimitOrder, top: LimitOrder): Boolean = { 

    (incoming, top) match { 
     case (incoming: LimitOrderAsk, top: LimitOrderBid) => 
     incoming.limit <= top.limit 
     case (incoming: LimitOrderBid, top: LimitOrderAsk) => 
     incoming.limit >= top.limit 
    } 

    } 

    def formPrice(incoming: LimitOrder, top: LimitOrder): Double = top.limit 

} 

Теперь, когда я пытаюсь смешивать в LimitOrderOnlyMatchingEngine используя

new DoubleAuctionMarket(security) with LimitOrderOnlyMatchingEngine 

Я сказал, что «создание объекта невозможно», потому что ни один метод crosses, ни метод formPrice были выполнены в соответствии с требованиями собственной аннотации типа я использовал.

Не уверен, что происходит. Я подозреваю, что либо:

1. мне нужно каким-то образом переопределить соответствующие методы в LimitOrderOnlyMatchingEngine или
2. мне нужно определить типы входных данных для этих методов в базовом классе по-разному.

Мысли?

Answer 1

Проблема в том, что вы технически не реализуете два метода в признаке MatchingEngine. Черта определяет:

def crosses(incoming: Order, top: Order): Boolean 
def formPrice(incoming: Order, top: Order): Double 

Но вы реализовали:

def crosses(incoming: LimitOrder, top: LimitOrder): Boolean 
def formPrice(incoming: LimitOrder, top: LimitOrder): Double 

Вы могли бы решить с обобщениями (я не помню, если это +Order или -Order ...), но другой способ является то, что из-за вас Если вы используете сопоставление с образцом, он будет работать только путем изменения типов аргументов, хотя вы, вероятно, захотите, чтобы так или иначе использовать другие типы заказов.

Я добавил заглушки для классов как Order, LimitOrder и т.д., и в следующем компилирует красиво:

// NOTE: Order not LimitOrder 
def crosses(incoming: Order, top: Order): Boolean = { 
    (incoming, top) match { 
    case (incoming: LimitOrderAsk, top: LimitOrderBid) => 
     incoming.limit <= top.limit 
    case (incoming: LimitOrderBid, top: LimitOrderAsk) => 
     incoming.limit >= top.limit 
    } 
} 

// NOTE: Order not LimitOrder 
def formPrice(incoming: Order, top: Order): Double = 0.0 // Note pattern matching needed 

Как примечание стороны, это здорово Scala добиваются успехов в финансовом мир.