繁体   English   中英

自参照视图/上下文绑定

[英]Self referential View/Context bound

我实际上不清楚以下内容是视图还是上下文绑定。 也不清楚自我参照方面(重新参照模型)在做什么;):

abstract class Model[M <: Model[M]] extends Transformer {

将理解“ <:模型[M]”的含义的解释。

<:既不绑定视图也不绑定上下文,但绑定类型。

以下是如何使用自引用类型范围的扩展示例。

为了使方法fooN起作用,类ModelA使用了更严格的类型绑定M <: ModelA[M] ModelA2仍然可以扩展ModelA[ModelA1] ,但不能ModelA[ModelB1] 另一方面,类ModelB不再限制类型绑定,因此ModelB2可以扩展ModelB[ModelA1] 方法bar1bar2限制任一结合的类型或参数model ,依赖于在其中方法的顺序上transformbar被称为上model

object Main extends App {
  val a: ModelA1 = foo(new ModelA1(), 2)
  val b: ModelA1 = foo(new ModelA2(), 3)
  val c: ModelB1 = bar1(new ModelB1())
  val d: ModelA1 = bar2(new ModelB2())

  def foo[M <: ModelA[M]](model: Model[M], n: Int): M = model.transform.fooN(n)

  def bar1[M <: ModelB[M]](model: Model[M]): M = model.transform.bar

  def bar2[M <: Model[M]](model: ModelB[M]): M = model.bar.transform
}

abstract class Model[M <: Model[M]] {
  def transform: M
}

abstract class ModelA[M <: ModelA[M]] extends Model[M] {
  def foo: M

  def fooN(n: Int): M = {
    var x: M = this.foo
    for (_ <- 2 to n)
      x = x.foo
    x
  }
}

abstract class ModelB[M <: Model[M]] extends Model[M] {
  def bar: M
}

class ModelA1 extends ModelA[ModelA1] {
  override def transform: ModelA1 = ???
  override def foo: ModelA1 = ???
}

class ModelA2 extends ModelA[ModelA1] {
  override def transform: ModelA1 = ???
  override def foo: ModelA1 = ???
}

class ModelB1 extends ModelB[ModelB1] {
  override def transform: ModelB1 = ???
  override def bar: ModelB1 = ???
}

class ModelB2 extends ModelB[ModelA1] {
  override def transform: ModelA1 = ???
  override def bar: ModelA1 = ???
}

暂无
暂无

声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM