scala - 如何覆盖具有依赖返回类型的方法？

Question

我在 Scala 2.9.2 实现一个声明依赖返回类型的方法时遇到了麻烦。以下代码

object DependentTypesQuestion {
  def ??? = throw new UnsupportedOperationException
  trait X {
    trait Y
  }
  trait Z {
    def z(x: X): x.Y
  }
  object Z extends Z {
    override def z(x: X): x.Y = ???
  }
}

在 2.9.2 下编译时产生以下错误信息:

overriding method z in trait Z of type (x: DependentTypesQuestion.X)x.Y;  method z has incompatible type

在 2.10.0-M4 中，问题似乎已得到修复，但不幸的是，我的项目目前与 2.9 相关联。

Is it possible to work around this issue in 2.9.2?

(或者，是否有任何包含 2.10 的反向移植修复的 2.9.3 的前景？)

Answer 1

如果您真的坚持使用 2.9.x，那么以下可能是您的解决方法，

object DependentTypesQuestion {
  def ??? = throw new UnsupportedOperationException
  trait X {
    trait Y
  }
  trait Z[D[_ <: X with Singleton]] {
    def z[T <: X with Singleton](x: T): D[T]
  }

  type Dep[T <: X with Singleton] = T#Y

  object Z extends Z[Dep] {
    override def z[T <: X with Singleton](x: T): x.Y = ???
  }
}