scala - 是否可以将泛型参数限制为父类(super class)型的子集？

Question

在 Scala 中，我可以将泛型参数限制为父类(super class)型的子集吗？

sealed trait A
class X extends A
class Y extends A
class Z extends A

def myStrictFunc[T is X or Y, but not Z](o: T)
                 ----------+----------
                           |
                           Can I have this constraint in Scala ?

Answer 1

如果您需要从众多答案中排除一个，Dmytro Mitin 的答案是一个很好的答案。另一方面，如果您需要将包含范围限制为众多中的少数，那么这是一种方法。

sealed trait A {val id: Int}
class W extends A {val id = 13}
class X extends A {val id = 17}
class Y extends A {val id = 18}
class Z extends A {val id = 21}

trait Contra[-X]
type Union[A,B] = {
  type Check[Z] = Contra[Contra[Z]] <:< Contra[Contra[A] with Contra[B]]
}

def myStrictFunc[T <: A : Union[X,Y]#Check](t: T): Int = t.id

myStrictFunc(new X)  //res0: Int = 17
myStrictFunc(new Y)  //res1: Int = 18
myStrictFunc(new Z)  //won't compile
myStrictFunc(new W)  //won't compile

Union 类型可以扩展到 3、4 或更多类型，但代码有点冗长。