在Scala TypeClass中找不到隐式参数

Question

我正在尝试基于要加载的类型数据创建类型类-

类型如下：

trait DataSource
case class HDFSSource(path: String) extends DataSource
case class HiveTableSource(db: String, tbl: String) extends DataSource

这是特质

trait Loader[A, B, C] {
  //Any Spark loader requires
  // A -> Input Type
  // B -> Output Type
  // C -> some type of implicit context provided by the compiler from the sourounding environemnt..
  def load(input: A)(implicit context: C): B

这是实现：

object Loader {
  implicit object HiveLoader extends Loader[HiveTableSource, DataFrame, HiveContext] {
    def load(source: HiveTableSource)(implicit hc: HiveContext): DataFrame = {
      val db = source.db
      val tbl = source.tbl
      val df =  hc.sql(s"select * from $db.$tbl")
      df
    }
  }
  def loadDataSource[A: Loader, B, C](d: A) = implicitly[Loader[A,B,C]].load(d)

编译器抱怨它找不到参数的隐式证据，特别是在“隐式[ABC]”中：

目标是拥有一个对每个类型具有不同行为的类型类，并且还使用不同的上下文（由环境隐式提供）

Answer 1

def loadDataSource[A, B, C](d: A)(implicit ldr: Loader[A,B,C], context: C): B = ldr.load(d)

我没有尝试自己编译它，但是我很确定那是可行的。

loadDataSource[A: Loader, B, C](d: A)替代为loadDataSource[A, B, C](d: A)(implicit ev: Loader[A]) ，在这里不起作用，因为Loader需要3种参数。 因此，您必须显式注释隐式参数，而不是使用上下文绑定。

为了调用Loader的load方法，必须提供一个隐式C。 这就是为什么我添加了附加context: C隐式参数的原因。