Scala Template Restrictions

Question

В Scala можно ли произвольно установить ограничения на типы шаблонов? В частном случае, я работаю, у меня есть класс с двумя параметрами шаблона следующим образом:

class TwoWayMap[S,T]() 
{ 
    ... 
} 

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

def apply(t : T) 
def apply(s : S) 

, но очевидно, что это не работает, если типы совпадают, поэтому Я хотел бы ограничить S! = T

Answer 1

В дополнение к тому, что написал Йоа Эберт: Одним из возможных путей решения этой проблемы является использование типа Either:

class TwoWayMap[S,T] { 
    def apply(k:Either[S,T]):Either[S,T] = k match { 
     case Left(s) => Right(tForS(s)) 
     case Right(t) => Left(sForT(t)) 
    } 
    // ... 
} 

Может быть, это слишком много шаблонного для вас, хотя.

Answer 2

Из-за стирания стилей Java как , так и def apply(s: S) приведет к def apply(...: Object), который был бы неоднозначным.

Так что даже если вы найдете ограничение на S != T, это невозможно.