scala:mixins取决于参数的类型

Question

我有一组模型类,以及一组可以在模型上运行的算法.并非所有类型的模型都可以执行所有算法.我希望模型类能够声明它们可以执行的算法.模型可以执行的算法可以取决于其参数.

示例:假设我有两个算法,MCMC和重要性,表示为特征:

trait MCMC extends Model {
  def propose...
}

trait Importance extends Model {
  def forward...
}

我有一个模型类Normal,它采用一个均值参数,它本身就是一个模型.现在,如果mean实现MCMC,我希望Normal实现MCMC,如果mean实现了Importance,我希望Normal实现Importance.

我可以写:class Normal(mean:Model)扩展Model {//一些常见的东西在这里}

class NormalMCMC(mean: MCMC) extends Normal(mean) with MCMC {
  def propose...implementation goes here
}

class NormalImportance(mean: Importance) extends Normal(mean) with Importance {
  def forward...implementation goes here
}

我可以创建工厂方法,确保使用给定的平均值创建正确类型的Normal.但显而易见的问题是,如果同时实现MCMC和重要性,该怎么办？然后我希望Normal也实现它们.但我不想创建一个重新实现提议和转发的新类.如果NormalMCMC和NormalImportance没有参数,我可以使它们成为特征并将它们混合在一起.但是在这里我希望混合依赖于参数的类型.有一个很好的解决方案吗？

Answer 1

使用自我类型允许您将模型算法实现与实例化分离并将它们混合在:

trait Model
trait Result
trait MCMC extends Model {
  def propose: Result
}
trait Importance extends Model {
  def forward: Result
}

class Normal(val model: Model) extends Model

trait NormalMCMCImpl extends MCMC {
  self: Normal =>
  def propose: Result = { //... impl
    val x = self.model // lookie here... I can use vals from Normal
  }
}
trait NormalImportanceImpl extends Importance {
  self: Normal =>
  def forward: Result = { // ... impl
      ...
  }
}

class NormalMCMC(mean: Model) extends Normal(mean)
                              with NormalMCMCImpl

class NormalImportance(mean: Model) extends Normal(mean)
                                    with NormalImportanceImpl

class NormalImportanceMCMC(mean: Model) extends Normal(mean)
                                        with NormalMCMCImpl
                                        with NormalImportanceImpl

Answer 2

你的大部分问题似乎都是这样的，NormalMCMC并且NormalImportance需要参数，但是，正如你正确暗示的那样，特征不能有构造函数。

相反，您可以通过特征构造函数（如果存在这样的东西）获取您想要提供的参数，并使它们成为特征的抽象成员。

当特征被构建时，成员就会意识到。

鉴于：

trait Foo {
  val x : String //abstract
}

您可以将其用作以下任一方式：

new Bar with Foo { val x = "Hello World" }

new Bar { val x = "Hello World" } with Foo

这为您提供了使用 Trait 构造函数的等效功能。

请注意，如果该类型Bar已经具有非抽象类型val x : String，那么您可以简单地使用

new Bar with Foo

在某些情况下，它还可以帮助变得x懒惰，如果初始化顺序成为问题，这可以为您提供更大的灵活性。