对重载定义的二义性引用-一个与两个参数

Question

object List {
  def apply[T](): List[T] = new Nil
  def apply[T](x1: T): List[T] = new Cons(x1, new Nil)
  def apply[T](x1: T, x2: T): List[T] = new Cons(x1, new Cons(x2, new Nil))
  def apply[T](elems: T*): List[T] = 
    elems.foldRight(List[T])((elem, l) => new Cons(elem, l))
}

List(1) // Error - Ambiguity 
List('a', 'b') // Works fine

scalac抱怨第一个实例化（对重载定义的引用不明确），因为单个参数和varargs方法都是相同特定的。

搜索stackoverflow时，我发现强制使用单参数方法是可能的。列表[Int](1)将使编译器使用def apply[T](x1:T)。

我的问题是为什么第二个实例化匹配def applice[T](x1:T,x2:T)而没有额外的“提示”？换句话说，为什么双参数方法比varargs方法更具体，而单参数方法不是？

Answer 1

为了回答您的问题，我们需要看看Scala编译器必须执行重载解析时会发生什么。SLS 6.23.3（用于Scala 2.9）中对此进行了描述。

让我们举一个稍微简单一点的例子：

object Test {
  def apply[T](x1: T) = "one arg"                      // A
  def apply[T](x1: T, x2: T) = "two args"              // B
  def apply[T](elems: T*) = "var-args: " + elems.size  // C
}

看看这三个电话：

Test(1) // fails, ambiguous reference, A and C both match arguments
Test[Int](1) // returns "one arg"
Test(1,2) // returns "two args", not "var-args: 2"

null

然后编译器计算每个备选方案的相对权重。SLS规定

备选方案A相对于备选方案B的相对权重是从0到2的一个数字，定义为

• 1，如果A和B一样特定，则为0，并且
• 1，如果A是从定义B的类或对象派生的类或对象中定义的，则为0，否则为0。

在这一点上，必须有一个选项比所有其他选项得分更高，否则就有歧义错误。我们可以忽略“已定义”的部分，它们是在同一个地方定义的。

null

这也解释了为什么test[Int](1)成功调用one参数版本。最后两个替代方案是相同的，但是A的类型参数已经绑定到int，类型推断不能再更改它以适应C的参数。

最后，应用相同的逻辑可以说明为什么test(1,2)工作良好：

• b与c一样具体：您始终可以使用b的参数调用c，
• 但是C不如B:再多的类型推断也无法将一个seq放入接受两个参数的方法中。

所以apply[T](x1:T,x2:T)是最具体的，没有错误。

基本上，为了让var-arg和普通方法产生歧义，它们需要有相同数量的参数，以及在（至少）最后一个参数上欺骗类型推断的方法：

def apply[T](x1: T)
def apply[T](x: T*)

或

def apply[T](x1: Int, x2:T)
def apply[T](x1: Int, x: T*)