Scala: Ограничение на универсальный тип класса
Я очень плохо знаком с Scala.
Я хочу реализовать универсальный матричный класс "Матрица класса [T]". Единственное ограничение на T должно состоять в том, что T должен реализовать "+" и "*" mothod/function. Как я иду о выполнении этого?
Например, я хочу смочь использовать и Интервал, дважды, и мои собственные определенные типы, например, Комплекс
Я думал что-то вдоль строк:
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
}
Все вводит проверки, но я все еще не могу инстанцировать матрицы. Я скучаю по неявному конструктору? Как я пошел бы о создании этого? Или я абсолютно неправ относительно своего метода?
Заранее спасибо Troels
3 ответа
Наконец-то нашел ответ :-) Думаю, с первой попытки я был не так уж далек. Вот оно: (написано для 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
}
Теперь я могу делать такие вещи, как:
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)
Вот как будет выглядеть Числовое решение:
// ': 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
}
}
Для этого вы можете использовать Numeric для Scala 2.8. Это описано здесь . Он заменит MatrixElement и его реализации:
class Matrix[T : Numeric](data: Array[Array[T]]) {
def *(that: Matrix[T]) = //
}