如何在不获取 "No matching Shape found" 的情况下使方法通用

Question

我不知道如何克服这个 "No matching Shape found" 错误，除了写很多样板文件。

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

基本方法：

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

更好的方法：

def updatePD_SL(id: ids.PersonalDetailsId, mapper: tables.PersonalDetails => tables.profile.api.Rep[StringLtd30], sl: StringLtd30): Future[Int] = {

理想方法（但不编译）：

def updatePD_X[X](id: ids.PersonalDetailsId, mapper: 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 上添加一个 上下文绑定。您可能想要的界限是 BaseTypedType, which is a "typed type" Slick uses to identify types it can work with. It's described from 11:30 in https://www.youtube.com/watch?v=tS6N5AaZTLA

你会像这样使用它：

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 中都有适当的类型表示。

Answer 2

这也是来自Richard，但是交流是在gitter上进行的。

第一个答案的唯一问题是，通过要求 BaseTypedType[X] 类型的隐式 context bound 强制客户端代码为 optional 列提供类型 BaseTypedType[Option[X]] 的隐含，即使 BaseTypedType[X] 已经可用。

这是不必要的。 Slick 会为您处理可选列，如果您为 BaseTypedType[X] 提供隐含的列，那么您就提供了足够的空间来处理 Option[X].

类型的列

因此，上下文绑定虽然有效，但比必要的要求更高，导致不得不在涉及直接引用的客户端代码中编写隐式代码null并复制已经内置在 Slick 中的逻辑。不好。

答案是在其自己的参数列表中将隐式参数声明为命名隐式参数（下面称为 shape），即以长格式，不使用 上下文绑定简写:BaseTypedType。然后你可以指定下面使用的更复杂但要求不高的约束。

所以解法是：

def updatePD[X] (id: Long, selector: PersonTable => Rep[X], newValue: X)
                (implicit shape: Shape[_ <: FlatShapeLevel, Rep[X], X, _]): DBIO[Int] = {
        people.filter(_.id === id).map(selector).update(newValue)
}

理解为什么 shape 具有确切的类型 Shape[_ <: FlatShapeLevel, Rep[X], X, _] 取决于对 Slick 的类型和隐式机制的深入理解。 Richard 可能会就此写一篇博客 post！

如何在不获取 "No matching Shape found" 的情况下使方法通用

How to make method generic without getting "No matching Shape found"

scala

slick