Tại sao Bộ bất biến của Scala không đồng biến trong kiểu của nó?

CHỈNH SỬA : Đã viết lại câu hỏi này dựa trên câu trả lời ban đầu

Các scala.collection.immutable.Setlớp học không được hiệp biến trong tham số kiểu của nó. Tại sao thế này?

import scala.collection.immutable._

def foo(s: Set[CharSequence]): Unit = {
    println(s)
}

def bar(): Unit = {
   val s: Set[String] = Set("Hello", "World");
   foo(s); //DOES NOT COMPILE, regardless of whether type is declared 
           //explicitly in the val s declaration
}

Setlà bất biến trong tham số kiểu của nó vì khái niệm đằng sau các tập hợp là các hàm. Các chữ ký sau đây sẽ làm rõ mọi thứ một chút:

trait Set[A] extends (A=>Boolean) {
  def apply(e: A): Boolean
}

Nếu Setlà hiệp phương sai trong A, applyphương thức sẽ không thể nhận tham số kiểu Ado sự trái ngược của các hàm. Setkhả năng có thể được contravariant trong A, nhưng điều này cũng gây ra vấn đề khi bạn muốn làm những việc như thế này:

def elements: Iterable[A]

Nói tóm lại, giải pháp tốt nhất là giữ cho mọi thứ luôn bất biến, ngay cả đối với cấu trúc dữ liệu bất biến. Bạn sẽ nhận thấy điều đó immutable.Mapcũng bất biến ở một trong các tham số kiểu của nó.

tại http://www.scala-lang.org/node/9764 Martin Odersky viết:

"Về vấn đề tập hợp, tôi tin rằng sự không phương sai cũng bắt nguồn từ việc triển khai. Các tập hợp phổ biến được triển khai dưới dạng hashtable, là mảng không biến thể của loại khóa. Tôi đồng ý rằng đó là một sự bất thường hơi khó chịu."

Vì vậy, có vẻ như tất cả những nỗ lực của chúng tôi để xây dựng một lý do chính cho điều này đã sai lầm :-)

CHỈNH SỬA : đối với bất kỳ ai thắc mắc tại sao câu trả lời này có vẻ hơi lạc đề, điều này là do tôi (người hỏi) đã sửa đổi câu hỏi.

Suy luận kiểu của Scala đủ tốt để tìm ra rằng bạn muốn CharSequences chứ không phải Strings trong một số tình huống. Đặc biệt, những điều sau đây phù hợp với tôi trong 2.7.3:

import scala.collections.immutable._
def findCharSequences(): Set[CharSequence] = Set("Hello", "World")

Về cách tạo trực tiếp Immutable.HashSets: không. Là một tối ưu hóa triển khai, Immutable.HashSet có ít hơn 5 phần tử thực sự không phải là trường hợp của Immutable.HashSet. Chúng là EmptySet, Set1, Set2, Set3 hoặc Set4. Các lớp này là lớp con Immutable.Set, nhưng không phải là không thể thay đổi.HashSet.