scala - 在 scala 2.13 中,为什么有时无法显式调用类型类?- 第2部分
问题描述
这是在 scala 2.13 中的后续问题,为什么有时无法显式调用类型类?:
以下代码可以正常编译:
import shapeless._
import record._
import syntax.singleton._
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")
case class HasValues[T <: HList: TypeTag](v: T) {
// def vs(implicit v: Values[T]) = v // doesn't work
def vs(implicit v: Values[T]): Values.Aux[T, v.Out] = v // works
}
val _vs = HasValues(book).vs
val v2 = book.values(_vs)
assert(v2.head == "Benjamin Pierce")
虽然以下代码在编译时和运行时语法相同,但编译失败:
import shapeless._
import record._
import syntax.singleton._
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")
case class HasValues[T <: HList: TypeTag](v: T) {
type TT = T
}
val hv = HasValues(book)
val _vs = implicitly[Values[hv.TT]]
val _vs2: Values.Aux[hv.TT, _vs.Out] = _vs
val v2 = book.values(_vs2)
assert(v2.head == "Benjamin Pierce")
结果:
[Error] /home/peng/git-spike/scalaspike/common/src/test/scala/com/tribbloids/spike/shapeless_spike/RecordProblem2.scala:41: could not find implicit value for parameter c: shapeless.ops.hlist.IsHCons[com.tribbloids.spike.shapeless_spike.RecordProblem2._vs2.Out]
one error found
此外,以下行似乎非常样板。理想情况下,我认为编译器应该能够自己找出改进,考虑到这完全是一个向上的:
val _vs = implicitly[Values[hv.TT]]
val _vs2: Values.Aux[hv.TT, _vs.Out] = _vs
为什么第二个编译失败,此外,如何摆脱样板鸭类型声明?(当然,不用修改 HasValues 类的签名)
解决方案
implicitly
可能会破坏类型细化。改为使用shapeless.the
。
编码
val hv = HasValues(book)
val _vs = the[Values[hv.TT]]
val _vs2: Values.Aux[hv.TT, _vs.Out] = _vs
val v2 = book.values(_vs2)
assert(v2.head == "Benjamin Pierce")
编译。
https://typelevel.org/blog/2014/01/18/implicitly_existential.html
还
val hv = HasValues(book)
val _vs2 = the[Values[hv.TT]]
val v2 = book.values(_vs2)
assert(v2.head == "Benjamin Pierce")
和
val hv = HasValues(book)
val v2 = book.values
assert(v2.head == "Benjamin Pierce")
编译。
另请注意,您可以更换
def vs(implicit v: Values[T]): Values.Aux[T, v.Out] = v
和
def vs(implicit v: Values[T]): v.type = v
推荐阅读
- java - Spring Cloud Contract 无法转换 contract.yml 中的 unicode 字符串
- excel - 如何在excel中创建一致的日期范围?
- python - Python - 在 PyQt5 中循环创建按钮
- amazon - 亚马逊产品广告 API 的高级用户是什么?
- angular - Angular 6中模板中的动态href和id
- typescript - 在应用程序加载之前将应用程序重定向到外部 URL:Angular 6
- javascript - jQuery:非常简单的标签切换
- couchdb - couchDb map/reduce min&max + 其他数据
- jquery - 从父元素而不是子元素中删除属性
- selenium - 如何在高位图表中选择以下数据点