无形 HList 返回类型

Question

我试图在我的代码中加入一些无形的东西，但我遇到了一个令人尴尬的早期障碍。在下面的示例中，似乎 HCons 将未定义的对象添加到 HNil：

trait HasValue[A, B] {
  def get(a: A): B
  def getAll[L <: HList, O <: HList](a: A)(implicit ga: GetAll[A, L]): O = ga.getAll(a, HNil)
}

trait GetAll[A, B] {
  def getAll[L <: HList, O <: HList](a: A, l: L): O
}
implicit def getAllIfHasValue[A, B](implicit ev: HasValue[A, B]) = new GetAll[A, B] {
  def getAll[L <: HList, O <: HList](a: A, l: L): O = ev.get(a) :: l
}

并得到一个错误 - type mismatch: Found B :: L, Required O。 我会认为，因为L 本身就是HList，B :: L 本身应该是HList，因此一切都应该很好。但显然不是。

任何帮助表示赞赏！

Answer 1

我猜这个错误很明显

type mismatch;
 found   : B :: L
 required: O

ev.get(a) :: l 的类型为 B :: L，但应为 O。

我会认为，既然L 本身就是一个HList，那么B :: L 本身应该是一个HList，因此一切都应该很好。

B :: L 确实是HList。问题是B :: L 不是O。

当你写签名时

def getAll[L <: HList, O <: HList](a: A, l: L): O = ???

这意味着，对于任何类型L <: HList 和任何类型 O <: HList，具有a: A 和l: L 的值都会产生O 类型的值。我猜这不是你想要的。

也许您想根据类型 A、B 返回类型 O。然后可以引入类型参数

trait GetAll[A, B] {
  type O
  def getAll[L <: HList](a: A, l: L): O
}

或者您可能想要返回一个类型 O，具体取决于类型 A、B、L <: HList。然后另外你应该将L转移到特征级别

trait GetAll[A, B, L <: HList] {
  type O
  def getAll(a: A, l: L): O
}