从 Shapeless HList 转换为案例类时缺少隐式 Generic.Aux答案

【问题标题】：Implicit Generic.Aux missing on conversion from Shapeless HList to case class从 Shapeless HList 转换为案例类时缺少隐式 Generic.Aux
【发布时间】：2015-08-30 09:40:25
【问题描述】：

我最近刚开始学习 scala，今天我决定编写一个 CSV 解析器，它可以很好地加载到案例类中，但将数据存储在 Shapeless 的 HList 对象的行（列表）中，这样我就可以接触到 type-水平编程。

这是我目前所拥有的：

// 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 的转换添加到我现在遇到编译错误的案例类之前，一切似乎都正常。 为什么没有加载隐式，我可以做些什么来修复它或以其他方式从 HList 转换为案例类？

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 shapeless type-level-computation

【解决方案1】：

你很亲密。问题是 Scala 不会自动为您在调用链上传播隐式需求。如果您需要一个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 参数（或者可以以其他方式提供实例）。

【讨论】：

我已经习惯了 scala 的编译器做神奇的事情 :) 谢谢。