首页 文章

从Shapeless HList到case类的转换时缺少Implicit Generic.Aux

提问于
浏览 次
3

我刚刚开始学习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
    }

}

事情似乎工作正常，直到我添加了从HList到case类的get（），我现在得到了一个编译错误 . Why isn't the implicit getting loaded and what can I do to fix it or otherwise convert from the HList to the case class?

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

我一直在阅读无形文档，它提到这个区域在版本1和版本2之间不断变化，但我相信事情应该在我的无形和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和无形2.2.2

scala shapeless type-level-computation

1 回答

  • 5

    您're very close. The problem is that Scala isn' t将自动为您调用隐式需求 . 如果你需要 Generic[A, T] 实例来调用 convert ，那么每次调用convert convert 时你都会在范围内'll have to make sure that one' . 如果 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 参数（或者可以用其他方式提供实例） .

    回复于

相关问题