Scala：强制类型参数成为案例类

Question

我有一个抽象类 Model 我从中创建案例类：

abstract class Model
case class User(.) extends Model

一个抽象类Table，将Model作为类型参数，用于其默认的具体方法之一：

abstract class Table[M <: Model] {
    def parser = SomeExternalBuilder[M]
}

意思很简单：“根据自己的类，给Table的每个实例一个默认的parser”。

问题是SomeExternalBuilder 只会接受一个案例类作为参数（"case class expected: M"），所以它不能编译。 p>

我可以让Table 仅将案例类作为类型参数吗？

我看到一些答案提供了一个缺少的copy 方法（ref1，ref2），所以我尝试了这个：

trait Model[T] {
    def copy: T
}

abstract class Table[M <: Model[M]]

但是现在 case class User 扩展 Model[User] 并且必须覆盖 copy Table。

没有比在每个孩子身上复制def parser 行更好的方法吗？

编辑：N.B.真正的函数是来自 Play 的“异常”库的def parser: anorm.Macro.namedParser[M]。

编辑：此宏检查的类型来源：https://github.com/playframework/anorm/blob/0a1b19055ba3e3749044ad8a54a6b2326235f7c8/core/src/main/scala/anorm/Macro.scala#L117

Answer 1

问题是 SomeExternalBuilder 将只接受一个案例类作为参数（“预期案例类：M”），所以它无法编译。

我认为您永远无法从 Scala 编译器本身获得这样的消息，这意味着 SomeExternalBuilder.apply 是一个宏。它需要一个 特定 案例类才能知道它的字段，因此您是否可以将 M 限制为案例类（您不能）并不重要：它仍然不会'不接受类型参数。

你可以做的是创建一个宏注解，这样当你写例如

@HasModel
class SomeTable extends Table[SomeModel] {
  ...
}

val parser = namedParser[SomeModel] 是自动生成的。 或者，写入@HasModel[SomeModel] class SomeTable { ... } 并生成extends Table[SomeModel]。

这并不难（就像宏一样），但您仍然需要注释每个扩展 Table 的类。

Answer 2

不是万无一失的解决方案，但值得一试

case 类扩展 Product 和 Serialisable。约束Product with Serialisable 将帮助您获得一些类型安全。 M 可以是使用 Serialisable 扩展 Product 的任何类。但是Product主要是通过case类扩展的

abstract class Table[M <: (Product with Serializable)] { 
  def parser = SomeExternalBuilder[M]
}