如何通过表达式宏从Map<String, Int>创建匿名结构？

要实现你要的效果，核心是靠编译期宏在编译阶段解析Map的键值对，动态生成带对应字段的匿名结构实例。下面是具体实现步骤：

1. 定义宏入口函数 #

先写一个对外调用的函数，它会把参数传递给宏的实现逻辑：

import scala.quoted.*

def myMacroFunc(map: Map[String, Int]): Any = ${myMacroFuncImpl(map)}

2. 编写宏的核心实现 #

宏的实现需要在编译期解析传入的Map字面量，提取键值对，然后生成匿名结构的代码：

def myMacroFuncImpl(map: Expr[Map[String, Int]])(using Quotes): Expr[Any] = {
  import quotes.reflect.*

  // 解析Map里的所有键值对，只支持字面量形式的Map
  val entries = map match {
    case Expr(Map(elems @ _*)) => elems.map {
      case Expr((Expr(key: String), Expr(value: Int))) => (key, value)
    }
    case _ => report.errorAndAbort("myMacroFunc只接受字面量形式的Map参数")
  }

  // 为每个键值对生成字段和对应的值表达式
  val fieldDefs = entries.map { (key, value) =>
    val fieldName = Term.Name(key)
    val valueExpr = Expr(value)
    (fieldName, valueExpr)
  }

  // 创建匿名case class，自动生成equals、toString等方法
  val anonCaseClass = Symbol.newClass(
    owner = Symbol.spliceOwner,
    name = "",
    typeParams = Nil,
    selfType = None,
    decls = fieldDefs.map { (name, _) =>
      Symbol.newVal(Symbol.spliceOwner, name, TypeRepr.of[Int], Flags.EmptyFlags, Symbol.noSymbol)
    },
    flags = Flags.Case
  )

  // 实例化这个匿名case class，传入对应的值
  val instance = Ref(anonCaseClass.primaryConstructor).appliedTo(fieldDefs.map(_._2))
  instance.asExpr
}

3. 实际使用 #

调用宏函数后，就能得到带对应字段的匿名结构，和你预期的效果一致：

val res = myMacroFunc(Map("var1" -> 12, "var2" -> 66))
// 直接访问字段
println(res.var1) // 输出12
println(res.var2) // 输出66
// 结构相等性判断成立
res == new { val var1 = 12; val var2 = 66 } // 同类型实例直接相等

关键说明 #

• 这个宏只支持字面量形式的Map，因为宏是在编译期运行的，没法解析运行时动态生成的Map。
• 生成的是编译期自动创建的case class实例，自带equals方法，所以能和预期的结构判断相等。

如果是其他语言（比如Rust、Groovy），思路类似：利用编译期工具解析Map的键值对，动态生成对应字段的结构体/类并实例化。比如Groovy可以用AST转换来实现类似效果，Rust可以用过程宏。

内容的提问来源于stack exchange，提问作者bh213