Scala 3宏HOAS参考示例编译报错‘Type must be fully defined’求助

错误原因 #

你复制的官方HOAS示例是简化演示片段，直接运行会触发两个核心问题：

1. 类型未完全定义：引号模式中$f(y)的写法不符合Scala 3宏语法规则，编译器无法推断f的类型，导致Type must be fully defined错误。
2. 标识符未找到：模式中的f和z仅在匹配分支的上下文有效，但原代码未在分支内返回对应结果，且后续代码直接引用未定义的f、z，触发“找不到标识符”错误。

修正方案 #

以下两种方案均可解决问题，分别对应反射API和引号模式两种写法：

方案一：使用反射API匹配HOAS #

通过Scala 3宏的反射节点类型直接解析函数应用结构，这是HOAS操作的标准方式：

package macrotest
import scala.quoted.*

object ExprMatchingPlayground {

  inline def foo(whatever: Any): Any = ${scrutinize('whatever)}

  def scrutinize[T](e: Expr[T])(using Quotes): Expr[T] = {
    import quotes.reflect.*
    // 可替换为匹配传入的e，此处保留官方示例的测试表达式
    val testExpr = '{ ((x: Int) => x + 1).apply(2) }
    testExpr.asTerm match
      // 匹配函数.apply(实参)的结构
      case Apply(Select(Lambda(_, body), "apply"), List(zTerm)) =>
        // 将函数体中的参数替换为实参表达式
        val substituted = body.substituteSymbols(List(body.paramSyms.head), List(zTerm))
        substituted.asExprOf[Int].asInstanceOf[Expr[T]]
      // 匹配失败时返回原表达式
      case _ => e
  }
}

方案二：使用引号模式正确绑定 #

如果偏好引号语法，需明确绑定表达式的类型，避免编译器类型推断失败：

package macrotest
import scala.quoted.*

object ExprMatchingPlayground {

  inline def foo(whatever: Any): Any = ${scrutinize('whatever)}

  def scrutinize[T](e: Expr[T])(using Quotes): Expr[T] = {
    import quotes.reflect.*
    val testExpr = '{ ((x: Int) => x + 1).apply(2) }
    testExpr match
      // 明确指定f和z的类型，让编译器正确绑定表达式
      case '{ ($f: Int => Int).apply($z: Int) } =>
        '{ $f($z) }.asInstanceOf[Expr[T]]
      case _ => e
  }
}

关键修正点 #

• 移除原代码中无效的f(z)调用，改为返回匹配后生成的新表达式。
• 方案一使用substituteSymbols完成函数参数到实参的替换，这是HOAS的核心操作。
• 方案二通过明确类型注解，让编译器正确解析引号模式中的绑定变量。

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