关于 scala:slick 可重用的 InsertAndUpdate 特征

slick reusable InsertAndUpdate trait

鉴于 DRY,我试图避免在 Slick 表定义中重复插入和更新逻辑。我试过这个:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
trait Entity {
    def id: Option[Int]
}

case class BankRekening(id: Option[Int], nummer: String, omschrijving: String) extends Entity{
}

object BankRekeningen extends Table[BankRekening]("bankrekening") with InsertAndUpdate[BankRekening] {
    def id = column[Int]("id", O.PrimaryKey, O.AutoInc)
    def nummer = column[String]("nummer")
    def omschrijving = column[String]("omschrijving")
    def * = id.? ~ nummer ~ omschrijving <> (BankRekening, BankRekening.unapply _)
    def idx_nummer = index("idx_nummer", nummer, unique = true)
}

trait InsertAndUpdate[T <: Entity] {
    this: Table[T] =>

    def id: scala.slick.lifted.Column[Int]

    def insert(obj: T): T = {
        obj.copy(id = Some(this.returning(this.id) insert obj))
    }
}

现在编译器在最后一条语句中抱怨 \\'obj\\',说:找不到 scala.slick.lifted.TypeMapper[T]

类型的证据参数的隐式值

有什么想法吗?


简单的答案:您尝试在没有复制方法的 T 上调用复制。

长答案:不幸的是,Scalac,Scala 编译器让我们 Slick(无意中)劫持错误消息。您应该看到错误 value copy is not a member of T。在 copy 的情况下,由于 Slick 在范围内的隐含,Scalac 会以某种方式吞下该消息。这是一个简化的复制:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
object simple{
    implicit def intColumnType: TypedType[Int] = null
    implicit def valueToConstColumn[T : TypedType](v: T) = ConstColumn(v)
}
import simple._
trait TypedType[T]
case class ConstColumn[T](v: T){
  def bar = 5
}

trait InsertAndUpdate[T] {
    def insert(obj: T): T = {
      5.copy() // <- unexpected, but is valid and compiles fine
      5.bar    // compiles fine

      obj.bar    // error: value bar is not a member of type parameter T
                 // error: could not find implicit value for evidence parameter of type TypedType[T]

      obj.copy() // error: could not find implicit value for evidence parameter of type TypedType[T]
    }
}

如您所见,消息以某种方式被 copy 吞噬了。我也没有发现消息 could not find implicit value for evidence parameter of type TypedType[T] 有帮助。我创建了一个 Scala 票来解决这个问题:https://issues.scala-lang.org/browse/SI-7907