Map.contains с супер-типа ключа типа

Question

У меня есть случай, когда

trait EventLike 
trait Event extends EventLike 

trait API { 
    private var map = Map.empty[Event, Any] 

    def contains(e: EventLike): Boolean = map.contains(e) 
} 

Это не работает из-за инвариантности в ключевых типу карты:

<console>:58: error: type mismatch; 
found : EventLike 
required: Event 
      def contains(e: EventLike): Boolean = map.contains(e) 
                   ^

Что хорошая работа с минимальным штрафом за производительность. То есть, я специально не хочу, чтобы ввести эту ужасную вещь:

def contains(e: EventLike): Boolean = e match { 
    case e1: Event => map.contains(e1) 
    case _ => false 
    } 

Есть другой Map реализации (может быть изменчивым, как это нить местный) я мог бы использовать?

Answer 1

Вы можете объявить карту в Map[EventLike, Any]:

trait API { 
    private var map = Map.empty[EventLike, Any] 
    def contains(e: EventLike): Boolean = map.contains(e) 

    def add(e:Event): Unit = { 
    map += (e -> ???) 
    } 
} 

Вы все еще можете заполнить карту только с Event ключами, при поиске как Event и EventLike.

UPD

Если вы не возражаете против использования Java изменяемых коллекций, вы можете использовать HashMap, который принимает любой объект в качестве аргумента того, содержит независимо от параметров типа карты:

trait API { 
    private val map = new java.util.HashMap[Event, Any] 
    def contains(e: EventLike): Boolean = map.containsKey(e) 
} 

Answer 2

EventLike является супертипом Event, поэтому это не сработает, даже если тип ключа Map был ковариантным.

Вы в основном хотите проверить EventLike является Event, и вы можете сделать это только во время выполнения, либо с раствором или с чем-то вроде

def contains(e: EventLike): Boolean = 
    e.isInstanceOf[Event] && map.contains(e.asInstanceOf[Event] 

Будет не статическая проверка типов работы в вашем случае ?

def contains(e: Event): Boolean = map.contains(e)