如何解决 Scala 中 MongoRecord 的不变性

Question

假设我有一个类定义如下：

class A extends MongoRecord[A]{

}

现在我需要创建一个新类 B，它是 A 的子类：

class B extends A{

}

Object B extends B with MongoMetaRecord[B]

编译器会给出如下错误： 类型参数 [B] 不符合特征 MongoMetaRecord 的类型参数边界 [BaseRecord <: net.liftweb.mongodb.record.MongoRecord[BaseRecord]]
[error] object B extends B with MongoMetaRecord[B]

看起来B类继承了MongoRecord[A]，但是由于MongoRecord的不变性，MongoRecord[B]无法替代MongoRecord[A]。因此B类不符合类型约束。知道如何解决这个问题吗？多谢。

Answer 1

你将无法绕过不变性，但不是让 B 成为 A 的子类，也许创建一个 Alike 特征。您可以将 A 转变为特征并创建 ARecord。

trait ALike {
  // all the common stuff
}
class A extends ALike with MongoRecord[A] {
}
class B extends ALike with MongoRecord[B] {
}

Answer 2

实际上，代码可能无法编译，因为编译器会抱怨方法“meta”和“id”需要使用正确的类型来实现，但解决方案的想法是正确的。
类 A 用 MongoRecord[A] 和 MongoId[A] 扩展 Alike { def meta = A }

类 B 用 MongoRecord[B] 和 MongoId[B] 扩展 Alike { def meta = B }

对象 A 使用 MongoMetaRecord[A] 扩展 A

对象 B 使用 MongoMetaRecord[B] 扩展 B

Answer 3

这是一个迟到的回复，但也许其他人会发现它有用；）

abstract class A[U <: A[U]] extends MongoRecord[U] with ... with ObjectIdPk[U] with ... {
  self: U =>

  object text extends StringField(this, 255)

  ... // other fields
}

class B extends A[B] {
  override def meta = B

  ... // add more fields or methods
}

object B extends B with MongoMetaRecord[B] {
  ...
}

您可以使用 ProtoAuthUser[U] 代替 MongoRecord[U] 或任何其他类似的特征。