Scala 编译器无法识别 View 绑定(bind)

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})

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

我做错了什么？

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