在我的代码库中，我使用标签将一些信息编码为类型。由于标签使用t.asInstanceOf[T @@ U]因此我可以在包装和平开包装的值之间编写映射时遇到许多麻烦。
最近，我用标记类型碰壁了，因为它们破坏了我想使用的无形中的一些功能，所以我正在尝试使用值类。
到目前为止，我可以使用以下内容来欺骗一些带有标记类型的布尔检查：
implicit class TaggedBooleanAsFirstOperand[P1, U](val c: Rep[P1 @@ U]) {
private val em = new BooleanColumnExtensionMethods[P1](c.asInstanceOf[Rep[P1]])
type o = OptionMapperDSL.arg[Boolean, P1]
def @&&[P2, R](b: Rep[P2])(implicit om: o#arg[Boolean, P2]#to[Boolean, R]): Rep[R] = em.&&[P2, R](b)
def @||[P2, R](b: Rep[P2])(implicit om: o#arg[Boolean, P2]#to[Boolean, R]): Rep[R] = em.||[P2, R](b)
def unary_! : Rep[P1] = em.unary_!
}
implicit class TaggedBooleanAsSecondOperand[P1](val c: Rep[P1]) {
private val em = new BooleanColumnExtensionMethods[P1](c)
type o = OptionMapperDSL.arg[Boolean, P1]
def &&@[P2, U, R](b: Rep[P2 @@ U])(implicit om: o#arg[Boolean, P2]#to[Boolean, R]): Rep[R] = em.&&[P2, R](b.asInstanceOf[Rep[P2]])
def ||@[P2, U, R](b: Rep[P2 @@ U])(implicit om: o#arg[Boolean, P2]#to[Boolean, R]): Rep[R] = em.||[P2, R](b.asInstanceOf[Rep[P2]])
}
implicit class TaggedBooleanAsBothOperands[P1, U](val c: Rep[P1 @@ U]) {
private val em = new BooleanColumnExtensionMethods[P1](c.asInstanceOf[Rep[P1]])
type o = OptionMapperDSL.arg[Boolean, P1]
def @&&@[P2, V, R](b: Rep[P2 @@ V])(implicit om: o#arg[Boolean, P2]#to[Boolean, R]): Rep[R] = em.&&[P2, R](b.asInstanceOf[Rep[P2]])
def @||@[P2, V, R](b: Rep[P2 @@ V])(implicit om: o#arg[Boolean, P2]#to[Boolean, R]): Rep[R] = em.||[P2, R](b.asInstanceOf[Rep[P2]])
}
但是，有了AnyVal，我不能简单地将一种类型转换为我想要的另一种类型，并且我必须提供一些诚实的代码来实现我想要的。
我试图阅读 Slick 源代码，但我应该从哪里开始的整个想法对我来说有点模糊 - 相关信息分布在许多地方，所以我不能简单地确定几个地方，例如弄清楚如何将一个Rep映射到另一个或从包装和解包的布尔值中提取数据并将它们组合在一起。
一些Slick专家可以为这些推荐一些好的起点吗？
标签实际上不仅为您提供类型安全。它还为您提供了抽象级别。将boolean包装到tag后，就可以从布尔值的运行时表示中抽象出来。顺便说一句，您应该使用Tag.unwrap或Tag.unsubst而不是asInstanceOf. Slick在较低的抽象级别上工作。它适用于SQL知道的简单类型。 当然，在使用数据库之前，您需要在两者之间的某个位置unwrap标签。 我会将其封装在表架构中。请参阅映射表部分：http://slick.lightbend.com/doc/3.0.0/schemas.html