List 中的伴随方法

Question

我注意到 List 类中有一个名为“companion”的方法。它有什么作用？它的定义是“构建类 List 实例的工厂伴随对象”。

看来我可以使用 l.companion(11,12,13)​​ 方法创建 List 的新实例，但为什么我要这样做而不是使用 List(11,12,13)​​？

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

val l2 = l.companion
l2: scala.collection.generic.GenericCompanion[List] = scala.collection.immutable.List$@6c3e1f48

//I can create new instances of a List using l2 but why would I do it this way?
val l3 = l2(100,11,123)

l3.foreach(println _)
100
11
123
res0: Unit = ()

从伴生返回的对象也可以用于创建可变集合（构建器）。但是我为什么要这样创建集合！

//create a Builder (a mutable collection) whose elements would be list of strings
val l5 = l2.newBuilder[List[String]]
l5: scala.collection.mutable.Builder[List[String],List[List[String]]] = ListBuffer()

l5+=List("h")
l5+=List("2")

println(l5)
ListBuffer(List(h), List(2))
res3: Unit = ()

Answer 1

它并不适合您在正常情况下使用。集合类的许多伴生对象都继承自 GenericCompanion。从它继承的任何东西都必须实现newBuilder，它为关联的集合类型提供Builder。反过来，该集合的伴随对象继承了 apply 和 empty 方法，这些方法在标准集合库中几乎无处不在。

每个List（和许多其他集合）都引用它自己的同伴的（可能的）原因是它可以用于泛型，尤其是高级类型。

没有单独使用类型系统将类型与其伙伴连接起来的本地方法。例如，如果你想要一些M[A] <: Traversable[A]，你无法找到它的伴侣（一般来说，像这样的泛型类型甚至可能没有）。为了解决这个问题，我们要求集合本身具有对其自身伴侣的引用（具有其他类型参数和施加的约束）。它还省去了在所有集合中复制apply 和empty 的多个实现的需要。