命名参数的令人困惑的解析

Question

以下代码给我一个Scala 2.11.7错误，这使我感到困惑：

class A(val a: String, val bVal: Option[String] = None) {
  val b: String = bVal.getOrElse("")

  def copy(a: String = a, b: Option[String] = Some(b)) = new A(a, b)
}

IntelliJ IDE没有显示任何错误，但是在编译时出现错误：

Error:(4, 52) type mismatch;
 found   : Option[String]
 required: String
  def copy(a: String = a, b: Option[String] = Some(b)) = new A(a, b)
                                                   ^

为了进行比较，这可以很好地编译：

class A(val a: String, val bVal: Option[String] = None) {
  val b = bVal
  def copy(a: String = a, b: Option[String] = Some(b.getOrElse(""))) = new A(a, b)
}

当我用Some(this.b)替换Some(b)时，错误消失了，但是仍然使我感到困惑，为什么错误首先出现在这里。 看起来编译器正在解析Some的b作为copy的参数，而不是A的b成员。 在这种情况下，第二个版本如何编译而不会出现错误？

Answer 1

这一定是一个错误。 默认表达式的范围包括以前的参数列表。

scala> def x = 1
x: Int

scala> def f(x: Int = x) = 2 * x
f: (x: Int)Int

scala> f()
res0: Int = 2

和-Xprint:typer显示默认正确：

    class A extends scala.AnyRef {
      <paramaccessor> private[this] val a: String = _;
      <stable> <accessor> <paramaccessor> def a: String = A.this.a;
      <paramaccessor> private[this] val bVal: Option[String] = _;
      <stable> <accessor> <paramaccessor> def bVal: Option[String] = A.this.bVal;
      def <init>(a: String, bVal: Option[String] = scala.None): A = {
        A.super.<init>();
        ()
      };
      private[this] val b: String = A.this.bVal.getOrElse[String]("");
      <stable> <accessor> def b: String = A.this.b;
      def copy(a: String = a, b: Option[String] = scala.Some.apply[A](<b: error>)): A = new $iw.this.A(a, b);
      <synthetic> def copy$default$1: String = A.this.a;
      <synthetic> def copy$default$2: Option[String] = scala.Some.apply[String](A.this.b)
    };
    <synthetic> object A extends AnyRef {
      def <init>(): A.type = {
        A.super.<init>();
        ()
      };
      <synthetic> def <init>$default$2: Option[String] = scala.None
    }

对。

scala> def y = "hi"
y: String

scala> def g(x: String)(y: Option[String] = Some(x)) = y map (_ * 2)
g: (x: String)(y: Option[String])Option[String]

scala> g("bye")()
res0: Option[String] = Some(byebye)

scala> def g(x: String)(y: Option[String] = Some(y)) = y map (_ * 2)
<console>:11: error: type mismatch;
 found   : Option[String]
 required: String
       def g(x: String)(y: Option[String] = Some(y)) = y map (_ * 2)
                                                 ^

编辑：默认方法是正确的事实并没有多大意义，因为存在与默认方法不是很卫生的事实有关的困惑。 例如， http://scalapuzzlers.com/#pzzlr-051

Answer 2

您的理解是正确的，当存在与周围类型成员名称相同的参数时，编译器将首选该参数。

在您的非编译版本中， b的类型为Option[String] 。 这意味着Some(b)的类型为Option[Option[String]] ，与A的构造函数的第二个参数的类型不匹配。

在第二个编译版本中， b仍为Option[String]类型。 但是， b.getOrElse("")的类型为String 。 这意味着Some(b.getOrElse(""))类型为Option[String] ，对A的第二个构造函数参数有效。