使用 _* 的 varargs 的 Scala 类型归属导致错误

我对 Scala 可变参数有一个初步的了解：接受可变参数的方法的参数需要hint它是一个 varargs 使用_*。使用Scala 2.10.3，我定义了以下两个方法

scala> def method(varargs:Int*)(more:String*) = println(varargs,more)
method: (varargs: Int*)(more: String*)Unit
scala> val method2 = method(1,2,3)_
method2: Seq[String] => Unit = 

使用列表或范围直接调用它们效果很好

scala> val paramList = List("hi","ho")
paramList: List[java.lang.String] = List(hi, ho)

scala> method2(paramList)
(WrappedArray(1, 2, 3),List(hi, ho))

scala> val range = (1 to 5) map {_.toString}
range: scala.collection.immutable.IndexedSeq[String] = Vector(1, 2, 3, 4, 5)

scala> method2(range)
(WrappedArray(1, 2, 3),Vector(1, 2, 3, 4, 5))

为什么当我通过赋予参数来调用它们时_*，我收到错误？

scala> method2(paramList:_*)
<console>:11: error: type mismatch;
 found   : List[String]
 required: Seq[Seq[String]]
              method2(paramList:_*)
                      ^

scala> method2(range:_*)
<console>:11: error: type mismatch;
 found   : scala.collection.immutable.IndexedSeq[String]
 required: Seq[Seq[String]]
              method2(range:_*)
                      ^

method2不是接受重复参数的方法，它是具有单个参数类型的函数Seq[String].

你应该这样称呼它：method2(paramList)没有:_*.

不存在这样的事情function accepting repeated parameters in scala 2.10，但它存在于scala 2.9:

scala> def method(varargs:Int*)(more:String*) = println(varargs,more)
method: (varargs: Int*)(more: String*)Unit

scala> val method2 = method(1,2,3)_
method2: String* => Unit = <function1>

scala> val paramList = List("hi","ho")
paramList: List[java.lang.String] = List(hi, ho)

scala> method2(paramList:_*)
(WrappedArray(1, 2, 3),List(hi, ho))

注意推断的类型method2: Seq[String] => Unit in 2.10 vs String* => Unit in 2.9.

这不是一个有用的功能：你不能使用类型变量String* => Unit作为参数或返回值。实际上String* => Unit即使在2.9:

scala> def test(f: String* => Unit) = ()
<console>:1: error: ')' expected but '=>' found.
       def test(f: String* => Unit) = ()
                           ^