Scala 宏生成隐式
scala macros generating implicits
我正在尝试通过宏生成一些隐含项 - 宏的压缩版本如下所示:
object Implicits {
def generate(c:Context):c.Expr[Unit]={
import c.universe._
c.Expr[Unit] {
q"""
object Dud{
implicit val p:java.io.File = new java.io.File("/tmp")
def toString():String ={ "Dud here" }
}
import Dud._
"""
}
}
}
我正在使用宏:
object ImplicitTest extends App {
def genImplicits = macro Implicits.generate
genImplicits
val f: File = implicitly[File]
println(f)
}
测试摆脱了抱怨
ImplicitTest.scala could not find implicit value for parameter e: java.io.File
[error] val f: File = implicitly[File]
[error] ^
这个宏我做错了什么?
对宏方法的调用将扩展为如下所示(我通过在返回表达式之前打印表达式生成此文本,并在 toString
定义中添加 override
之后):
{
object Dud extends scala.AnyRef {
def <init>() = {
super.<init>();
()
};
implicit val p: java.io.File = new java.io.File("/tmp");
override def toString(): String = "Dud here"
};
import Dud._;
()
}
请注意,这不会将任何内容带入 ImplicitTest
正文的范围内。 Dud
对象和导入都在一个块内,当您到达 val f: File = implicitly[File]
行时,两者都不可用。
您可以编写一个可以应用于 ImplicitTest
的 implicit macro method, or you can write a macro annotation,它会同时添加 Dud
和导入,但您不能将新对象或导入引入范围一个 def
宏。
根据 Travis 的回答(谢谢)我使用宏注释编写了宏:如果它对其他人有帮助,这是代码 - 它是概念证明
@compileTimeOnly("enable macro paradise to expand macro annotations")
class defaultFileMacro extends StaticAnnotation {
def macroTransform(annottees: Any*) = macro DefaultMacro.impl
}
object DefaultMacro {
def impl(c: Context)(annottees: c.Expr[Any]*): c.Expr[Any] = {
import c.universe._
val inputs:List[Tree] = annottees.map(_.tree).toList
val tree= inputs(0)
val q"val $list:List[$t]= $files" = tree
print(show(q"""implicit val fl1:$t = $files(0)"""))
c.Expr[Any] {
q"""
implicit val fl1:$t = $files(0)
"""
}
}
}
用法:
object ImplicitTest extends App {
def findDefaultFile() = {
@defaultFileMacro val list: List[File] = List(new File("/tmp"))
val f: File = implicitly[File]
println(f)
}
findDefaultFile()
}
运行
> run-main ImplicitTest
[info] Running ImplicitTest
/tmp
我正在尝试通过宏生成一些隐含项 - 宏的压缩版本如下所示:
object Implicits {
def generate(c:Context):c.Expr[Unit]={
import c.universe._
c.Expr[Unit] {
q"""
object Dud{
implicit val p:java.io.File = new java.io.File("/tmp")
def toString():String ={ "Dud here" }
}
import Dud._
"""
}
}
}
我正在使用宏:
object ImplicitTest extends App {
def genImplicits = macro Implicits.generate
genImplicits
val f: File = implicitly[File]
println(f)
}
测试摆脱了抱怨
ImplicitTest.scala could not find implicit value for parameter e: java.io.File
[error] val f: File = implicitly[File]
[error] ^
这个宏我做错了什么?
对宏方法的调用将扩展为如下所示(我通过在返回表达式之前打印表达式生成此文本,并在 toString
定义中添加 override
之后):
{
object Dud extends scala.AnyRef {
def <init>() = {
super.<init>();
()
};
implicit val p: java.io.File = new java.io.File("/tmp");
override def toString(): String = "Dud here"
};
import Dud._;
()
}
请注意,这不会将任何内容带入 ImplicitTest
正文的范围内。 Dud
对象和导入都在一个块内,当您到达 val f: File = implicitly[File]
行时,两者都不可用。
您可以编写一个可以应用于 ImplicitTest
的 implicit macro method, or you can write a macro annotation,它会同时添加 Dud
和导入,但您不能将新对象或导入引入范围一个 def
宏。
根据 Travis 的回答(谢谢)我使用宏注释编写了宏:如果它对其他人有帮助,这是代码 - 它是概念证明
@compileTimeOnly("enable macro paradise to expand macro annotations")
class defaultFileMacro extends StaticAnnotation {
def macroTransform(annottees: Any*) = macro DefaultMacro.impl
}
object DefaultMacro {
def impl(c: Context)(annottees: c.Expr[Any]*): c.Expr[Any] = {
import c.universe._
val inputs:List[Tree] = annottees.map(_.tree).toList
val tree= inputs(0)
val q"val $list:List[$t]= $files" = tree
print(show(q"""implicit val fl1:$t = $files(0)"""))
c.Expr[Any] {
q"""
implicit val fl1:$t = $files(0)
"""
}
}
}
用法:
object ImplicitTest extends App {
def findDefaultFile() = {
@defaultFileMacro val list: List[File] = List(new File("/tmp"))
val f: File = implicitly[File]
println(f)
}
findDefaultFile()
}
运行
> run-main ImplicitTest
[info] Running ImplicitTest
/tmp