基于类的类型参数在 Poly1 方法中的 HList 映射

Question

我有类，用HList和其他一些类型参数化。如何在HList的方法中使用map？

编译此代码会抛出java.lang.AssertionError：

class Test[L <: HList, P](l: L, p: P) {
type Cont[T] = (P, T)
object generator extends (Id ~> Cont) {
def apply[T](t: T) = p -> t
}
def test(implicit m: Mapper[generator.type, L]) = {
l map generator
}
}
new Test(1 :: HNil, 'a).test // java.lang.AssertionError

我的目标是这样的结果：

type Cont[T] = (Symbol, T)
val p = 'a
object generator extends (Id ~> Cont) {
def apply[T](t: T) = p -> t
}
scala> (1 :: 'b' :: HNil) map generator
res0: shapeless.::[(Symbol, Int),shapeless.::[(Symbol, Char),shapeless.HNil]] = ('a,1) :: ('a,b) :: HNil

Answer 1

这是Scala编译器(2.9.2和2.10.0-RC1)中的一个错误。

作为一种解决方法，如果将Test实例的创建和test方法的调用拆分到两个表达式中，则它按预期工作，

scala> val t = new Test(1 :: HNil, 'a)
t: Test[shapeless.::[Int,shapeless.HNil],Symbol] = Test@4b153b34
scala> t.test
res0: shapeless.::[(Symbol, Int),shapeless.HNil] = ('a,1) :: HNil