scala - 验证泛型类型参数是否符合 2 个不相关的类型

Question

在 Scala 中，可以为泛型参数指定类型绑定(bind)。

例如，要确保A 符合SomeType1，可以这样做:

trait Example[A <: SomeType1]

现在，假设我需要确保 A 符合 2 个不相关的类型 SomeType1 和 SomeType2。

有办法吗？

Answer 1

它只是一种产品类型，在Scala中你可以用with来表达这样的东西，即:

trait Example[A <: SomeType1 with SomeType2]