Scala 类型级别减号

Question

有没有办法，如何在类型上表达减号运算符？我希望能够实现这一目标:

trait A
trait B
type C = A with B
type D = C minus A
// type B == D

我知道，这不能直接完成，但也许有人能够用一些巧妙的技巧来表达这个运算符......

---编辑

动机:

trait A
object B extends A
object C extends A
object D extends A
def myMethod(one:A,two:A,three:A) = ???

每个类型只能使用一次，所以当此方法的用户选择B作为one参数时，使用C<是有效的 和 D 在其他参数...

Answer 1

有两个不同的问题 — 我只回答这样的用例:如果您两次传递同一个对象，您希望调用 myMethod 失败。对于前四行，请参阅 Miles Sabin’s answer Peter Schmitz 链接的问题。

trait =!=[A, B]
implicit def neq[A, B]: A =!= B = null
implicit def neqAmbig1[A]: A =!= A = null
implicit def neqAmbig2[A]: A =!= A = null

trait A
object B extends A
object C extends A
object D extends A
def myMethod[A, B, C](one: A, two: B, three: C)(implicit ev1: A =!= B, ev2: A =!= C, ev3: C =!= B) = ???