scala – 如何映射Nat的无形HList

发布时间：2020-12-16 10:04:53 所属栏目：安全来源：网络整理

导读：我有一个Nat的HList,我想要映射它 object NatToString extends Poly1 { implicit def caseNat = at[Nat](_.toString)}val list = _5 :: _3 :: HNillist.map(NatToString) 此代码不编译并抛出： could not find implicit value for parameter mapper: shapele

我有一个Nat的HList,我想要映射它

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

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

此代码不编译并抛出：

could not find implicit value for parameter mapper:
shapeless.ops.hlist.Mapper[Main.Nat_to_String.type,shapeless.::[shapeless.Nat._5,shapeless.::[shapeless.Nat._3,shapeless.HNil]]]

但是如果我用Int(或String,或者List等)代替Nat做同样的事情,那么它的效果非常好.

我如何映射Nat的HList？

解决方法

问题是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直接合作不是您想要的 – 您几乎总是想要一个特定的子类型.

（编辑：李大同）

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