作者热门文章
- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我试图让这个相当愚蠢的例子工作,然后计划将它扩展到更有意义的东西。
但到目前为止没有运气:我得到 could not find implicit value for parameter ihc
我错过了什么?
sealed trait Field[T] { def name: String }
case class IntegerField(name: String) extends Field[Int]
val year = IntegerField("year")
val test = (year :: 23 :: HNil) :: (year :: 2 :: HNil) :: HNil
type TypedMap = IntegerField :: Int :: HNil
def get[L <: HList : <<:[TypedMap]#λ]
(key: IntegerField, list: L)
(implicit ihc: IsHCons.Aux[L, TypedMap, L]
): Option[Int] = {
if( list == HNil ) return None
val elem: TypedMap = list.head
if( elem.head == key ) Some(elem.tail.head)
else get(key, list.tail)
}
get(year, test)
最佳答案
当你写 IsHCons.Aux[L, TypedMap, L]
你要的是 hlist L
的证据有头TypedMap
和尾部L
,这意味着它是一个无限的 hlist,这是不可能的,因为 Scala 不允许这种任意递归类型(例如,尝试编写类似 type Foo = Int :: Foo
的东西——你会得到一个“非法循环引用”错误)。这也可能不是您想要的。
一般来说,您不太可能使用 IsHCons
在 Shapeless 中很多,因为在类型中指示您想要的结构几乎总是更好。例如,以下两个定义做同样的事情:
import shapeless._, ops.hlist.IsHCons
def foo[L <: HList](l: L)(implicit ev: IsHCons[L]) = ev.head(l)
def foo[H, T <: HList](l: H :: T) = l.head
IsHCons
实例意味着这里的递归不会按规定工作——你不能调用
get
在
HNil
上,因为编译器无法证明它是
HCons
(因为它不是)。
TypedMap
类型,你还不如用Shapeless的
Sized
(如果你想要类型来捕捉长度)或者甚至只是一个普通的旧
List
.
HList
在这里,我建议编写一个新的类型类:
trait FindField[L <: HList] {
def find(key: IntegerField, l: L): Option[Int]
}
object FindField {
implicit val findFieldHNil: FindField[HNil] = new FindField[HNil] {
def find(key: IntegerField, l: HNil) = None
}
implicit def findFieldHCons[H <: TypedMap, T <: HList](implicit
fft: FindField[T]
): FindField[H :: T] = new FindField[H :: T] {
def find(key: IntegerField, l: H :: T) = if (l.head.head == key)
Some(l.head.tail.head)
else fft.find(key, l.tail)
}
}
def get[L <: HList](key: IntegerField, l: L)(implicit
ffl: FindField[L]
): Option[Int] = ffl.find(key, l)
scala> get(IntegerField("year"), test)
res3: Option[Int] = Some(23)
scala> get(IntegerField("foo"), test)
res4: Option[Int] = None
关于scala - 无形:IsHCons,未找到隐式,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29331173/
我是一名优秀的程序员,十分优秀!