隐式def的Scala更高kinded类型失败，并显示“找不到隐式值”

Question

我使用隐式def来构建递归HList类型，以匹配HList的几种较高kinded类型。我深受this post的启发。

此代码是可以正常使用：

sealed trait HList { 
    type Plus[L <: HList] <: HList 
} 

class HNil extends HList { 
    type Plus[L <: HList] = L 

    def ::[T](v: T) = HCons(v, this) 
} 

case class Appender[L1 <: HList, L2 <: HList, R <: HList](fn: (L1, L2) => R) { 
    def apply(l1: L1, l2: L2) = fn(l1, l2) 
} 

object HNil extends HNil 

object HList { 
    def ++[L1 <: HList, L2 <: HList](l1: L1, l2: L2)(implicit f: Appender[L1, L2, L1#Plus[L2]]): L1#Plus[L2] = f(l1, l2) 

    implicit def nilAppender[L <: HList]: Appender[HNil, L, L] = Appender((v: HNil, l: L) => l) 

    implicit def consAppender[T, L1 <: HList, L2 <: HList, R <: HList](implicit f: Appender[L1, L2, R]): Appender[HCons[T, L1], L2, HCons[T, R]] = { 
    Appender[HCons[T, L1], L2, HCons[T, R]]((l1: HCons[T, L1], l2: L2) => HCons(l1.head, f(l1.tail, l2))) 
    } 
} 

case class HCons[T, U <: HList](head: T, tail: U) extends HList { 
    type Plus[L <: HList] = HCons[T, U#Plus[L]] 

    def ::[V](v: V) = HCons(v, this) 
} 

import HList._ 

val hlist1 = 2.0 :: "hi" :: HNil 
val hlist2 = 1 :: HNil 

val sum = ++(hlist1, hlist2) 
println("last element : " : + sum.tail.tail.head) // prints last element : 1" 

现在，我不知道为什么，但如果我尝试在HCons，这只是调用现有HList.++方法添加++方法，这是不工作：

case class HCons[T, U <: HList](head: T, tail: U) extends HList { 
type Plus[L <: HList] = HCons[T, U#Plus[L]] 

    def ::[V](v: V) = HCons(v, this) 

    def ++[L2 <: HList](l2: L2) = HList.++(this,l2) 
} 

我得到这个编译错误：

could not find implicit value for parameter f: Appender[HCons[T,U],L2,HCons[T,U]#Plus[L2]] 

由于HCons是HList的子类型，就像由HList。++定义的L1类型，我认为它是可以的。

我试过这个，但是，这不是更好的工作：

implicit def consAppender[T, L1 <: HList, L2 <: HList, L3, R <: HList](implicit f: Appender[L1, L2, R], ev: L3 <:< HCons[T, L1]): Appender[HCons[T, L1], L2, HCons[T, R]] = { 
    Appender[HCons[T, L1], L2, HCons[T, R]]((l1: L3, l2: L2) => HCons(l1.head, f(l1.tail, l2))) 
    } 

我错过了什么？

谢谢:)

Answer 1

您应该将++方法的定义从此改变：

def ++[L2 <: HList](l2: L2) = HList.++(this,l2) 

这样：

def ++[L2 <: HList](l2: L2)(implicit f: Appender[HCons[T,U], L2, Plus[L2]]) = HList.++(this,l2) 

编译器没有足够的信息来选择合适的隐式值在方法定义中，但是当你从外部传递appender时，这个例子应该通过：

val hlist1 = 2.0 :: "hi" :: HNil 
val hlist2 = 1 :: HNil 
println(hlist1++hlist2) 

更新1：在++方法上HCons，我们称之为HList.++方法，其需要一个隐式参数。该参数必须是Appender[HCons[T, U], L2, HCons[T, U#Plus[L2]]]。编译器可以从HList.consAppender填充此隐式参数，但这又需要另一个类型为Appender[U, L2, U#Plus[L2]]的隐式参数。 这是编译器无法发现的参数。知道了这一点，上面的代码可以简化为：

def ++[L2 <: HList](l2: L2)(implicit f: Appender[U, L2, U#Plus[L2]]): Plus[L2] = HList.++(this, l2) 

更新2：编译器必须在隐含参数在调用点填写，在我们的例子中HCons.++方法（可以验证，例如，用​​）。它可以从implicits提供两个附加器类型中进行选择：

Appender[HNil, L, L] 
Appender[HCons[T, L1], L2, HCons[T, R]] 

第一个可用于仅当类型参数U是HNil，其他只有当U是HCons。但是此信息在HCons.++内不可用。它只知道U <: HList但不知道它是哪个实现，因此失败。