如何解决在 Scala 2.13 中，为什么有时无法显式调用类型类？
这是一个在 shapeless 2.3.3 中的简单例子：
val book =
("author" ->> "Benjamin Pierce") ::
("title" ->> "Types and Programming Languages") ::
("id" ->> 262162091) ::
("price" ->> 44.11) ::
HNil
val v1 = book.values
assert(v1.head == "Benjamin Pierce") // works fine
// summoning Values[_] type class explicitly,the HList & TypeTag are optional
case class HasValues[T <: HList: TypeTag](v: T) {
def vs(implicit v: Values[T]): Values[T] = v
}
val _vs = HasValues(book).vs
val v2 = book.values(_vs)
assert(v2.head == "Benjamin Pierce") // compilation error!
尽管 v2 在语法上与 v1 相同，但最后一行给出了以下错误：
: Could not find implicit value for parameter c: shapeless.ops.hlist.IsHCons[com.tribbloids.spike.shapeless_spike.RecordProblem._vs.Out]
one error found
进一步调查表明，符号 v1 的类型层次结构如下所示：
-+ String :: String :: Int :: Double :: shapeless.HNil
: `-+ [ 2 ARGS ] :
: !-+ String .................................................................................................................. [0]
: : !-+ CharSequence
: : : !-+ Object .................................................................................................................. [1]
: : : !-- Any ..................................................................................................................... [2]
: : !-- Comparable[String]
: : : `-+ [ 1 ARG ] :
: : : !-- String .................................................................................................................. [0]
: : !-- java.io.Serializable .................................................................................................... [3]
: !-+ String :: Int :: Double :: shapeless.HNil
: : `-+ [ 2 ARGS ] :
: : !-- String .................................................................................................................. [0]
: : !-+ Int :: Double :: shapeless.HNil
: : : `-+ [ 2 ARGS ] :
: : : !-+ Int
: : : : !-+ AnyVal .................................................................................................................. [4]
: : : : !-- Any ..................................................................................................................... [2]
: : : !-+ Double :: shapeless.HNil
: : : : `-+ [ 2 ARGS ] :
: : : : !-+ Double
: : : : : !-- AnyVal .................................................................................................................. [4]
: : : : !-+ shapeless.HNil
: : : : !-+ shapeless.HList ......................................................................................................... [5]
: : : : !-+ Serializable
: : : : : !-- java.io.Serializable .................................................................................................... [3]
: : : : !-+ Product
: : : : : !-- Equals
: : : : !-- Object .................................................................................................................. [1]
: : : !-- shapeless.HList ......................................................................................................... [5]
: : !-- shapeless.HList ......................................................................................................... [5]
: !-- shapeless.HList ......................................................................................................... [5]
!-- shapeless.HList ......................................................................................................... [5]
但是 v2 的类型层次结构省略了大部分信息：
-+ com.tribbloids.spike.shapeless_spike.RecordProblem._vs.Out
!-+ shapeless.HList
!-+ Serializable
: !-+ java.io.Serializable
: !-- Any
!-+ Product
: !-- Equals
!-- Object
这是什么原因，如何正确调用 Value[_] 的类型类？
解决方法
你失去了类型细化。替换
case class HasValues[T <: HList: TypeTag](v: T) {
def vs(implicit v: Values[T]): Values[T] = v
}
与
case class HasValues[T <: HList: TypeTag](v: T) {
def vs(implicit v: Values[T]): Values.Aux[T,v.Out] = v
}
然后两者
val v2 = book.values
assert(v2.head == "Benjamin Pierce")
和
val v2 = book.values(_vs)
assert(v2.head == "Benjamin Pierce")
编译。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
