Scala instanciation à partir des manifestes dans le code générique imbriqué

Question

Si je pouvais comprendre comment "attacher des manifestes à la pile d'appels générique" (comme Joshua écrit à propos de la section 7.2.2 de "Scala en profondeur"), cela me permettrait-il instancier B le long de ces lignes ?:

def m1[T](implicit m: Manifest[T]): T = m.erasure.newInstance.asInstanceOf[T] 

class A { 
    def m2[T](implicit m: Manifest[T]): T = m.erasure.newInstance.asInstanceOf[T] 
    def inA() { 
    m1[A] 
    m2[A] 
    m2[B] // Doesn't work... 
    } 
    class B 
} 

m1[A] 
val a = new A 
a.m2[A] 
a.inA() // boom 

Ou ai-je besoin d'une vue liée?

Answer 1

Vous ne pouvez pas instancier la classe interne B comme ceci, car le constructeur de ces classes internes prend secrètement une référence à un objet de la classe externe. newInstance ne peut être appelée que sur les classes qui ont un constructeur à zéro argument.