5

以下不编译：

package play

object Stats2 {
  def variance(data: Seq[Double], dof: Int = 0): Double = {
    println("variance Double direct"); 1.0
  }
  def variance[T](data:Seq[T], dof: Int = 0)(implicit ex: T => Double): Double = {
    println("variance Double extracted"); 1.0
  }
}

编译器说：

$ scalac erasure2.scala 
erasure2.scala:7: error: double definition:
method variance$default$2:[T]=> Int and
method variance$default$2:=> Int at line 4
have same type after erasure: ()Int
  def variance[T](data:Seq[T], dof: Int = 0)(implicit ex: T => Double): Double = {
                               ^
one error found

如果将dof :Int = 0更改为dof: Int，则示例编译并按预期工作。

无论代码是否有效，默认参数值的存在与否都会改变，这似乎很难看。

为什么这真的有意义的解释是什么？

4

1 回答 1

5

问题是，当您使用默认参数时，它的名称和方法名称用于生成静态属性，这样：[methodName]$default$[argumentPosition]，在您的情况下它将是variance$default$2，因此如果两者都有默认参数，编译器将尝试生成 2 static具有相同名称的属性。

如果使用方法中其他参数的类型，则可以避免这种情况。您可以提交 SIP提案以在编译器中更改此行为。

您可以在这篇文章中阅读更多相关信息

如果您想自己检查，请尝试使用每个方法编译您的对象并使用检查类javap [XXX]，其中是对象或类的名称，在您的情况下javap Stats2。
您的第一种方法将给出： 

public final class Stats2 extends java.lang.Object{
    public static final int variance$default$2();
    public static final double variance(scala.collection.Seq, int);
}

你的第二种方法将给出： 

public final class Stats2 extends java.lang.Object{
    public static final int variance$default$2();
    public static final double variance(scala.collection.Seq, int, scala.Function1);
}

最后，通过在第二种方法中删除 dof 的默认值，我们得到：

public final class Stats2 extends java.lang.Object{
    public static final double variance(scala.collection.Seq, int, scala.Function1);
}

所以这static final int variance$default$2()是导致编译失败的原因，这是由默认值生成的。

于 2013-09-18T18:04:58.073 回答