斯卡拉宏：找到選項的封閉式

Question

鑑於宏的Option[T]，我試圖找到封閉式T，從而給出類似

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

def innerTypeImpl[T: c.WeakTypeTag](c: Context): c.Expr[String] = { 
    import c.universe._ 

    val tpe = weakTypeOf[T] 
    val innerType = tpe.typeSymbol.asType.typeParams.head.name.decoded 
    c.Expr[String] { q" {$innerType} " } 
} 

def innerType[T] = macro innerTypeImpl[T] 

通話innerType[Option[Int]]將返回"Int"（而現在它是返回"A"，其對應於的Option定義中使用的類型的參數）

T可以不是Option（該計劃是使用tpe.typeSymbol.name.decoded == "Option"，以確定是否T是Option），所以我不能夠把任何邊界上T

Answer 1

我想你想是這樣的：

val innerType = weakTypeOf[T] match { 
    case r: TypeRef => r.args.head 
    case _ => c.abort(c.enclosingPosition, "call this method with known type parameter only.") 
} 

注意WeakTypeTag可能不是一個TypeRef。

該方法將在None.type上失敗。爲了使它在工作的亞型（如None.type），你應該使用的方法baseType這樣的：

val innerType = weakTypeOf[T].baseType(typeOf[Option[_]].typeSymbol) match { 
    case TypeRef(_, _, targ :: Nil) => targ 
    case NoType => c.abort(...) 
}