将 F 有界类型表示为抽象类型成员

Question

我想将 F 有界多态性转换为抽象类型成员。

trait FBoundedMovable[Self <: FBoundedMovable[Self]] {
  def moveTo(pos: Vect2): Self
}

自

trait Movable { self =>
  type Self <: (Movable { type Self = self.Self })
  def moveTo(pos: Vect2): Self
}

目前为止，一切都好。

让我们定义一个实例：

case class Ship(pos: Vect2) extends Movable {
  type Self = Ship
  def moveTo(pos: Vect2) = copy(pos = pos)
}

并尝试使用它：

// [error]  found   : a.Self
// [error]  required: A
  def move[A <: Movable](a: A, to: Vect2): A = a.moveTo(to)

F 有界版本工作正常。

def moveF[A <: FBoundedMovable[A]](a: A, to: Vect2): A = a.moveTo(to)

我知道可以将类型边界添加到方法定义站点：

def move2[A <: Movable { type Self = A }](a: A, to: Vect2): A = a.moveTo(to)

但是是否可以在可移动特征声明中指定关系？如果没有 - 为什么？

编辑 1

我已经意识到我遇到了什么问题。

假设我们想声明某物是我们世界中的一个单位。

trait WorldUnit extends Movable with Damageable

所有单元都是可移动和可破坏的。

我们的战斗计算的东西只关心东西是Movable with Damagable.它不在乎它是单元还是建筑物。

但是我们可以有这样的代码：

def doCombat(obj: Movable with Damagable) = obj.moveTo(...).takeDamage(...)
def doStuffWithUnit(obj: WorldUnit): WorldUnit = doCombat(obj) // and the type is lost here.

我注定要使用 F 有界类型吗？

编辑 2：

尝试将 F 界多态性建模为 Scala 中的类型成员并没有回答这个问题 - 我以前尝试过，它丝毫不影响返回类型，它仍然是 a.Self。

编辑3：

我已经找到了 http://blog.jessitron.com/2014/02/when-oo-and-fp-meet-mytype-problem.html 但问题仍未解决。

基本上，只要您有一个集合并想选择一个：

(collection: Seq[Movable]).collectFirst { m: Movable if m.someCondition => m } - 您无法指定类型绑定，因此编译器无法证明 A#Self =：= A？

Answer 1

scala 中的类型投影是路径相关的。快速示例

scala> trait A{
     | type T
     | }
defined trait A
scala> val a = new A{type T = String}
a: A{type T = String} = $anon$1@31198ceb
scala> val b = new A{type T = String}
b: A{type T = String} = $anon$1@236ab296
scala> def f(implicit evidence: A =:= b.T) = null
f: (implicit evidence: =:=[A,b.T])Null
scala> f("asdf":a.T)
<console>:12: error: type mismatch;
 found   : a.T
    (which expands to)  String
 required: =:=[A,b.T]
    (which expands to)  =:=[A,String]
              f("asdf":a.T)
                      ^

在您的情况下，它会由于返回类型而引发错误。它理所当然地期望a.type但你返回A.它们不一样。

它们不应该相同的原因是： a.type返回一个类型 <: Movable 。对于想象力，有些数字x不到100。方法move返回A，对于想象，它是另一个小于 100 y数字。x不必与y相同。