我有一个特点Foo[T, U]和类型层次的算法，给出了L <: HList和目标类型U，告诉我，是否存在T在L这样的，有一个隐含的Foo[T, U]范围。这是使用以下类型类实现的：
trait Search[L <: HList, U]
object Search {
def apply[L <: HList, U](implicit s: Search[L, U]): U = null
...
}
我们有以下内容：
object Test {
type L = Int :: String :: HNil
implicit val foo: Foo[String, Boolean] = null
Search[L, Boolean] //compiles
Search[L, Double] //does not compile
}
我想是关于搜索在所有不会发生，如果没有Foo[T, U]任何T的所有范围，因为这时我们已经知道，该算法将无法完成。换句话说，我想要一个类型类trait Exists[F[_]]，当且仅当F范围中至少隐含一个实例时，该实例才会存在实例，因此该函数Search.apply具有签名：
def apply[L <: HList, U](implicit ev: Exists[Foo[_, U]], s: Search[L, U]): U = null
在这种情况下，编译器将仅尝试解析范围中s是否存在任何隐式Foo。
是否可以定义这种类型的类？是否已经存在？
尝试
import scala.language.experimental.macros
import scala.reflect.macros.{blackbox, contexts}
trait Exists[A]
object Exists {
implicit def materialize[A]: Exists[A] = macro impl[A]
def impl[A: c.WeakTypeTag](c: blackbox.Context): c.Tree = {
import c.universe._
val context = c.asInstanceOf[contexts.Context]
val global: context.universe.type = context.universe
val analyzer: global.analyzer.type = global.analyzer
val callsiteContext = context.callsiteTyper.context
val tpA = weakTypeOf[A]
val searchResult = analyzer.inferImplicit(
tree = EmptyTree.asInstanceOf[global.Tree],
pt = tpA.asInstanceOf[global.Type],
reportAmbiguous = false,
isView = false,
context = callsiteContext,
saveAmbiguousDivergent = true,
pos = c.enclosingPosition.asInstanceOf[global.Position]
)
val isAmbiguous = callsiteContext.reporter.firstError match {
case Some(analyzer.AmbiguousImplicitTypeError(_,_)) => true
case _ => false
}
if (searchResult.isSuccess || searchResult.isAmbiguousFailure || isAmbiguous)
q"new Exists[$tpA] {}"
else c.abort(c.enclosingPosition, s"no implicit $tpA")
}
}
测试
// no implicit Int
// implicitly[Exists[Int]] // doesn't compile
implicit val i: Int = 1
implicitly[Exists[Int]] // compiles
implicit val i: Int = 1
implicit val i1: Int = 2
implicitly[Exists[Int]] // compiles
我想原来Search是
trait Foo[U, V]
trait Search[L <: HList, V]
trait LowPrioritySearch {
implicit def tail[H, T <: HList, V](implicit search: Search[T, V]): Search[H :: T, V] = null
}
object Search extends LowPrioritySearch {
def apply[L <: HList, U](implicit s: Search[L, U]): U = null.asInstanceOf[U]
implicit def head[U, T <: HList, V](implicit foo: Foo[U, V]): Search[U :: T, V] = null
}
现在用 Exists
def apply[L <: HList, U](implicit ev: Exists[Foo[_, U]], s: Search[L, U]): U = null.asInstanceOf[U]
也可以
Search[L, Boolean] //compiles
// Search[L, Double] //does not compile
在2.13.0中测试
libraryDependencies ++= Seq(
scalaOrganization.value % "scala-reflect" % scalaVersion.value,
scalaOrganization.value % "scala-compiler" % scalaVersion.value
)
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句