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

我想做这样的事情：

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.