爲正整數

Question

鑑於以下類型的寫作宏：

sealed trait PosIntCheckResult 
case class LteZero(x: Int) extends PosIntCheckResult 
case object NotConstant extends PosIntCheckResult 

我試圖寫檢查給定Int是宏大於0

import reflect.macros.Context 

def getInt(c: Context)(value: c.Expr[Int]): Either[PosIntCheckResult, Int] = { 

    import c.universe._ 

    value.tree match { 
     case Literal(Constant(x)) => if (x > 0) Right(x) else Left(LteZero(x)) 
     case _     => Left(NotConstant) 
    } 
} 

但Any顯示出來對於x值：

Test.scala:29: type mismatch; 
    found : Any 
    required: Int 
    case Literal(Constant(x)) => 
     if (x > 0) Right(x) else Left(LteZero(x)) 

我該如何獲得公司mpiler期望Int而不是Any？

Answer 1

你只需要匹配的模式，其中x是Int：

case Literal(Constant(x: Int)) => //When using x here, it is an Int 

閱讀有關圖案類型和其他類型的模式在docs匹配匹配。

你也應該注意到你的宏需要返回一個Expr才能工作。您可以使用reify在每個case構建所需的Exprs。閱讀關於reify和def macroshere。我不知道爲什麼，這需要有一個宏觀的，但如果你只是學習技術，這樣的事情可能工作：

object Macros { 
    def getInt(value: Int): Either[PosIntCheckResult, Int] = macro getIntImpl 

    def getIntImpl(c: Context)(value: c.Expr[Int]): c.Expr[Either[PosIntCheckResult,Int]] = { 

     import c.universe._ 

     value.tree match { 
      case x@Literal(Constant(const: Int)) if const > 0 => reify(Right(c.Expr[Int](x).splice)) 
      case x@Literal(Constant(_: Int)) => reify(Left(LteZero(c.Expr[Int](x).splice))) 
      case _ => reify(Left(NotConstant)) 
     } 
    } 
}