Scala泛型方法调用Play JSON宏报错：type T is not a class

错误原因 #

Json.writes[A]是编译期宏，它的核心逻辑是在编译阶段通过反射解析具体类A的字段结构，自动生成对应的OWrites[A]实现。但你定义的makeWriter[T]中，T是一个未被具体化的泛型参数——在编译makeWriter方法本身时，编译器并不知道T具体指向哪个类，宏无法对抽象的类型变量进行反射解析，因此抛出type T is not a class的异常。

解决方案 #

要解决这个问题，核心是让编译器在调用makeWriter时能获取到T的具体类型信息，确保宏可以正常展开。以下是三种可行方案：

方案一：添加TypeTag上下文边界（Scala 2） #

通过TypeTag让编译器保留T的具体类型元数据，确保宏在调用时能拿到实际类的信息：

import scala.reflect.runtime.universe._
import play.api.libs.json._

def makeWriter[T: TypeTag]: Writes[T] = Json.writes[T]

方案二：使用inline方法（Scala 3） #

Scala 3的inline关键字会让方法在调用点被展开，此时T的具体类型已经明确，宏可以正常工作：

import play.api.libs.json._

inline def makeWriter[T]: Writes[T] = Json.writes[T]

方案三：依赖隐式Writes实例 #

如果T的Writes实例可以通过隐式推导获得（比如已经通过Json.writes或手动定义过），可以直接让方法依赖隐式参数，避免直接调用宏：

import play.api.libs.json._

def makeWriter[T](implicit w: Writes[T]): Writes[T] = w

这种方式更符合Scala的隐式编程习惯，也规避了宏的编译期类型依赖问题。

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