Evidence that types are not equal in Scala [duplicate]

问题

This question already has answers here:

Enforce type difference (7 answers)

Closed 2 years ago.

Is there any way to constraint a method so that it only makes sense if two types are proved not to be equal?

trait Something[A, B] {
  // I can only be called if type A is the same as type B
  def ifEqual(implicit ev: A =:= B)

  // Now I cannot be called if type A is proven to be the same as type B
  def ifNotEqual(implicit ev: A ??? B)
}

回答1:

Yes. From shapeless,

// Type inequalities
trait =:!=[A, B] 

implicit def neq[A, B] : A =:!= B = new =:!=[A, B] {}
implicit def neqAmbig1[A] : A =:!= A = ???
implicit def neqAmbig2[A] : A =:!= A = ???

来源：https://stackoverflow.com/questions/24519487/evidence-that-types-are-not-equal-in-scala