暗黙的に存在するかどうかのテスト

Question

マクロを使用してコンパイル時に現在の型に暗黙的に存在するかどうかをテストできますか？

inferImplicitValueを使用することが可能である必要があり、この

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 
    } 

} 

Answer 1

のようなもの：

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