如何使用无形或宏获取 Scala 案例 class 字段和值作为（字符串，字符串）

Question

我已经苦苦挣扎了几天，试图创建一个宏或使用 shapeless 来创建一个方法/函数来将字段名称和值提取为元组 [String，String]。

让我们想象以下情况 class：

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

我想要这样的东西（实际上并不需要成为案例类中的方法）。

case class Person(name: String, age: Int) {
    def fields: List[(String, String)] = ???
}

// or

def fields[T](caseClass: T): List[(String, String)] = ???

我在这里看到了很多类似的解决方案，但我无法让它与我的 (String, String) 用例一起工作

我也很欣赏一些文献来学习和扩展我关于宏的知识，我既有 Scala 编程（Martin 的第三版）和 Programming Scala（O'REILLY - Dean Wampler & Alex Payne），只有 O'REILLY 有一个非常小的关于宏的章节，老实说它非常缺乏。

谢谢！

PD：我正在使用 Scala 2.12.12 所以我没有那些针对案例 class productElementNames等的花哨的新方法：（

Answer 1

基于LabelledGeneric和Keys类型类

import shapeless.LabelledGeneric
import shapeless.HList
import shapeless.ops.hlist.ToTraversable
import shapeless.ops.record.Keys

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

def fields[P <: Product, L <: HList, R <: HList](a: P)(
  implicit
  gen: LabelledGeneric.Aux[P, L],
  keys: Keys.Aux[L, R],
  ts: ToTraversable.Aux[R, List, Symbol]
): List[(String, String)] = {
  val fieldNames = keys().toList.map(_.name)
  val values = a.productIterator.toList.map(_.toString)
  fieldNames zip values
}

fields(Person("Jean-Luc, Picard", 70))
// : List[(String, String)] = List((name,Jean-Luc, Picard), (age,70))

斯卡斯蒂

IDEA...显示错误...没有隐式 arguments

当涉及到类型级代码和宏时，IntelliJ 编辑器内错误突出显示有时不是 100% 准确的。 最好将其视为指导，并正确信任 Scala 编译器，因此如果编译器满意但 IJ 不满意，那么 go 与编译器一起使用。 另一种选择是尝试 Scala Metals ，它应该在编译器诊断和编辑器内错误突出显示之间具有一对一的映射。

为什么你使用 LabelledGeneric.Aux、Keys.Aux、ToTraversable.Aux

这是使用一种称为类型类的设计模式。 我的建议是阅读The Type Astronaut's Guide to Shapeless中关于链接依赖函数的特定部分

依赖类型函数提供了一种从另一种类型计算的方法。 我们可以链接依赖类型的函数来执行涉及多个步骤的计算。

考虑以下类型之间的依赖关系

                input type
                         |
gen: LabelledGeneric.Aux[P, L],
                            |
                            output type
 
      input type
               |
keys: Keys.Aux[L, R]
                  |
                  output type

请注意，例如 output 类型L的LabelledGeneric如何成为Keys的输入类型。 通过这种方式，您可以向编译器显示类型之间的关系，并且作为回报，编译器能够为您提供一个HList ，该 HList 代表Product中代表特定情况 class 的字段名称，而这一切都在程序运行之前完成。

需要ToTraversable以便您可以从启用以下位的HList取回常规 Scala List

.toList.map(_.name)

希望这至少能给你一点方向。 要搜索的一些关键字是：类型类、依赖类型、隐式解析、类型别名辅助模式、类型成员与类型参数、类型细化等。类型级社区有一个新的 Discord频道，您可以在其中获得进一步的指导。