scala - 如何使方法通用而不得到 "No matching Shape found"

Question

除了编写大量样板文件之外，我不知道如何克服这个“未找到匹配的形状”错误。

要点中说明的基本思想是，我有一个非常基本的方法版本(可以工作，但非常具体)，然后是一个采用 mapper 参数且更通用的版本(也可以工作，但特定于一种特定类型)，然后是第三个版本，它采用类型参数并且非常有用，但由于此错误而无法编译。

基本方法:

def updatePD_FirstNames(id:ids.PersonalDetailsId，firstNames:StringLtd30):Future[Int] = {

更好的方法:

def updatePD_SL(id:ids.PersonalDetailsId，映射器:tables.PersonalDetails =>tables.profile.api.Rep [String Ltd30]，sl:String Ltd30):Future [Int] = {

理想的方法(但无法编译):

def updatePD_X[X](id:ids.PersonalDetailsId，映射器:tables.PersonalDetails =>tables.profile.api.Rep[X]，sl:X):Future[Int] = {

```

[server] $ compile
[info] Compiling 1 Scala source to ... target\scala-2.12\classes...
[error] ...schema\DbProxy.scala:688: No matching Shape found.
[error] Slick does not know how to map the given types.
[error] Possible causes: T in Table[T] does not match your * projection,
[error]  you use an unsupported type in a Query (e.g. scala List),
[error]  or you forgot to import a driver api into scope.
[error]   Required level: slick.lifted.FlatShapeLevel
[error]      Source type: slick.lifted.Rep[X]
[error]    Unpacked type: T
[error]      Packed type: G
[error]   val q2: Query[tables.profile.api.Rep[X], X, Seq] = q1.map(mapper)
[error]                                                            ^
[error] one error found
[error] (server/compile:compileIncremental) Compilation failed
[error] Total time: 4 s, completed 23-Mar-2017 11:15:47

```

完整代码位于https://gist.github.com/aholland/0845bf29d836d672d006ab58f5f1c73c

Answer 1

我在您发布的代码中看到的唯一明显的问题是 X 不受约束。它可以是任何类型，包括 Slick 不知道如何处理的类型。

您可以做的就是在 X 上添加上下文绑定(bind)。您可能想要的界限是 BaseTypedType ，这是 Slick 用来标识它可以使用的类型的“类型化类型”。 https://www.youtube.com/watch?v=tS6N5AaZTLA中从11:30开始描述

你可以像这样使用它:

import slick.ast.BaseTypedType

def updatePD[X : BaseTypedType](
  id: Long, 
  selector: PersonTable => Rep[X],
  newValue: X
): DBIO[Int] =
  people.filter(_.id === id).map(selector).update(newValue)

这意味着当您使用该方法时...

updatePD(anId, _.name, "Alice")

...编译器必须向自己证明，无论您使用什么 X，Slick 中都有适当的类型表示。