Я хотел бы определить родовое такое, что его параметр типа НЕ расширяет данный тип.
Например,
trait myTrait[T <: Throwable] {
// ....
}
будет определять признак, где его параметр типа расширяет Throwable. Я хочу что-то вроде (не реального Scala кода):
trait myTrait[T Not(<:) Throwable] {
// ....
}
Если параметр типа типа НЕ расширяет Throwable. Есть ли способ построить такое понятие в Scala?
Вы можете делать такое, используя implicits. Вот трюк от Майлза Сабина на scala -языке:
// Encoding for "A is not a subtype of B"
trait <:!<[A, B]
// Uses ambiguity to rule out the cases we're trying to exclude
implicit def nsub[A, B] : A <:!< B = null
implicit def nsubAmbig1[A, B >: A] : A <:!< B = null
implicit def nsubAmbig2[A, B >: A] : A <:!< B = null
// Type alias for context bound
type NOT[T] = {
type Lambda[U] = U <:!< T
}
// foo does not accept T of type Unit
def foo[T : NOT[Unit]#Lambda](t : T) = t