‘：*’(冒号下划线星号)在Scala中做什么？

Question

‘：*’(冒号下划线星号)在Scala中做什么？我有以下代码这个问题:def addChild(n: Node, newChild: Node) = n match {   case Elem(prefix, label, attribs, scope, child @ _*) => Elem(prefix, label, attribs, scope, child ++ newChild : _*)   case _ => error("Can only add children to elements!")}里面的一切都很清楚，除了这段：child ++ newChild : _*是干什么的呢？我知道有Seq[Node]连在一起Node然后呢？什么: _*做?

Answer 1

它“碎裂”¹序列。

查看构造函数签名

new Elem(prefix: String, label: String, attributes: MetaData, scope: NamespaceBinding,
         child: Node*)

被称为

new Elem(prefix, label, attributes, scope,
         child1, child2, ... childN)

但这里只有一个序列child1, child2等等，这样就允许将结果序列用作构造函数的输入。

编码愉快。

---

¹这没有一个可爱的名字在补充，但以下是细节。重要的是，它改变了Scala用重复的参数将参数绑定到方法的方式(如Node*(见上文)。

这个_*类型注释包括在补充劳工计划的“4.6.2重复参数”中。

参数部分的最后一个值参数可以是由“*”(例如(.，x：t*)连接的fi)。方法中这种重复参数的类型是序列类型Scala.Seq[T]。方法具有重复参数T*的变量数为T型。也就是说，如果方法m具有类型(p1：t1)，则为。....，pn：TN，PS：S*)U被应用于参数(E1，。....，ek)其中k>=n，则该应用程序中的m具有类型(p1：t1，。....，pn：TN，PS：S.....，ps0S)U，类型S的k‘n出现，其中超过ps的任何参数名称都是新的。这个规则的唯一例外是，如果最后一个参数通过_*类型注释被标记为序列参数。如果上面的m被应用于参数(E1，。....，en，e0：*)，则该应用程序中的m类型为(p1：t1，。....，pn：TN，PS：scala.Seq[S])

Answer 2

• child ++ newChild

  -序列

• :

  -类型归属，帮助编译器理解的提示，该表达式具有什么类型？

• _*

  -接受任何值+vararg运算符的占位符

child ++ newChild : _*膨胀Seq[Node]到Node*(告诉编译器我们使用的是varargs，而不是序列)。对于只能接受varargs的方法特别有用。

Answer 3

以上所有的答案看起来都很棒，但只是需要一个样本来解释这一点。下面是：

val x : Seq[Seq[Int]] = Seq(Seq(1),Seq(2))def f(arg: Seq[Any]*) : Int = {
 arg.length}f(x) //1 as x is taken as single argf(x:_*)  // 2 as x is "unpacked" as a Seq[Any]*

所以现在我们知道了:_*这是为了告诉编译器：请解压缩这个参数，并将这些元素绑定到函数调用中的vararg参数，而不是将x作为一个参数。

所以简单地说，:_*是在将参数传递给vararg参数时消除歧义。