Scala 编译器无法识别视图绑定

Question

我已经尝试过这行代码

def **[A <% Numeric[A]](l:List[A],m:List[A])=l.zip(m).map({t=>t._1*t._2})

但是在编译时，我收到此错误

error: value * is not a member of type parameter A
def **[A <% Numeric[A]](l:List[A],m:List[A])=l.zip(m).map({t=>t._1*t._2})

当我查看数字特征的源代码时，我看到定义了 * 操作。

我做错了什么？

Answer 1

Numeric 的实例本身不是数字，而是提供算术运算的对象。例如，Numeric[Int] 类型的对象 num 可以将两个整数相加，如下所示： num.plus(3, 5) 结果这个运算的结果是整数 7。

对于整数来说，这是非常微不足道的。但是，对于所有基本数字类型，都有一个Numeric 的隐式实例可用。如果您定义自己的数字类型，则可以提供一种。

因此，您应该保留 A 的边界，并添加一个 Numeric[A] 类型的隐式参数，用它来进行计算。像这样：

def **[A](l:List[A],m:List[A])(implicit num:Numeric[A])=l.zip(m).map({t=>num.times(t._1, t._2)})

当然，num.times(a,b) 看起来不如 a*b 优雅。在大多数情况下，人们可以接受这一点。但是，您可以将值 a 包装在支持运算符的 Ops 类型的对象中，如下所示：

// given are: num:Numeric[A], a:A and b:A
val a_ops = num.mkNumericOps(a)
val product = a_ops * b

由于方法 mkNumericOps 已声明为 >隐式，您也可以导入它并隐式使用它：

// given are: num:Numeric[A], a:A and b:A
import num._
val product = a * b

Answer 2

您还可以通过上下文绑定来解决此问题。使用 这个答案，你可以写：

def **[A : Numeric](l:List[A],m:List[A]) =
   l zip m map { t => context[A]().times(t._1, t._2) }

或者

def **[A : Numeric](l:List[A],m:List[A]) = {
   val num = context[A]()
   import num._
   l zip m map { t => t._1 * t._2 }
}