我尝试了 HList 并按预期进行了以下工作：
val hl = 1 :: "foo" :: HNil
val i: Int = hl(_0)
val s: String = hl(_1)
但是，我无法让以下代码正常工作（让我们暂时假设对列表进行随机访问是一个聪明的主意;-)）：
class Container(hl: HList) {
def get(n: Nat) = hl(n)
}
val container = new Container(1 :: "foo" :: HNil)
val i: Int = container.get(_0)
val s: String = container.get(_1)
我想要get返回一个Int and String根据它的参数。我想，如果可能的话，我必须使用Aux or at但我不知道该怎么做。
尝试沿着这些思路做一些事情，
scala> import shapeless._, nat._, ops.hlist._
import shapeless._
import nat._
import ops.hlist._
scala> class Container[L <: HList](hl: L) {
| def get(n: Nat)(implicit at: At[L, n.N]): at.Out = hl[n.N]
| }
defined class Container
scala> val container = new Container(1 :: "foo" :: HNil)
container: Container[shapeless.::[Int,shapeless.::[String,shapeless.HNil]]] = ...
scala> container.get(_0)
res1: Int = 1
scala> container.get(_1)
res2: String = foo
这里的第一个关键区别是，而不是输入hl一样简单HList，它丢失了有关元素类型的所有特定信息，我们对参数的精确类型进行参数化，并将其结构保留为L。第二个区别是我们使用L为隐式索引At类型类实例，用于执行索引get.
另请注意，因为存在隐式转换Int文字为Nat你可以写，
scala> container.get(0)
res3: Int = 1
scala> container.get(1)
res4: String = foo
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
