如何在Scala中使用否定类型？

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

导读：我想做这样的事情： def iDontLikeStrings(arg: Not[String]) = {....} 基本上,这应该编译： iDontLikeStrings(23) iDontLikeStrings(true) 这不应该编译： iDontLikeStrings("hello") 解决方法这是我的实现(见 gist)：步骤1：捕获A的编码不是B的子类型 tr

我想做这样的事情：

def iDontLikeStrings(arg: Not[String]) = {....}

基本上,这应该编译：

iDontLikeStrings(23) 
iDontLikeStrings(true)

这不应该编译：

iDontLikeStrings("hello")

解决方法

这是我的实现(见 gist)：

步骤1：捕获A的编码不是B的子类型

trait NotSubTypeOf[A,B]

注意：我们可以使用中缀表示法来编写A NotSubTypeOf B而不是NotSubTypeOf [A,B]

步骤2：任意两种任意类型A和B的证据,A不是B的子类型

implicit def isSub[A,B]: A NotSubTypeOf B = null

步骤3：在A是B的子类型(或A =：= B)的情况下,定义用于触发编译错误的ambigious implicits

implicit def iSubAmbig1[A,B >: A]: A NotSubTypeOf B = null
implicit def iSubAmbig2[A,B >: A]: A NotSubTypeOf B = null

步骤4：为否定类型定义type-lambda：

type Not[T] = {
  type L[U] = U NotSubTypeOf T
}

使用kind-projector,可以使其更具可读性.

第5步：完成！

def iDontLikeStrings[A: Not[String]#L](a: A) = {
  println(a)
}

iDontLikeStrings(23)   // compiles
iDontLikeStrings(true) // compiles
//iDontLikeStrings("hello") // does not compile

在Scala 2.12中,最后一行的编译器错误消息可以更好地解决SI-6806.

此外,所有这些都建于Shapeless.

（编辑：李大同）

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