Question

以下内容无法编译：

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 ，则示例将按预期编译并运行。

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

为什么这才真正有意义？

Answer 1

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

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

您可以在此post

上详细了解此信息

如果您想自己检查，请尝试使用每种方法编译对象，并使用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()正在使编译失败，这是由默认值生成的。

使用参数默认值键入擦除

1 个答案: