如何在未找到匹配形状的情况下使方法泛型 [英] How to make method generic without getting "No matching Shape found"

问题描述

除了编写大量样板文件外，我不确定如何克服这个"找不到匹配的形状"错误。

Gist中说明的基本思想是，我有一个非常基本的方法版本(可以工作，但非常具体)，然后是一个接受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 ... targetscala-2.12classes...
[error] ...schemaDbProxy.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

推荐答案

这也来自理查德，但交换发生在GITER上。

第一个答案的唯一问题是，通过要求BaseTypedType[X]类型的隐式，上下文绑定强制可选列的客户端代码提供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的类型和隐含机制的深入理解。理查德可能会为此写一篇博客文章！

这篇关于如何在未找到匹配形状的情况下使方法泛型的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！