找不到shapeless.ops.record.Selector的隐式值

Question

我正在尝试shapeless，以探索在无形状的标签记录中提取值类型的可能性。这样做的动机是，我可以使用类型类，并隐式地根据类型分派过程流。但是，以下代码不起作用。

import shapeless._, record._
import shapeless.ops.record.Selector
import shapeless.syntax.RecordOps
import shapeless.syntax.singleton._

object ShapelessRecordTest extends App {

  trait Extractor[K, T] {
    type OUT_K
    def extract: T => OUT_K
  }

  object Extractor {

    type Aux[K, T, OUT_K0] = Extractor[K, T] {
      type OUT_K = OUT_K0
    }

    implicit def apply[T, Repr, OUT](k: Witness)(
      implicit gen: LabelledGeneric.Aux[T, Repr],
      selector: Selector.Aux[Repr, k.T, OUT]
    ): Aux[k.T, T, OUT] = new Extractor[k.T, T] {
      type OUT_K = OUT
      def extract: T => OUT_K = (e: T) => {
        val rep = gen.to(e)
        val rprOp: RecordOps[Repr] = new RecordOps[Repr](rep)
        rprOp(k)
      }
    }
  }

  case class Person(name: String, address: String, age: Int)

  implicit val gen = LabelledGeneric[Person]

  val nameWit: Witness = 'name
  val nameExtractor: Extractor.Aux[nameWit.T, Person, String] = Extractor(nameWit)

  def main(args: Array[String]): Unit = {
    val joe = Person("Joe", "Brighton", 33)
    println(nameExtractor.extract(joe))
  }

}

我使用的是Scala 2.12.8，编译器错误是

{
    "resource": "/workspace/connecterra/stream-data-pipeline/flink/src/main/scala/io/connecterra/ShapelessRecordTest.scala",
    "owner": "_generated_diagnostic_collection_name_#0",
    "severity": 8,
    "message": "could not find implicit value for parameter selector: shapeless.ops.record.Selector.Aux[Repr,ShapelessRecordTest.nameWit.T,OUT]",
    "source": "scalac",
    "startLineNumber": 37,
    "startColumn": 74,
    "endLineNumber": 37,
    "endColumn": 75
}

我想知道我在这里遗漏了什么。或者这在无形状的情况下是完全可能的吗？

Answer 1

如果你打算显式地调用apply，那么隐式调用它就没有多大意义。最好不要混用物化方法和隐式方法来定义类型类的实例。RecordOps不应该是手动创建的(对于此有import shapeless.record._ )。有时，直接调用类型类的apply方法(例如shapeless.ops.record.Selector)要比依赖扩展方法更好。当您编写val nameWit: Witness = 'name时，您会松散类型优化。创建implicit val gen = LabelledGeneric[Person]是没有意义的。对于Selector，Repr应为<: HList。

试一试

import shapeless._
import shapeless.ops.record.Selector

object ShapelessRecordTest {

  trait Extractor[K, T] {
    type OUT_K
    def extract: T => OUT_K
  }

  object Extractor {

    type Aux[K, T, OUT_K0] = Extractor[K, T] {
      type OUT_K = OUT_K0
    }

    def apply[T](k: Witness)(implicit 
      extractor: Extractor[k.T, T]): Aux[k.T, T, extractor.OUT_K] = extractor

    implicit def extractor[T, Repr <: HList, K](implicit
      gen: LabelledGeneric.Aux[T, Repr],
      selector: Selector[Repr, K]
    ): Aux[K, T, selector.Out] = new Extractor[K, T] {
      type OUT_K = selector.Out
      def extract: T => OUT_K = (e: T) => {
        val rep: Repr = gen.to(e)
        selector(rep)
      }
    }
  }

  case class Person(name: String, address: String, age: Int)

  val nameWit = Witness('name)
  val nameExtractor: Extractor.Aux[nameWit.T, Person, String] = Extractor(nameWit)

  def main(args: Array[String]): Unit = {
    val joe = Person("Joe", "Brighton", 33)
    println(nameExtractor.extract(joe)) // Joe
  }
}