檢查是否在Scala中的部分功能definied與不明類型

Question

值我有以下特點（以獲得各種級別2多態性click）的

type Id[A] = A 
trait ~>[F[_], G[_]] { 
def apply[A](a: F[A]): G[A] 
def isDefinedAt[A](a: A): Boolean} 

和一個功能轉換的部分功能，這特徵：

implicit def pft[B: ClassTag](f: PartialFunction[B, B])= new (Id ~> Id) { 
def apply[A](a: A): A = f(a.asInstanceOf[B]).asInstanceOf[A] 
def isDefinedAt[A: ClassTag](a: A)(implicit ev2: ClassTag[A]) : Boolean = /*type check*/ 
       f.isDefinedAt(a.asInstanceOf[B]) } 

所以我的問題是isDefinedAt方法。我必須在運行時檢查A是否是B的一個實例。 a.isInstanceOf [B]由於類型擦除而不起作用。

我試着使用TypeTag/ClassTag和B工作得很好，但類型爲A ist永遠任何。

那麼，如何檢查A是B的一個實例呢？

更新：我用它在此代碼：

def map[A](f: Id ~> Id, x: A): A = 
    { 
     val y = x match { 
     //many matches more on my own data structures 
     case l : List[_] => l.map(map(f,_)) 
     case m : Map[_,_] => m.map(map(f,_)) 
     case (a,b) => (map(f,a),map(f,b)) 
     case a => a 
     } 
     if (f.isDefinedAt(y)) 
     f(y).asInstanceOf[A] 
     else 
     y.asInstanceOf[A] 
    } 

如果我使用了〜>​​直接的一切工作正常與typeTag [A] .tpe <：< typeTag [B] .tpe。

但是，如果我使用它與這個映射函數，typeTag [A] .tpe總是任何。

Answer 1

如果你是好與修改isDefinedAt的簽名採取TypeTag，可以實現PFT這樣：

type Id[A] = A 
    trait ~>[F[_], G[_]] { 
    def apply[A](a: F[A]): G[A] 
    def isDefinedAt[A: TypeTag](a: A): Boolean 
    } 

    implicit def pft[B: TypeTag](f: PartialFunction[B, B]) = new (Id ~> Id) { 
    def apply[A](a: A): A = f(a.asInstanceOf[B]).asInstanceOf[A] 
    def isDefinedAt[A: TypeTag](a: A): Boolean = 
     typeTag[A].tpe =:= typeTag[B].tpe && f.isDefinedAt(a.asInstanceOf[B]) 
    } 

該解決方案得到了雙方B和A一個TypeTag並驗證它們是相同的在委託給部分函數的isDefinedAt方法之前鍵入。有關類型標籤的更多信息，請參閱this answer。

例如：

val halfEven: PartialFunction[Int, Int] = { 
    case n if n % 2 == 0 => n/2 
} 

val halfEvenT: Id ~> Id = halfEven 

halfEvenT.isDefinedAt(1) // false 
halfEvenT.isDefinedAt(2) // true 
halfEvenT.isDefinedAt("test") // false 

更一般地，可以定義一個約束部分轉變爲採取該約束A額外更高kinded類型：

trait ConstrainedPartialTransformation[F[_], G[_], C[_]] { 
    def apply[A: C](a: F[A]): G[A] 
    def isDefinedAt[A: C](a: A): Boolean 
    } 

    implicit def cpft[B: TypeTag](f: PartialFunction[B, B]) = new ConstrainedPartialTransformation[Id, Id, TypeTag] { 
    def apply[A: TypeTag](a: A) = f(a.asInstanceOf[B]).asInstanceOf[A] 
    def isDefinedAt[A: TypeTag](a: A) = 
     typeTag[A].tpe =:= typeTag[B].tpe && f.isDefinedAt(a.asInstanceOf[B]) 
    } 

這類似於如何Scalaz 7個支持自然轉換，其中上下文綁定在A上。請參閱Scalaz 7的ConstrainedNaturalTransformation。