Scala宏 – 使用`c.prefix`推断隐式值

@H_301_0@
@H_301_0@
c.inferImplicitValue推断出调用站点范围中的隐式值.是否可以使用c.prefix范围推断出implicits?

这不是有效的代码,但表达了我的需要:

c.prefix.inferImplicitValue

我目前正在为此目的使用一个天真的实现[1],但它有一些限制,例如不从defs推断隐含值并检测重复/模糊隐含值.

[1] https://github.com/getquill/quill/blob/9a28d4e6c901d3fa07e7d5838e2f4c1f3c16732b/quill-core/src/main/scala/io/getquill/util/InferImplicitValueWithFallback.scala#L12

解决方法

只需生成一个具有适当(本地)导入的块,然后调用隐式执行操作:

q"""{import ${c.prefix}._; _root_.scala.Predef.implicitly[$T] }

其中T是Type的实例,表示要查找的隐式值的类型.

要检查隐式查找是否实际成功,可以使用silent = true调用Context.typeCheck并检查生成的树是否为空.

作为一个例子,这里是一个实现一个推断方法的例子,如果在目标对象的成员中找不到隐式,则返回None,否则将结果包装在Some中.

import scala.reflect.macros.Context
import scala.language.experimental.macros

def inferImplicitInPrefixContext[T:c.WeakTypeTag](c: Context): c.Tree = {
  import c.universe._
  val T = weakTypeOf[T]
  c.typeCheck(
    q"""{
      import ${c.prefix}._
      _root_.scala.Predef.implicitly[$T]
    }""",silent = true
  )
}

def infer_impl[T:c.WeakTypeTag](c: Context): c.Expr[Option[T]] = {
  import c.universe._
  c.Expr[Option[T]](
    inferImplicitInPrefixContext[T](c) match {
      case EmptyTree => q"_root_.scala.None"
      case tree => q"_root_.scala.Some($tree)"
    }
  )
}

trait InferOp {
  def infer[T]: Option[T] = macro infer_impl[T]
}

我们来测试一下:

object Foo extends InferOp {
  implicit val s = "hello"
}

Foo.infer[String] // res0: Some[String] = Some(hello)

Foo.infer[Int] // res1: None.type = None

implicit val lng: Long = 123L

Foo.infer[Long] // res2: Some[Long] = Some(123)
@H_301_0@

相关文章

Scala的存在类型 存在类型也叫existential type,是对类型做抽象的一种方法。可以在你不知道具体类型的...
文章目录Option和SomeOption和NoneOption和模式匹配 在java 8中,为了避免NullPointerException,引入了...
文章目录泛类型型变协变逆变不变类型上界类型下界内部类抽象类型复合类型自类型隐式参数隐式转换多态方...
Scala的自定义类型标记 Scala中有很多千奇百怪的符号标记,看起来是那么的独特,就像是一杯dry martini...
文章目录面向对象的scalaUnified TypesClassesTraits 面向对象的scala 我们知道Scala是一种JVM语言,可...
文章目录默认参数值命名参数 scala的参数有两大特点: 默认参数值 命名参数 默认参数值 在Scala中,可以...