scala - 使用类型成员作为自身类型

Question

我遇到了应与类型成员相对应的递归 self 类型的问题:

trait Elem { me =>
  type Peer

  import me.{Peer => Peer0}

  type This <: Elem { type Peer = Peer0 }

  def mkCopy(): This
}

现在我想定义一个方便的特征:

trait ImmutableImpl extends Elem {
  _ : This =>

  def mkCopy(): This = this
}

这不起作用，因为“错误:未找到:键入此” :(

下一次尝试:

trait ImmutableImpl[Repr] extends Elem {
  _ : Repr =>

  type This = Repr

  def mkCopy(): This = this
}

此操作失败，并显示“错误:覆盖类型此...此类型具有不兼容的类型”。

我只能做这种令人厌恶的事:

trait ImmutableImpl[Peer0, Repr <: Elem { type Peer = Peer0 }] extends Elem {
  _ : Repr =>

  type Peer = Peer0
  type This = Repr

  override def mkCopy(): This = this
}

class IntElem extends ImmutableImpl[Int, IntElem]

在实际情况中，我有更多的类型成员，因此这使得最后一种方法毫无用处，因为每次手动实现 mkCopy 都是更多的样板。

有什么想法吗？

Answer 1

似乎类型参数更适合于此。

trait Elem[A] { me: A =>
    def mkCopy(): A = this
}

scala> class Z extends Elem[Z]

scala> (new Z).mkCopy()
res0: Z = Z@3003a3a3

我认为问题在于类型成员不在 self 类型声明的范围内，而解决这个问题的方法是使用与另一个特征绑定(bind)的结构类型。但为什么不去掉中间人，只在 Elem 上使用类型参数，并要求它与参数的类型相同。