Неявная материализация в том же модуле
У меня есть параметризованный класс вроде
class Test[T]{
//...
}
object Test{
implicit def materializeTest[T]: Test[T] = macro impl[T]
def impl[T: c.WeakTypeTag](c: blackbox.Context) = //...
}
При использовании материализованного неявного из того же модуля возникает ошибка:
macro implementation not found
Но проблема в том, что выделение одного класса в отдельный модуль выглядит совершенно некрасиво и громоздко. Может быть, есть какой-нибудь «известный обходной путь», чтобы избежать этого? Может быть, здесь пригодятся бесформенные?
UPD:
scalaVersion in ThisBuild := "2.13.2"
Вот мой минимальный пример:
import scala.language.experimental.macros
import scala.reflect.macros.blackbox
object Main {
sealed trait Adt
case object Adt1 extends Adt
case object Adt2 extends Adt
trait Test[Adtt <: Adt] {
def restrict(restrictions: List[Int]): List[Int]
}
object Test {
def apply[Adtt <: Adt](implicit ev: Test[Adtt]): Test[Adtt] = ev
implicit def implicitMaterializer[
Adtt <: Adt
]: Test[Adtt] = macro impl[Adtt]
def impl[Adtt <: Adt: c.WeakTypeTag](
c: blackbox.Context
): c.Expr[Test[Adtt]] = {
import c.universe._
c.Expr[Test[Adtt]](q"""???""")
}
}
def main(args: Array[String]): Unit = {
Test[Adt1.type].restrict(List(1, 2, 3))
}
}
что приводит к следующей ошибке:
[error] Main.scala:32:9: macro implementation not found: implicitMaterializer
[error] (the most common reason for that is that you cannot use macro implementations in the same compilation run that defines them)
Ответы
В отдельный модуль можно извлечь не Test
ноTestMacro
основной
import scala.language.experimental.macros
class Test[T]
object Test {
implicit def materializeTest[T]: Test[T] = macro TestMacro.impl[T]
}
implicitly[Test[Int]] // compiles
макросы
import scala.reflect.macros.blackbox
object TestMacro {
def impl[T: c.WeakTypeTag](c: blackbox.Context) = {
import c.universe._
q"new Test[${weakTypeOf[T]}]"
}
}
Уродлив или нет, но реализации макросов должны быть скомпилированы, прежде чем они будут применены.
Это улучшено в Scala 3
http://dotty.epfl.ch/docs/reference/metaprogramming/macros.html#defining-a-macro-and-using-it-in-a-single-project
Shapeless просто скрывает некоторый предопределенный набор стандартных макросов, он не может помочь с вашими собственными макросами.