谁能解释这个scala代码的含义

发布时间：2020-12-16 18:52:24 所属栏目：安全来源：网络整理

导读：我正在阅读这段代码很长一段时间.我把它键入REPL,它也可以. 但我不知道这里发生了什么.为什么以及如何工作！ import shapeless._case class Size[L : HList](get : Int)object Size { implicit val hnilSize = Size[HNil](0) implicit def hconsSize[H,T : H

我正在阅读这段代码很长一段时间.我把它键入REPL,它也可以.

但我不知道这里发生了什么.为什么以及如何工作！

import shapeless._

case class Size[L <: HList](get : Int)
object Size {
    implicit val hnilSize = Size[HNil](0)
    implicit def hconsSize[H,T <: HList](implicit tailSize: Size[T]) = 
        Size[H :: T](1 + tailSize.get)
    def apply[L <: HList](l : L)(implicit size: Size[L]) : Int = size.get
}

Size(1 :: "Foo" :: true :: HNil)

有人可以一步一步地解释这一点,并帮助我理解这里发生了什么.

解决方法

是的,这是非常厚的东西.

这里的思维是,hconsSize是递归的,而不是实际的自我指涉.

apply和hconsSize都引入了一个类型为Size [X]的隐式.只有两个含义可以适合该法案：

> hnilSize,但仅当X是HNil类型时
> hconsSize本身

因此,在hconsSize隐式中应用pull,它会向堆栈添加1并隐藏另一个hconsSize(不一定按此顺序).这一直持续到我们遇到HNil类型的元素.然后引入hnilSize隐式,get为零,堆栈展开并且所有这些都被加起来.

结果：无形HList中的元素数.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!