Исключение во время раскрытия макроса: тип T не является классом, воспроизведите json

Да, это возможно.

Трассировка стека

scala.ScalaReflectionException: type T is not a class
    at scala.reflect.api.Symbols$SymbolApi.asClass(Symbols.scala:284)
    at scala.reflect.api.Symbols$SymbolApi.asClass$(Symbols.scala:284)
    at scala.reflect.internal.Symbols$SymbolContextApiImpl.asClass(Symbols.scala:99)
    at play.api.libs.json.JsMacroImpl.directKnownSubclasses$1(JsMacroImpl.scala:555)
    at play.api.libs.json.JsMacroImpl.macroImpl(JsMacroImpl.scala:869)
    at play.api.libs.json.JsMacroImpl.implicitConfigWritesImpl(JsMacroImpl.scala:44)

подсказывает, в чем проблема:

    def directKnownSubclasses: Option[List[Type]] = {
      // Workaround for SI-7046: https://issues.scala-lang.org/browse/SI-7046
      val tpeSym = atag.tpe.typeSymbol.asClass  //  <------
      ...

https://github.com/playframework/play-json/blob/main/play-json/shared/src/main/scala-2/play/api/libs/json/JsMacroImpl.scala#L555

.asClass можно вызывать только для символов класса, в противном случае он выдает ошибку (а исключения макросов во время выполнения — это ошибки компиляции основного кода)

def asClass: ClassSymbol = throw new ScalaReflectionException(s"$this is not a class")

https://github.com/scala/scala/blob/2.13.x/src/reflect/scala/reflect/api/Symbols.scala#L284

Проблема определения

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

в том, что здесь расширен макрос Json.writes[T], где T еще не класс, а просто параметр типа. Вы можете отложить расширение макроса, если тоже создадите свой makeWriter макрос.

import play.api.libs.json.Writes
import scala.language.experimental.macros
import scala.reflect.macros.blackbox

def makeWriter[T]: Writes[T] = macro makeWriterImpl[T]

def makeWriterImpl[T: c.WeakTypeTag](c: blackbox.Context): c.Tree = {
  import c.universe._
  val typeT = weakTypeOf[T]
  q"_root_.play.api.libs.json.Json.writes[$typeT]"
}

// in a different subproject

case class A(i: Int)

makeWriter[A] // compiles

Неявный форматтер Json для классов значений в Scala

Можно ли в Scala 2 использовать макрос или любую функцию языка для переписывания механизма реификации абстрактного типа во всех подклассах? А как насчет скалы 3?

Почему компилятор Scala может предоставить неявную информацию снаружи объекта, но не может внутри? ( ответ)

Тип параметра для метода с неявным значением в Scala — Circe

Проблема параметрического полиморфизма с неявными выражениями искры, значение toDF не является членом Seq[T]

Другое решение отложить раскрытие макроса — отложить неявное разрешение (это откладывает раскрытие макроса, поскольку макросы теперь используются для определения неявных элементов, то есть экземпляров класса типов Writes).

def makeWriter[T: Writes]: Writes[T] = implicitly[Writes[T]]
// aka
//def makeWriter[T](implicit writes: Writes[T]): Writes[T] = writes

Посмотрите разницу между implicitly[X] и (implicit x: X).

Почему при неявном разрешении с параметрами типа имеет значение размещение val?

Установка абстрактного типа на основе класса типов

и это не требует каких-либо ограничений контекста или чего-то еще:

У вас есть правильное подозрение, что границы контекста (неявные параметры) можно скрыть с помощью макросов (хотя теперь причина ошибки была другая):

def foo()(implicit a: A) = ()

может стать

def foo(): Unit = macro fooImpl

def fooImpl(c: blackbox.Context)(): c.Tree = {
  import c.universe._
  c.inferImplicitValue(typeOf[A], silent = false)
  q"()"
}

(поэтому def foo(): Unit теперь делает вид, что не требует неявного A, хотя на самом деле это так).