À propos des génériques Scala: ne peut pas trouver la classe manifeste pour le type d'élément T

Question

Pour une fonction comme ci-dessous:

def reverse[T](a: Array[T]): Array[T] = { 
    val b = new Array[T](a.length) 
    for (i <- 0 until a.length) 
     b(i) = a(a.length -i - 1) 
    b 
} 

Je reçois « erreur: ne peut pas trouver la classe manifeste pour le type d'élément T » de la ligne 2.

Y at-il de toute façon pour résoudre ce problème?

Answer 1

ajouter simplement un contexte lié ClassManifest à votre déclaration de méthode:

def reverse[T : ClassManifest](a: Array[T]): Array[T] = ... 

Afin de construire un tableau, doit être connue au moment de la compilation du béton de type tableau. Ce type est fourni par le compilateur via un paramètre ClassManifest implicite. Autrement dit, la signature du constructeur Array est en fait

Array[T](size: Int)(implicit m: ClassManifest[T]): Array[T] 

Pour fournir ce paramètre, il doit y avoir une ClassManifest portée lorsque le constructeur Array est invoqué. Par conséquent, votre méthode inverse doit également prendre un paramètre ClassManifest implicite:

def reverse[T](a: Array[T])(implicit m: ClassManifest[T]): Array[T] = ... 
// or equivalently 
def reverse[T : ClassManifest](a: Array[T]): Array[T] = ... 

Cette dernière, notation plus simple est appelée context bound.

Answer 2

Lorsque vous utilisez [T: ClassManifest] si elle est présentée comme l'utilisation désapprouvée [T: ClassTag]