为什么不在Scala中设置方法强制执行类似的类型？

Question

请考虑以下示例

val strings = Seq("foo", "bar")
val numbers = Seq(1,2,3)
strings.diff(numbers)

这是有效的代码(并导致一个空列表),但为什么scala不会发现我们正在比较不同类型的集合？

似乎有一个约束型B >: A的定义intersect,diff和union但不知何故,它不会导致编译器将拒绝我的例子为无效.

在scala中是否有类型严格/安全的方法来设置操作？

Answer 1

因为Seq是协变型(+A)

如果您想diff使用stricted类型,可以通过以下方式尝试:

strings.diff[String](numbers)