param: _* 在 Scala 中意味着什么？

Question

作为 Scala (2.9.1) 的新手，我有一个 List[Event] 并希望将其复制到 Queue[Event] 中，但以下语法会产生一个Queue[List[Event]] 相反：

val eventQueue = Queue(events)

出于某种原因，以下内容有效：

val eventQueue = Queue(events : _*)

但我想了解它的作用以及为什么有效？我已经查看了 Queue.apply 函数的签名：

def apply[A](elems: A*)

我明白为什么第一次尝试不起作用，但第二次尝试的含义是什么？在本例中，: 和 _* 是什么，为什么 apply 函数不只采用 Iterable[A] ？

Answer 1

a: A 是类型归属；请参阅 Scala 中类型归属的目的是什么？

: _* 是类型归属的一个特殊实例，它告诉编译器将序列类型的单个参数视为可变参数序列，即 varargs。

使用 Queue.apply 创建一个具有单个序列或可迭代元素的 Queue 是完全有效的，因此这正是当您给出单个 <代码>可迭代[A]。

Answer 2

这是一种特殊的表示法，告诉编译器将每个元素作为其自己的参数传递，而不是将所有元素作为单个参数传递。请参阅此处。

它是一个类型注释，指示序列参数，并在语言规范第 4.6.2 节“重复参数”中作为一般规则的“例外”提到。

当函数采用可变数量的参数时，它很有用，例如像 def sum(args: Int*) 这样的函数，可以作为 sum(1) 调用、 sum(1,2) 等。如果您有一个诸如 xs = List(1,2,3) 之类的列表，则无法传递 xs 本身，因为它是一个 List而不是 Int，但您可以使用 sum(xs: _*) 传递其元素。

Answer 3

对于 Python 人员：

Scala 的 _* 运算符或多或少相当于 Python 的 *-运算符。

---

示例

从 链接由Luigi Plinge提供：

def echo(args: String*) = 
    for (arg <- args) println(arg)

val arr = Array("What's", "up", "doc?")
echo(arr: _*)

Python会看起来like:

def echo(*args):
    for arg in args:
        print "%s" % arg

arr = ["What's", "up", "doc?"]
echo(*arr)

并且都给出以下输出：

什么是
向上
医生？

---

区别：解包位置参数

虽然 Python 的 * 运算符还可以处理位置参数/固定数量函数参数的解包：

def multiply (x, y):
    return x * y

operands = (2, 4)
multiply(*operands)

8

对 Scala 执行同样的操作：

def multiply(x:Int, y:Int) = {
    x * y;
}

val operands = (2, 4)
multiply (operands : _*)

将会失败：

方法乘法没有足够的参数：(x: Int, y: Int)Int。
未指定值参数 y。

但使用 scala 可以实现相同的效果：

def multiply(x:Int, y:Int) = {
    x*y;
}

val operands = (2, 4)
multiply _ tupled operands

根据 洛林·尼尔森这是它的工作原理：

第一部分 f _ 是部分应用函数的语法，其中未指定任何参数。这是一种获取函数对象的机制。 tupled 返回一个新函数，其 arity-1 接受单个 arity-n 元组。

进一步阅读：

• stackoverflow.com - scala 元组解包