如何使用Scala的这种类型，抽象类型等实现Self类型? [英] How to use Scala's this typing, abstract types, etc. to implement a Self type?

问题描述

在其他任何问题中我都找不到答案.假设我有一个抽象超类Abstract0，它带有两个子类Concrete1和Concrete1.我希望能够在Abstract0中定义类似的内容

I couldn't find the answer to this in any other question. Suppose that I have an abstract superclass Abstract0 with two subclasses, Concrete1 and Concrete1. I want to be able to define in Abstract0 something like

def setOption(...): Self = {...}

其中Self将是具体的子类型.这样可以将调用链接到setOption，如下所示:

where Self would be the concrete subtype. This would allow chaining calls to setOption like this:

val obj = new Concrete1.setOption(...).setOption(...)

仍然将Concrete1作为obj的推断类型.

and still get Concrete1 as the inferred type of obj.

我不想定义以下内容:

abstract class Abstract0[T <: Abstract0[T]]

因为它使客户端更难处理此类型.我尝试了各种可能性，包括抽象类型:

because it makes it harder for clients to handle this type. I tried various possibilities including an abstract type:

abstract class Abstract0 {
  type Self <: Abstract0
}

class Concrete1 extends Abstract0 {
  type Self = Concrete1
}

，但是不可能实现setOption，因为Abstract0中的this没有类型Self.而且this: Self =>在Abstract0中也不起作用.

but then it is impossible to implement setOption, because this in Abstract0 does not have type Self. And using this: Self => also doesn't work in Abstract0.

此问题有什么解决方案?

What solutions are there to this issue?

推荐答案

这是this.type的用途:

scala> abstract class Abstract0 {
     |   def setOption(j: Int): this.type
     | }
defined class Abstract0

scala> class Concrete0 extends Abstract0 {
     |   var i: Int = 0
     |   def setOption(j: Int) = {i = j; this}
     | }
defined class Concrete0

scala> (new Concrete0).setOption(1).setOption(1)
res72: Concrete0 = Concrete0@a50ea1

您可以看到setOption返回使用的实际类型，而不是Abstract0.如果Concrete0具有setOtherOption，则(new Concrete0).setOption(1).setOtherOption(...)将起作用

As you can see setOption returns the actual type used, not Abstract0. If Concrete0 had setOtherOption then (new Concrete0).setOption(1).setOtherOption(...) would work

更新:要在评论中回答JPP的后续问题(如何返回新实例: 问题中描述的一般方法是正确的方法(使用抽象类型).但是，对于每个子类，必须明确创建新实例.

UPDATE: To answer JPP's followup question in the comment (how to return new instances: The general approach described in the question is the right one (using abstract types). However, the creation of the new instances needs to be explicit for each subclass.

一种方法是:

abstract class Abstract0 {
  type Self <: Abstract0

  var i = 0

  def copy(i: Int) : Self

  def setOption(j: Int): Self = copy(j)
}

class Concrete0(i: Int) extends Abstract0 {
  type Self = Concrete0
  def copy(i: Int) = new Concrete0(i)
}

另一种方法是遵循Scala集合库中使用的构建器模式.即，setOption接收隐式的构建器参数.这样做的好处是，可以使用不仅仅是复制"的更多方法来构建新实例，并且可以完成复杂的构建.例如. setSpecialOption可以指定返回实例必须为SpecialConcrete.

Another one is to follow the builder pattern used in Scala's collection library. That is, setOption receives an implicit builder parameter. This has the advantages that building the new instance can be done with more methods than just 'copy' and that complex builds can be done. E.g. a setSpecialOption can specify that the return instance must be SpecialConcrete.

以下是解决方案的说明:

Here's an illustration of the solution:

trait Abstract0Builder[To] {
    def setOption(j: Int)
    def result: To
}

trait CanBuildAbstract0[From, To] {
  def apply(from: From): Abstract0Builder[To]
}


abstract class Abstract0 {
  type Self <: Abstract0

  def self = this.asInstanceOf[Self]

  def setOption[To <: Abstract0](j: Int)(implicit cbf: CanBuildAbstract0[Self, To]): To = {
    val builder = cbf(self)
    builder.setOption(j)
    builder.result
  }

}

class Concrete0(i: Int) extends Abstract0 {
  type Self = Concrete0
}

object Concrete0 {
    implicit def cbf = new CanBuildAbstract0[Concrete0, Concrete0] {
        def apply(from: Concrete0) = new Abstract0Builder[Concrete0] {
           var i = 0
           def setOption(j: Int) = i = j
           def result = new Concrete0(i)
        }
    }
}

object Main {
    def main(args: Array[String]) {
    val c = new Concrete0(0).setOption(1)
    println("c is " + c.getClass)
    }
}

更新2: 回复JPP的第二条评论.如果存在多层嵌套，请使用类型参数代替类型成员，并将Abstract0设置为特征:

UPDATE 2: Replying to JPP's second comment. In case of several levels of nesting, use a type parameter instead of type member and make Abstract0 into a trait:

trait Abstract0[+Self <: Abstract0[_]] {
  // ...
}

class Concrete0 extends Abstract0[Concrete0] {
  // ....
}

class RefinedConcrete0 extends Concrete0 with Abstract0[RefinedConcrete0] {
 // ....
}

这篇关于如何使用Scala的这种类型，抽象类型等实现Self类型?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！