scala – 类型参数不扩展给定类型

发布时间：2020-12-16 09:17:04 所属栏目：安全来源：网络整理

导读：我想定义一个泛型,使其类型参数不扩展给定的类型. 例如, trait myTrait[T : Throwable] { // ....} 将定义一个特征,其类型参数扩展Throwable.我想要的东西(不是真正的Scala代码)： trait myTrait[T Not(:) Throwable] { // ....} 类型类型参数不扩展Throwabl

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

例如,

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

将定义一个特征,其类型参数扩展Throwable.我想要的东西(不是真正的Scala代码)：

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

类型类型参数不扩展Throwable的位置.有没有办法在Scala中构建这样一个概念？

解决方法

你可以用这样的事情使用暗示.这是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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!