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

Question

在Scala中，可以指定泛型参数的类型绑定。

例如，要确保A符合SomeType1，我们可以这样做：

trait Example[A <: SomeType1]

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

有办法做到这一点吗？

Answer 1

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

trait Example[A <: SomeType1 with SomeType2]