反射とScalaの

Question

にチェックを入力し、私は以下のScalaのコード

def invokeMethods(instance: AnyRef, clazz: Class[_]) { 
    assert(clazz.isInstance(instance) // <- is there a way to check this statically? 

    for {method <- clazz.getDeclaredMethods 
     if shouldInvoke(method) // if the method has appropriate signature 
     } method.invoke(instance) 
} 

// overload for common case 
def invokeMethods(instance: AnyRef) { 
    invokeMethods(instance, instance.getClass) 
} 

を持っているこれは正常に動作しますが、実行時のアサーションは、コンパイル時の型チェックと置き換えることができるのだろうか。私の素朴な試みは

def invokeMethods[T <:AnyRef](instance: T, clazz: Class[T]) { 
    for {method <- clazz.getDeclaredMethods 
     if shouldInvoke(method) 
     } method.invoke(instance) 
} 

に最初の方法を変更することですが、instance.getClassではなくクラスのクラス[_] [T]を返すので、私は第二の方法でコンパイル・エラーが発生します。これを回避する方法はありますか？

Answer 1

次のコンパイルは、お探しのものですか？

object Test { 
    def shouldInvoke(m: java.lang.reflect.Method) = true 
    def invokeMethods[T <:AnyRef](instance: T, clazz: Class[_ <: T]) { 
    for {method <- clazz.getDeclaredMethods 
     if shouldInvoke(method) 
    } method.invoke(instance) 
    } 

    def invokeMethods[T <: AnyRef](instance: T) { 
    invokeMethods(instance, instance.getClass) 
    } 
}