Scala: Contrainte sur le type de classe générique

Question

Je suis très nouveau à Scala.

Je souhaite implémenter une classe de matrice générique "class Matrix [T]". La seule contrainte sur T devrait être que T devrait implémenter un "+" et un "*" mothod/fonction. Comment vais-je faire cela?

Par exemple, je veux pouvoir utiliser à la fois Int, Double et mes propres types définis, par ex. Complexe

Je pensais quelque chose le long des lignes:

class Matrix[T <: MatrixElement[T]](data: Array[Array[T]]) { 
    def *(that: Matrix) = ..// code that uses "+" and "*" on the elements 
} 
abstract class MatrixElement[T] { 
    def +(that: T): T 
    def *(that: T): T 
} 
implicit object DoubleMatrixElement extends MatrixElement[Double]{ 
    def +(that: Double): Double = this + that 
    def *(that: Double): Double = this * that 
} 
implicit object ComplexMatrixElement extends MatrixElement[Complex]{ 
    def +(that: Complex): Complex = this + that 
    def *(that: Complex): Complex = this * that 
} 

Tout contrôles de type, mais je ne peux toujours pas instancier une matrice. Est-ce que je manque un constructeur implicite? Comment ferais-je cela? Ou ai-je complètement tort de ma méthode?

Merci à l'avance Troels

Answer 1

a finalement trouvé la réponse :-) Je pense que je n'étais pas loin dans mon premier essai . Ici, il va: (écrit pour scala 2,8)

trait MatrixElement[T] { 
    def +(that: T): T 
    def *(that: T): T 
} 

object MatrixElement { 
    implicit def intToMatrixElement(x : Int) = new MatrixElement[Int] { 
     def +(y : Int) = x + y 
     def *(y : Int) = x * y 
    } 
    implicit def doubleToMatrixElement(x : Double) = new MatrixElement[Double] { 
     def +(y : Double) = x + y 
     def *(y : Double) = x * y 
    } 
    implicit def complexToMatrixElement(x : Complex) = new MatrixElement[Complex] { 
     def +(y : Complex) = x + y 
     def *(y : Complex) = x * y 
    } 
} 

class Matrix[T <% MatrixElement[T] : ClassManifest ](d: Array[Array[T]]) { 
    def *(that: Matrix) = ..// code that uses "+" and "*" on the elements 
} 

Maintenant, je peux faire des choses comme:

scala> new Matrix(Array(Array(1,0),Array(0,1))) 
res0: Matrix[Int] = 
1 0 
0 1 

scala> new Matrix(Array(Array(new Complex(0),new Complex(1)),Array(new Complex(1),new Complex(0)))) 
res9: Matrix[Complex] = 
(0.0,0.0i) (1.0,0.0i) 
(1.0,0.0i) (0.0,0.0i) 

Answer 2

Vous pouvez utiliser Numeric pour Scala 2.8 pour cela. C'est décrire here. Il remplacerait MatrixElement et ses mises en œuvre:

class Matrix[T : Numeric](data: Array[Array[T]]) { 
    def *(that: Matrix[T]) = // 
} 

Answer 3

Voici comment la solution Numeric regarderait:

// ': Numeric[T]' adds an implicit parameter to the constructor, 
// which allows T to be used in arithmetic expressions. 
class Matrix[T: Numeric](val data: Array[Array[T]]) { 
    def *(that: Matrix[T]) = { 
     val nt = implicitly[Numeric[T]] 
     import nt._ // This imports an Implicit View to allow operator syntax 

     this.data(0)(0) * that.data(0)(0) 
     // etc 
    } 
}