是否可以在编译时使用宏来测试当前类型是否存在某些隐式?

像这样的东西

def packOne(tpe:c.universe.Type,....) = {
  if(tpe =:= ByteTpe ) makeast1
  else if (tpe =:= LongTpe ) makeast2
  else if (tpe =:= c.typeOf[java.lang.String]) makeast3
  ....
  else exists implicit convention for TPE {
  q"""
  // call some function with implicit PACK[T]
   implicitly[Packer[$tpe]].pack(...)
  """
  } else {
  // Make default conversion
  }

 }

最佳答案

应该可以使用inferImplicitValue:

val t = c.internal.typeRef(NoPrefix, typeOf[Packer[_]].typeSymbol, List(tpe))
c.inferImplicitValue(t) match {
  case EmptyTree => … // default conversion
  case packer => q"packer.pack(…)"
}

关于scala - 测试隐式是否存在,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/38826203/

10-10 14:50