generics - 实现数字

Question

我对 Scala 很陌生。我想编写几个数学对象(复数、多项式等)，它们在某些操作(+、-、*)下关闭，它们可以在泛型中使用，并且可以使用隐式强制转换。

我似乎已经解决了第一点。

trait GroupUnderAddition[T] {
  def + (t : T) : T
}

case class Real(d : Double) extends GroupUnderAddition[Real] {
  def + (r : Real) = Real(d + r.d)
}

case class Complex(re : Double, im : Double) extends GroupUnderAddition[Complex] {
  def + (c : Complex) = Complex(re + c.re, im + c.im)
}

object Test {
  implicit def real_to_complex(r : Real) = Complex(r.d, 0)

  def test[G <: GroupUnderAddition[G]](a : G, b : G) = a + b

  def main(args : Array[String]) {
    println(test(Real(5), Real(2)))
  }
}

现在，我该如何编写 test() 以便

test(Real(5), Complex(2, 1))

返回 Complex(7, 1) ？

Answer 1

主要思想是所有 GroupUnderAddition 都不兼容，因此您似乎想要使用复杂的代数，我建议构建一个包含 GoupUnderAddition 的父类(super class)。但是，不建议将其设为 case 类(如果您有 case class 扩展 case class，请参阅警告)

trait GroupUnderAddition[T] {
  def + (t : T) : T
}

class ComplexAlgebra(_re:Double, _im:Double) extends(GroupUnderAddition[ComplexAlgebra]) {
  val re = _re
  val im = _im     
  def + (c : ComplexAlgebra) = new ComplexAlgebra(re + c.re, im + c.im)  
}

case class Real(d : Double) extends ComplexAlgebra(d, 0)

case class Complex(real : Double, imaginary : Double) extends ComplexAlgebra(real,imaginary)

object Test {

  def test(a : ComplexAlgebra, b : ComplexAlgebra) = a + b

  def main(args : Array[String]) {
    println(test(Real(5), Real(2)))
  }
}