पैरामीटर प्रकार

Question

के साथ स्कैला प्रतिबिंब मैंने यह जांचने के लिए निम्न फ़ंक्शन लिखा है कि दिया गया सिंगलटन क्लास एक विशेषता लागू करता है या नहीं।

/** Given a singleton class, returns singleton object if cls implements T.             
* Else returns None. */ 
def maybeMakeSingletonObj[T: ClassManifest](cls: Class[_]): Option[T] = { 
    try { 
    val m = classManifest[T] 
    val obj = cls.getField("MODULE$").get(m.erasure).asInstanceOf[AnyRef] 

    if (Manifest.singleType(obj) <:< m) Some(obj.asInstanceOf[T]) 
    else None 
    } catch { 
    case e: Exception => None 
    } 
} 

इस कोड को निम्न उदाहरण पर ठीक काम करता है:

trait A 
object B extends A 

assert(maybeMakeSingletonObj[A](B.getClass()) === Some(B)) 

हालांकि, निम्न उदाहरण पर विफल रहता है:

trait A[T, R] 
object B extends A[Int, Int] 

assert(maybeMakeSingletonObj[A[_,_]](B.getClass()) === Some(B)) 

कोई भी विचार? "टाइप-संबंध ऑपरेटरों <: < और =:। = केवल अनुमानों विचार किया जाना चाहिए, के रूप में वहाँ जो अभी तक पर्याप्त रूप से प्रकट होता है में प्रतिनिधित्व नहीं कर रहे हैं प्रकार अनुरूपता के कई पहलू हैं"

Answer 1

ScalaDoc से

जाहिर है, यह एक ऐसा मामला है।