关于 scala.math.Integral 的问题

Question

mkNumericOps 和 mkOrderingOps 的作用是什么rel="nofollow">scala.math.Integral 做什么以及我们如何使用它们？

据我所知，函数和对象方法可以被声明为隐式并用于隐式转换。但是我不明白为什么特征方法被声明为隐式。

顺便说一句，类方法也可以被声明为隐式吗？

Answer 1

首先，让我们看看它们的声明：

implicit def mkNumericOps (lhs: T): IntegralOps
implicit def mkOrderingOps (lhs: T): Ops

它们是隐式的，这意味着它们的目标是提供一些自动值或转换。请注意，它们都从 T 转换为其他类型，其中 T 是特征的类型参数：Integral[T]。

因此，如果您有 Integral[Int]，那么 mkNumericOps 将为您提供从 Int 到 IntegralOps 的自动转换。这意味着您将能够在 Int（或任何 类型）上调用来自 IntegralOps 或 Ops 的方法。积分）。

现在，让我们看看这些方法是什么：

def % (rhs: T): T
def * (rhs: T): T
def + (rhs: T): T
def - (rhs: T): T
def / (rhs: T): T
def /% (rhs: T): (T, T)
def abs (): T
def signum (): Int
def toDouble (): Double
def toFloat (): Float
def toInt (): Int
def toLong (): Long
def unary_- (): T

这些方法来自 IntegralOps，它扩展了 Ops。关于它们的一个有趣的事情是，它们中的许多已经在 Int 上定义了！那么，如何以及为何使用它们呢？这里有一个例子：

def sum[T](list: List[T])(implicit integral: Integral[T]): T = {
    import integral._   // get the implicits in question into scope
    list.foldLeft(integral.zero)(_ + _)
}

因此，给定任何类型 T ，其中有一个隐式可用的 Integral[T] ，您可以将该类型的列表传递给 sum.

另一方面，如果我将方法专门用于 Int 类型，那么我可以在不使用 Integral 的情况下编写它。另一方面，我无法编写适用于 Int 和 Long 以及 BigInt 的东西，因为它们不共享共同点定义方法 + 的祖先（更不用说“零”了）。

上面的 foldLeft 实际上可以翻译为：

list.foldLeft(integral.zero)((x, y) => mkNumericOps(x).+(y))