当生成的存在类型过于复杂时,scala – 无形HList上的toList失败

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

导读：鉴于以下定义： class R[T]class Aclass Bclass C 这有效： val s1 = new R[A] :: new R[B] :: HNilval r1 = s1.toList// r1 of type: List[R[_ : A with B]] 虽然这不是： val s2 = new R[A] :: new R[B] :: new R[C] :: HNilval r2 = s2.toList// could no

鉴于以下定义：

class R[T]

class A
class B
class C

这有效：

val s1 = new R[A] :: new R[B] :: HNil
val r1 = s1.toList
// r1 of type: List[R[_ >: A with B]]

虽然这不是：

val s2 = new R[A] :: new R[B] :: new R[C] :: HNil
val r2 = s2.toList
// could not find implicit value for parameter toList:
// shapeless.ToList[shapeless.::[R[A],// shapeless.::[R[B],shapeless.::[R[C],shapeless.HNil]]],Lub]

我期待的地方：

// r2 of type: List[R[_ >: A with B with C]]

伪解决方案：

供给隐含自己：

val r3 = s2.toList(ToList.hlistToList[R[A],R[B],::[R[C],HNil],R[_ >: A with B with C]])

这当然不是解决方案,因为它消除了HLists的全部好处(HList由调用者提供以及所有必要的含义).

澄清

如果我在没有类型边界的情况下得到List [R [_]],我很高兴.

解决方法

您编写的代码应该是Just Work,原样,生成您期望的精确存在类型.如果你打开一个无形状的bug就会非常有用,这样下一个版本就不会忘记修复它.

与此同时,如果你真正追求的类型是List [R [_]](这似乎对我有用),那么你可以用比你的解决方法更简单的方式明确地要求它,

scala> import shapeless._
import shapeless._

scala> class R[T] ; class A ; class B ; class C
defined class R
defined class A
defined class B
defined class C

scala> val s2 = new R[A] :: new R[B] :: new R[C] :: HNil
s2: R[A] :: R[B] :: R[C] :: HNil = R@7a26bc5e :: R@518fdf9 :: R@2bc9e90c :: HNil

scala> s2.toList[R[_]]
res0: List[R[_]] = List(R@7a26bc5e,R@518fdf9,R@2bc9e90c)

鉴于这种不太精确的类型在上下文中可能更有用,即使修复了错误,你仍然希望继续使用toList的显式元素类型参数,所以我认为这是正确的答案而不是解决方法.

（编辑：李大同）

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