scala - 为什么在 Scala 2.8 中 Iterator 有一个 contains 方法但 Iterable 没有？

Question

我想在我的 Iterables 上调用 'contains' :-)

Answer 1

Iterable没有方法的原因contains是因为它的定义方式会对方差产生直接影响。基本上，有两种类型签名对它有意义：

def contains(v: Any): Boolean
def contains(v: A): Boolean

第二个定义增加了类型安全性。但是，A作为集合的类型参数， 出现在逆变位置，这迫使集合保持不变。可以这样定义：

def contains[B >: A](v: B): Boolean

但这不会比第一个签名提供任何改进，使用Any.

因此，您会看到它immutable.Seq是协变的并使用第一个签名，而immutable.Set它是不变的并使用第二个签名。

Answer 2

我不知道为什么contains没有在Iterableor上定义TraversableOnce，但您可以自己轻松定义：

class TraversableWithContains[A](underlying: TraversableOnce[A]) {
  def contains(v: Any): Boolean =
    underlying.exists(_ == v)
}
implicit def addContains[A](i: Iterable[A]) = new TraversableWithContains(i)

并像在 Iterable 上定义一样使用它：

val iterable: Iterable[Int] = 1 to 4
assert(iterable.contains(3))
assert(!iterable.contains(5))