如何映射未成形的Nat列表

Question

我有一个Nat的列表，我想把它映射过来

object NatToString extends Poly1 {
    implicit def caseNat = at[Nat](_.toString)
}

val list = _5 :: _3 :: HNil
list.map(NatToString) 

此代码不会编译并引发：

找不到参数映射器的隐式值：
未成形。ops。hlist。映射器[Main.Nat\u to\u String.type，shapeless:[shapess.Nat.u 5，shapess:[shapess.Nat.u 3，shapess.HNil]]

但是如果我用Int（或String，或List，等等）代替Nat做同样的事情，它就可以完美地工作。

如何绘制Nat的HList？

Answer 1

问题是Poly1。Case在其类型参数中不是协变的。考虑以下内容：

trait Foo
trait Bar extends Foo

val foo = new Foo {}
var bar = new Bar {}

object fooIdentity extends Poly1 {
  implicit def caseFoo = at[Foo](identity)
}

现在，fooIdentity（foo）将编译，但fooIdentity（bar）不会编译。

在您的情况下，HList的成员静态类型为5和3。这些是Nat的子类型，但NatToString并不重要，因为它唯一的情况是寻找静态类型为Nat的东西。

诀窍就是在案例中添加一个类型参数：

object NatToString extends Poly1 {
  implicit def caseNat[N <: Nat] = at[N](_.toString)
}

你会发现，通常直接使用Nat并不是你想要的，你几乎总是想要一个特定的子类型。