在 poly 函数中键入擦除，scala

Question

所以我想在HList 上创建一个映射函数，但我需要检查应用函数内部的一些条件。喜欢：

object test extends Poly1 {
    implicit def default[L <: HList](implicit head: ops.hlist.IsHCons[L]) = 
    at[L](t => {
        if(true) t.head else false //here some condition    
    })
}

因此，我们丢失了 t.head 元素中有关 type 的所有信息；顺便说一句，如果我们构建“干净”功能：

object test extends Poly1 {
    implicit def default[L <: HList](implicit head: ops.hlist.IsHCons[L]) = 
    at[L](t => t.head)
}

那么，显然，一切都好。

所以问题是：如何处理它，并制作这样的功能（如果可能的话）或者我应该寻找另一种方式？为什么这里可以进行类型擦除？

Answer 1

问题不在于类型擦除或与 Shapeless 相关的任何棘手问题 - 只是条件表达式的推断类型是两个分支类型的最小上限，在本例中为 Any。你可以看到同样的事情发生在一个普通的旧多态方法上：

scala> def foo[A](a: A) = if (true) a else false
foo: [A](a: A)Any

作为旁注，匹配HList 的结构会更优雅（和惯用），而不是需要IsHCons 类型类的实例：

object test extends Poly1 {
  implicit def default[H, T <: HList] = at[H :: T](_.head)
}

这与您的“干净”示例完全相同。