类型参数不会扩展给定类型

Question

我想定义一个泛型，使其类型参数不扩展给定的类型。

例如，

trait myTrait[T <: Throwable] {
  // ....
}

将定义一个特征，其类型参数扩展为Throwable。我想要的东西（不是真正的Scala代码）：

trait myTrait[T Not(<:) Throwable] {
  // ....
}

type type参数不扩展Throwable。有没有办法在Scala中构建这样的概念？

Answer 1

你可以使用implicits做这样的事情。这是Miles Sabin关于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