Scala中一个简单的构建器模式

Question

我正在为类映射容器实现一个非常简单的构建器模式:

trait KeyValueContainer[K,V] {
  private var props: Map[K, V] = new HashMap[K, V]
  private var built = false
  /**
   * Adds a key/value pair
   */
  def +=(key: K, value: V): KeyValueContainer[K,V] = {
    if (built)
      throw new BuilderException
    props = props + (key -> value)
    this
  }
  def build = {
    built = true
    this
  }
}
class MyContainer extends KeyValueContainer[String, Double]

当在"new MyContainer()"上使用上述"+="或"build"方法时，结果在这两种情况下都是KeyValueContainer[String,Double]类型…

我很确定我在过去的某个地方读到，这可以以某种方式返回实际的MyContainer子类型。你会使用方法返回类型协方差对此(java风格)，或者有一个更类型安全/更好的解决方案，在你的观点?

谢谢!

Answer 1

http://docs.scala-lang.org/overviews/core/architecture-of-scala-collections.html

模式依赖于如何在编译时解析隐式。基本上，如果作用域中有多个隐式，编译器会选择最具体的一个(在您的情况下，是您需要的子类型构建器)。

通过这种方式，您可以在基类中进行泛型实现，并通过隐式参数获得子类构建器。

下面是我为自己的一个项目所做的一个例子:

https://gist.github.com/hejfelix/8a0270855d498d7981f9

这种模式的另一个重要方面是显式自类型:http://www.scala-lang.org/node/124

Answer 2

https://gist.github.com/kencoba/1874015这是目前为止我见过的最清晰的实现。

Answer 3

我推荐这篇文章，它简单得多，而且切中要害:

生成器模式

看看如何使用这个。你可以自己返回的类型，并以此为基础。

trait PaginationParameters extends Parameters {
 var _pageSize: Option[Int] = None
 var _page: Option[Int] = None
 def pageSize(newPageSize: Int): this.type = {
  _pageSize = Some(newPageSize); this
 }
 def page(newPage: Int): this.type  = {
  _page = Some(newPage); this
 }
 override def parameters = super.parameters ++
        _pageSize.map("page-size" -> _) ++
        _page.map("page" -> _)
 }
}

欢呼