在 Scala 中创建列表和集合：我实际上得到了什么？

Question

如果我使用 Set(1, 2, 3) 在 Scala 中创建一个 Set，我会得到一个 immutable.Set。

scala> val s = Set(1, 2, 3)
s: scala.collection.immutable.Set[Int] = Set(1, 2, 3)

Q1：这到底是一个什么样的套装？它是一些哈希集吗？例如，查找的复杂性是多少？

问题2：在哪里可以阅读到这种“创建集合”的方法？我认为这是 apply 方法，但文档说“此方法允许将集合解释为谓词。它返回 true，当且仅当该集合包含元素 elem 时。”

---

类似，如果我使用 List(1, 2, 3) 创建一个 List，我会得到

scala> val l = List(1, 2, 3)
l: List[Int] = List(1, 2, 3)

scala> l.getClass
res13: java.lang.Class[_] = class scala.$colon$colon

Q3: 再说一遍，我会得到什么？在这种情况下，我什至无法立即判断它是否可变，因为它甚至不是 scala.collection 包的一部分。为什么它存在于 scala 包中？

问题 4： 在 API 中，我可以在哪里阅读有关此“列表创建”方法的信息？

Answer 1

Q1：在这种特定情况下，您会得到一个 Set3，它是一个由三个参数组成的不可变集合。据推测它使用 if-else if-else 来检查包含。如果您创建的元素超过 4 个，您将获得一个不可变的哈希集。

Q2：你需要查看对象Set的apply方法，而不是类。 Set 类的 apply 方法是在执行 someSet(something) 时调用的方法。

Q3： scala.:: 是一个非空不可变单链表（如果执行不带参数的 List() 操作，则会得到 Nil 这是一个不可变空列表）。它位于 scala 包中，因为它被认为非常基本，因此属于基础包。

Q4：参见 Q2。

Answer 2

只是为了补充 sepp2k 对第三季度的出色回答，他说

它位于 scala 包中，因为
它被认为是如此基本以至于它
属于基础包。

这适用于 Scala 2.7

在 Scala 2.8 中，集合类已被重新组织，现在 :: 类位于 scala.collection.immutable 中，名称为 scala.:: 是 scala.collection.immutable.:: 的类型别名。

Welcome to Scala version 2.8.0.RC5 (OpenJDK 64-Bit Server VM, Java 1.6.0_18).
Type in expressions to have them evaluated.
Type :help for more information.

scala> val l = List(1, 2, 3)
l: List[Int] = List(1, 2, 3)

scala> l.getClass
res0: java.lang.Class[_] = class scala.collection.immutable.$colon$colon

scala> scala.::
res1: collection.immutable.::.type = scala.collection.immutable.$colon$colon$@6ce5d622

Answer 3

如果你调用 getClass 方法，

scala> val list = List(1,2,3,45)
list: List[Int] = List(1, 2, 3, 45)

scala> val seq = Seq(1,2,3,4,5)
seq: Seq[Int] = List(1, 2, 3, 4, 5)

scala> list.getClass
res13: Class[_ <: List[Int]] = class scala.collection.immutable.$colon$colon

scala> seq.getClass
res14: Class[_ <: Seq[Int]] = class scala.collection.immutable.$colon$colon

那是因为 scala.collection.immutable.List 是一个抽象类，它有两个实现：scala.Nil 类和 scala.:: 。在 Scala 中，:: 是一个有效的标识符，您可以使用它来命名一个类。 Nil 代表空列表，scala.:: 代表任何非空列表。