超越特质和自我类型

Question

我想重写 ScalaTest 特征 BeforeAndAfterEach 以便为我的所有测试实现一次这些东西。最后我编译了它，但我不明白为什么。

trait MySetup extends BeforeAndAfterEach {
  this : org.scalatest.BeforeAndAfterEach with org.scalatest.Suite =>
  var service: String = _

  abstract override def beforeEach(): Unit = {
    service = "apa"
    super.beforeEach()
  }

  abstract override def afterEach(): Unit = {
    service = ""
  }
}

让它工作的原因是这行：

  this : org.scalatest.BeforeAndAfterEach with org.scalatest.Suite =>

我在 BeforeAndAfterEach 实现的开头找到了它并复制了它。

它有什么作用，为什么我需要它？

更新：

这是一个更简单的版本。

trait MySetup extends FlatSpec with BeforeAndAfterEach {
  var service: String = _

  override def beforeEach {
    service = "apa"
    super.beforeEach
  }

  override def afterEach {
    service = ""
    super.afterEach
  }
}

Answer 1

BeforeAndAfterEach 有一个 Suite 的自类型，这意味着 BeforeAndAfterEach 只能混合到扩展 Suite 的类型中。 ScalaTest 希望您首先选择一个主要套件类型，然后再进行混合行为。

自我类型声明不会在子特征中继承，因此您必须重新声明自我类型。

以下问题在自我类型和子特征之间进行了一些权衡： 自我类型和特质子类之间有什么区别？

有关 ScalaTest 设计的一些背景信息，请参阅：http://www.artima.com/scalazine/articles/selfless_trait_pattern.html

Answer 2

我可能编写 MySetup 的方式是这样的：

import org.scalatest.Suite
import org.scalatest.BeforeAndAfterEach

trait MySetup extends BeforeAndAfterEach { this: Suite =>

  var service: String = _

  abstract override def beforeEach(): Unit = {
    service = "apa"
    super.beforeEach()
  }

  abstract override def afterEach(): Unit = {

    try {
      super.afterEach() // To be stackable, must call super.afterEach
    }
    finally {
      service = ""
    }
  }
}

这样 self 类型的侵入性较小。迈克的回答是正确的。这个想法是允许特征堆叠，这样你就可以根据需要以不同的顺序混合多个像这样的特征。另一篇相关文章是“可堆叠特征模式”：

http://www.artima.com/ scalazine/articles/stackable_trait_pattern.html

您可能还会发现相关 Scaladoc 部分中的示例很有帮助：

http://www.scalatest.org/scaladoc-1.6.1 /org/scalatest/FlatSpec.html#compositionFixtures

注意我也调用 super.afterEach 。为了可堆叠，您需要在 beforeEach 和 afterEach 上调用 super。我尝试这样做，以便如果 super.afterEach 因异常而爆炸，您仍然可以获得此特征的后续行为。 （尽管您的套件可能会在此时中止，因此在这种情况下可能并不重要。但总的来说这是一个好主意。）

Answer 3

这是用于依赖注入的 Scala 语法。

this: <dependency> =>

它的字面意思是this特征依赖于特征。阅读这篇文章了解更多信息。