Scala：为什么使用 self-type 而不是 mixin 会产生 stackoverflow？

Question

trait UserRepository {
  def findByFirstName(firstName: String): Seq[User]
}

trait UserBusinessDelegate extends UserRepository {
  abstract override def findByFirstName(firstName: String) = {
    super.findByFirstName(firstName)
  }
}

class MockUserRepository extends UserRepository {    
  override def findByFirstName(firstName: String) = {
    // whatever
  }
}

val userRepository = new MockUserRepository with UserBusinessDelegate

userRepository.findByFirstName("John") // OK

但是，如果我将UserBusinessDelegate 更改如下：

trait UserBusinessDelegate {
  self: UserRepository =>
  override def findByFirstName(firstName: String): Seq[User] = {
    self.findByFirstName(firstName) // requires explicit return type, thinks this is a recursive call
  }
}

val userRepository = new MockUserRepository with UserBusinessDelegate

userRepository.findByFirstName("John") // StackOverflow!!!

我了解可堆叠模式，因此了解第一种情况的工作原理。我的问题是为什么第二个没有。

Answer 1

在第二个 sn-p 中，您有一个没有退出条件的递归调用：

override def findByFirstName(firstName: String): Seq[User] = {
    self.findByFirstName(firstName)
}

这将始终从UserBusinessDelegate 调用findByFirstName（因为您使用的是self，它基本上说这个对象在运行时会有这种行为，而不是它的父对象会有它，因此我们应该call parent 的方法）每次调用时创建一个新的堆栈帧 -> 堆栈溢出。

在第二个 sn-p UserBusinessDelegate 的 findByFirstName 将被调用，然后您使用 super 从它调用 MockUserRepository 的方法 -> 没有递归 -> 没有堆栈溢出。您可以查看Scala's stackable trait pattern 了解更多信息。

@Edit：为了更清楚，在引发 SO 异常的 sn-p 中，不会调用来自 MockUserRepository 的 findByFirstName 方法，因为您在 UserBusinessDelegate 中覆盖了它，因此创建了匿名类new MockUserRepository with UserBusinessDelegate 将只包含被覆盖的方法，这就是为什么 SO，清楚吗？

为什么你会假设来自MockUserRepository 的方法会被调用？

@Edit2：如果没有override，代码将无法编译，因为self: UserRepository => 告诉编译器具有这种签名的方法在运行时已经存在，并且您不能拥有两个具有相同签名的方法。第一个示例之所以有效，是因为它是一个可堆叠的特征，这些特征是动态绑定的，可以修改行为，但必须在某些时候调用 super（通常在没有 abstract override 修饰符的情况下是不允许的，我真的建议通过我发布的关于可堆叠模式的链接）。

也许其他人知道一种方法，据我所知，除非您更改UserBusinessDelegate中的方法名称并删除override，否则无法调用模拟方法，然后您可以调用self.findByFirstName，它会调用来自MockUserRepository的方法。