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

我正在阅读这段代码很长一段时间.我把它键入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中的元素数.