为什么数字的行为与有序的不同？

Question

Scala 有许多可以用作类型类的特征，例如 scala.math 包中的 Ordered 和 Numeric。

例如，我可以使用 Ordered 编写一个通用方法，如下所示：

def f[T <% Ordered[T]](a: T, b: T) = if (a < b) a else b

我想使用 Numeric 做类似的事情，但这不起作用：

def g[T <% Numeric[T]](a: T, b: T) = a * b

为什么有一个Ordered 和 Numeric 之间存在明显差异吗？

我知道还有其他方法可以做到这一点，以下方法可以工作（使用上下文绑定）：

def g[T : Numeric](a: T, b: T) = implicitly[Numeric[T]].times(a, b)

但这看起来比仅仅使用 * 来乘两个数字更复杂。为什么 Numeric 特征不包含 * 等方法，而 Ordered 却包含 < 等方法？

我知道还有 Ordering，您可以按照与 Numeric 相同的方式使用它，另请参阅 这个答案：

def f[A : Ordering](a: A, b: A) = implicitly[Ordering[A]].compare(a, b)

Answer 1

如果您从隐式 Numeric[T] 导入符号运算符，则它们是可用的。

def g[T : Numeric](a: T, b: T) = {
  val num = implicitly[Numeric[T]]
  import num._
  a * b
}

如果您只想使用单个运算符，这显然有点笨拙，但在重要情况下，导入的开销并不是全部伟大的。

为什么在没有显式导入的情况下运算符不可用？默认情况下反对使隐式可见的通常考虑因素适用于此，也许更是如此，因为这些运算符被广泛使用。

Answer 2

Ordered 只是一些简单的方法，它们返回 Int 或 Boolean，因此不需要类型欺骗。

另一方面，Numeric 具有根据所使用的具体子类返回不同类型的方法。因此，虽然 Ordered 只是一个标记特征，但 Numeric 是一个功能齐全的类型类。

要恢复运算符，您可以在 lhs 操作数上使用 mkNumericOps（在 Numeric 中定义）。

更新

迈尔斯是完全正确的，mkNumericOps是隐式的，所以只需导入该 Numeric 实例就会给你带来所有的魔力......

Answer 3

您可以通过执行以下操作将 Miles 的解决方案减少为仅使用 1 个额外行：

添加从 A : Numeric 到 Numeric[A]#Ops 的隐式转换

object Ops {
  implicit def numeric[A : Numeric](a: A) = implicitly[Numeric[A]].mkNumericOps(a)
}

，然后将其纳入范围在您的方法中，

def g[T : Numeric](a: T, b: T) = {
  import Ops.numeric
  a * b
}

请参阅 Scala 票证 3538 了解更多信息。