相关疑难解决方法(0)

在Scala中,我可以在编译时强制执行类型相等.例如:

case class Foo[A,B]( a: A, b: B )( implicit ev: A =:= B )

scala> Foo( 1, 2 )
res3: Foo[Int,Int] = Foo(1,2)

scala> Foo( 1, "2" )
<console>:10: error: Cannot prove that Int =:= java.lang.String.

有没有办法强制执行类型A和类型B应该是不同的？

通过以下定义,可以确保具体类型参数相等:

trait WithEqual[T1 >: T2 <: T2, T2]

所以行

type A = WithEqual[Int, Int]

将是合法的.现在我的问题是:如何实现恰恰相反？因此,以下行应该不会编译:

type B = WithUnequal[Int, Int]