如何在Scala中生成矩阵+运算符？

Question

我做了矩阵类和mop方法(它以二元运算符为参数，允许每个元素的操作)，但我不能用mop方法做+运算符。

val matA = new Matrix[Int](List(1 :: 2 :: 3 :: Nil, 4 :: 5 :: 6 :: Nil))
val matB = new Matrix[Int](List(7 :: 8 :: 9 :: Nil, 10 :: 11 :: 12 :: Nil))

val matC =matA. mop( matB) (_ + _)                                   //can work
def +(that: Matrix[T]) = this.mop(that)(_ + _)                       //can't work
val matC = matA + matB

//class definition

type F[T] = (T, T) => T
type M[T] = List[List[T]]


class Matrix[T](val elms: M[T]) {

  override def toString()= (this.elms map (_.mkString("[", ",", "]"))).mkString("\n")

  def mop(that: Matrix[T])(op: F[T]): Matrix[T] = new Matrix[T](((this.elms zip that.elms).map(t => ((t._1 zip t._2)).map(s => op(s._1, s._2)))))

 // def +(that: Matrix[T]) = this.mop(that)(_ + _)

}

Answer 1

问题是T可能没有定义加法。所以当你有一个特定的矩阵--Int中的一个--那么mop知道该怎么做。但是泛型代码不起作用。

您可以使用隐式Numeric为T提供数值运算(如果它们存在)：

class Matrix[T](val elms: M[T])(implicit nt: Numeric[T]) {
  import nt._

  override def toString()= (this.elms map (_.mkString("[", ",", "]"))).mkString("\n")

  def mop(that: Matrix[T])(op: F[T]): Matrix[T] =
    new Matrix[T](((this.elms zip that.elms).map(t => ((t._1 zip t._2)).map(s => op(s._1, s._2)))))

 def +(that: Matrix[T]) = this.mop(that)(_ + _)
}