Tại sao Iterator có phương thức chứa nhưng Iterable thì không, trong Scala 2.8?

Question

Tôi muốn gọi 'chứa' trên Iterables của tôi :-)

Answer 1

lý do Iterable không có một phương pháp contains là bởi vì cách thức mà nó được định nghĩa có thể có những hậu quả trực tiếp trên vari ance. Về cơ bản, có hai chữ ký loại có ý nghĩa với nó:

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

Định nghĩa thứ hai đã tăng độ an toàn kiểu. Tuy nhiên, A, là tham số kiểu của bộ sưu tập, xuất hiện ở vị trí biến thể ngược, buộc tập hợp là bất biến. Nó thể được định nghĩa như thế này:

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

nhưng điều đó sẽ không cung cấp bất kỳ sự cải thiện so với chữ ký đầu tiên, sử dụng Any.

Kết quả là, bạn sẽ thấy rằng immutable.Seq là cùng biến thể và sử dụng chữ ký đầu tiên, trong khi immutable.Set là bất biến và sử dụng chữ ký thứ hai.

Answer 2

Tôi không biết tại sao contains không được định nghĩa trên Iterable hoặc TraversableOnce, nhưng bạn có thể dễ dàng xác định nó cho mình:

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

và sử dụng nó như thể nó đã được xác định trên Iterable:

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