Scala - Int 到 Numeric[Int] 的隐式转换

Question

我创建了一个类，可以通过任何可以转换为 Numeric 的内容进行参数化

class Complex[T <% Numeric[T]] (val real : T, val imag : T) {
   //... complex number methods ...
}

然后在代码的其他地方尝试：

var myComplex = new Complex(0, 1)

这会引发编译错误，因为（令人惊讶的是）Int 和 Numeric[Int] 之间甚至 Int 之间没有隐式转换和积分[Int]。

我错过了什么吗？是否有我没有看到的隐式转换？

Numeric.scala 中定义了一个名为 IntIsIntegral 的隐式对象。我尝试使用它来创建我自己的隐式转换方法：

def implicit intToNumericInt(val i : Int)(implicit n : IntIsIntegral) = n.fromInt(i)

我很惊讶这是必需的，而且无论如何，它似乎会导致 .fromInt 方法的无限递归。

我确信我错过了一些基本的东西（正如你所知，我是 Scala 的新手），所以希望能指出正确的方向。

正如您从示例中看到的，我正在尝试让复数实现正常工作，它可以接受并使用任何数字类型。我希望将其贡献给 scalala（线性代数）项目。接下来，我想介绍一个 Trait，它描述矩阵中元素的职责（主要是 + 和 * 运算符），并将对复数的支持改进到矩阵操作库中。

Answer 1

你用错了。正确的用法是这样的：

class Complex[T](val real : T, val imag : T)(implicit num: Numeric[T]) {
   import num._ // make implicit conversions available
   //... complex number methods ...
}

它与 Ordered 和 Ordering 之间的区别相同。 Ordered[T] 实例可以与 T 进行比较，而 Ordering[T] 提供了一种比较一对 T。

Answer 2

在 Scala 2.8 中，它也可以写成

class Complex[T: Numeric] (val real : T, val imag : T) {

  def +(that: Complex[T]) = {
    val r = implicitly[Numeric[T]].plus(this.real, that.real)
    val i = implicitly[Numeric[T]].plus(this.imag, that.imag)
    new Complex(r, i)
  }

}

这种语法确实有点密集，但可以像这样变得更具可读性：

class Complex[T: Numeric] (val real : T, val imag : T) {
  val num = implicitly[Numeric[T]]

  def +(that: Complex[T]) = {
    new Complex(num.plus(this.real, that.real), num.plus(this.imag, that.imag))
  }

}

声明 class C[T: M]( ... ) { val x = 隐式[M[T]] 似乎等同于 class C[T]( ... )(implicit x: M[T]) { import x._ 如中所述对先前解决方案的评论。它不仅仅是语法糖，因为它的编译方式有所不同，例如，在第一种情况下，x 是一个方法，在第二种情况下，它是一个字段。