Scala中的继承类型别名在构造函数声明中是不可见的，但在构造函数体中是可见的

Question

为什么Scala表现得像这样？

更重要的是， 如何修复此代码 ？

我问这个问题，因为我有一些复杂的类型，我需要在几个子类的构造函数声明中使用，我想保持DRY 。

class Parent{
  type IntAlias=Int
}

class Child (val i1:IntAlias=3) extends Parent{ //Compilation error, why ?
  val i2:IntAlias= 1  //No problem here!
}

编译错误：

 not found: type IntAlias
class Child (val i1:IntAlias=3) extends Parent{
                    ^

Answer 1

在您的定义中， IntAlias是Parent类的成员。 因此，如果没有Parent的实例 ，则无法访问该成员。 您可以将第二种情况视为val i2: this.IntAlias = 1 。 在这里，您可以访问的实例this 。

对于值而不是类型，这类似于以下内容：

class Parent {
  def intValue: Int = 1234
}

class Child(val x: Int = intValue) extends Parent  // does not compile

因此，您必须将该成员放在不同的范围内，例如伴随对象：

 object Parent {
   type IntAlias = Int
 }
 import Parent.IntAlias

 class Child(val i1: IntAlias = 3) extends Parent {
   val i2: IntAlias = 1
 }