scala - 使用抽象类型而不是参数类型的 F-Bound 多态性？

Question

如何使用抽象类型将以下 F-Bound 多态性转换为代码？

trait Organism[Self <: Organism[Self]] { self: Self =>
  def reproduceWith(org:Self):Boolean
}

class Amoeba extends Organism[Amoeba] {
  def reproduceWith(org:Amoeba) = //..code
}

Answer 1

有多种方法可以做到这一点。这是我喜欢的一种方式，类似于“参数化模块”OCaml 或 Agda。

定义Organism类型时，将其拆分为抽象类型Organism和特征OrganismOps。然后你将这两个包装在一个特征中：

trait OrganismSystem {
    type Organism <: OrganismOps

    trait OrganismOps {
        def reproduceWith(org: Organism): Boolean
    }
}

因为它们都包裹在同一个trait中，OrganismOps所以可以看到Organism类型。

现在，如果你想创建这些东西的具体实例，你可以这样做：

object MyOrganismSystem extends OrganismSystem {
    case class Organism(species: String) extends OrganismOps {
        def reproduceWith(org: Organism) = species == org.species
    }
}

如果你想定义在有机体系统上通用操作的方法，你可以让它们接受一个OrganismSystem作为参数，或者，等效地，将它们包装在一个接受一个OrganismSystem作为参数的类中：

class UsesGenericOrganismSystem(system: OrganismSystem) {
    import system._

    def allCompatible(organisms: Traversable[Organism]): Boolean =
        organisms.toSeq.combinations(2) forall {
            case Seq(o1, o2) => o1.reproduceWith(o2)
        }
}