Scala宏展开后出现“not found value...”编译错误求助

作为经常折腾Scala宏的开发者，我太懂这种在宏里模式匹配踩坑的感觉了！结合你描述的情况——为InfluxDB客户端写JSON读写器宏，编译MacroReaderSpec时模式匹配部分报错，且通过-Ymacro-debug-lite定位到问题点，大概率是宏编译期的上下文或语法规范没处理对，给你几个针对性的排查和修改方向：

• 确保提取器在宏的编译期作用域内可见
  宏是在编译阶段执行的，所以你的自定义提取器（比如和InfluxFormatter相关的）必须是编译期可访问的：

  • 不要把提取器放在仅运行时可见的类/模块里，比如如果提取器依赖运行时的InfluxDB客户端类，可能会导致编译期找不到；
  • 确保宏所在的类已经显式导入了提取器，比如import com.yourpackage.YourExtractor._，宏的编译期上下文不会自动继承外部的导入。

• 显式使用提取器的unapply方法（替代隐式模式匹配）
  有时候编译器在宏的AST处理逻辑里，不会自动将模式匹配语法关联到提取器的unapply方法，你可以把模式匹配拆解为显式的unapply调用：

  // 原来的模式匹配写法（可能报错）
  tree match {
    case YourExtractor(a, b) => // 处理逻辑
  }
  
  // 修改为显式unapply调用
  YourExtractor.unapply(tree) match {
    case Some((a, b)) => // 处理逻辑
    case None => // 处理默认情况
  }
  

  这种写法能强制编译器调用你的提取器，避免隐式解析失败的问题。

• 导入宏上下文的Universe成员
  如果你的模式匹配是针对Scala AST节点（比如处理类、方法的语法树），必须导入当前宏上下文的universe成员，否则编译器会把AST节点当成普通类，无法识别模式：

  def yourMacroImpl(c: Context)(annottees: c.Expr[Any]*): c.Expr[Any] = {
    import c.universe._ // 必须导入这个！
    annottees.map(_.tree).head match {
      case ClassDef(mods, name, tparams, impl) => // 正确匹配类节点
      // ... 其他处理逻辑
    }
  }
  

  很多宏新手容易漏掉这个导入，导致AST模式匹配完全失效。

• 检查编译器选项与Scala版本兼容性

  • 除了-Ymacro-debug-lite，可以加上-Yrangepos选项，它能确保宏处理AST时的位置信息正确，避免一些隐晦的模式匹配错误；
  • 确认你使用的Scala版本和InfluxDB客户端依赖的版本兼容，比如Scala 2.12和2.13的宏API有一些细节差异，某些模式匹配写法在旧版本可能不生效。

• 验证提取器的unapply签名正确性
  提取器的unapply方法签名必须符合Scala的规范：

  • 对于普通提取器，unapply返回Option[T]或Boolean；
  • 对于针对AST节点的提取器，要确保参数类型是c.universe.Tree（或对应的AST子类型），返回值的类型也符合宏上下文的要求。

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