scala - 从Shapeless HList转换为case类时，缺少隐式Generic.Aux

我最近才开始学习scala，今天我决定要编写一个CSV解析器，该解析器可以很好地加载到case类中，但将数据存储在Shapeless的HList对象的行(列表)中，以便对类型级编程有所了解。

这是我到目前为止的内容:

// LoadsCsv.scala

import shapeless._
import scala.collection.mutable

trait LoadsCsv[A, T <: HList] {

    val rows: mutable.MutableList[T] = new mutable.MutableList[T]

    def convert(t: T)(implicit gen: Generic.Aux[A, T]): A = gen.from(t)

    def get(index: Int): A = {
        convert(rows(index))
    }

    def load(file: String): Unit = {
        val lines = io.Source.fromFile(file).getLines()
        lines.foreach(line => rows += parse(line.split(",")))
    }

    def parse(line: Array[String]): T

}

以及正在加载数据集的对象:

// TennisData.scala

import shapeless._

case class TennisData(weather:String, low:Int, high:Int, windy:Boolean, play:Boolean)

object TennisData extends LoadsCsv[TennisData, String :: Int :: Int :: Boolean :: Boolean :: HNil] {

    load("tennis.csv")

    override def parse(line: Array[String]) = {
        line(0) :: line(1).toInt :: line(2).toInt :: line(3).toBoolean :: line(4).toBoolean :: HNil
    }

}

直到我将get()从HList转换为case类，然后在其中得到编译错误的过程中，一切似乎都正常进行。 为什么不隐式加载，如何解决它或将其从HList转换为case类？

Error:(14, 17) could not find implicit value for parameter gen: shapeless.Generic.Aux[A,T]
        return convert(rows(index))
                      ^

我一直在阅读Shapeless文档，并提到此区域在版本1和2之间一直在变化，但是我认为我的shapeless和scala版本应该可以使用，因此我怀疑自己做的事情不正确。

https://github.com/milessabin/shapeless/wiki/Migration-guide:-shapeless-1.2.4-to-2.0.0#iso-is-now-generic

供参考，我正在运行scala 2.11.6和shapeless 2.2.2

最佳答案

你很亲密问题在于，Scala不会自动为您在 call 链上传播隐式需求。如果您需要一个Generic[A, T]实例来调用convert，那么每次调用convert convert时都必须确保其作用域内。如果A和T是固定的(实际上是案例类HList对)，Shapeless将为您生成一个。但是，在get方法中，编译器仍然对A和T一无所知，除了T是HList之外，因此您需要再次要求该实例才能调用convert:

def get(index: Int)(implicit gen: Generic.Aux[A, T]): A = convert(rows(index))

进行此更改后，一切都应该正常工作。

请注意，您还可以通过添加如下的(抽象)方法来在特征级别上要求实例:

implicit def genA: Generic.Aux[A, T]

然后，任何实现LoadsCsv的类都可以具有隐式val genA参数(或可以其他方式提供实例)。