Scala 2.13.10泛型数值类型Lambda的类型推断失败问题求助

问题原因 #

你的代码中，虽然类Test声明了[T : Numeric]的上下文绑定，但在+方法的lambda表达式x => x + y中，编译器无法自动将+关联到Numeric[T]的数值加法操作，反而默认解析为字符串拼接（Any类型toString后拼接），因此抛出类型不匹配错误。

解决方案 #

方案1：显式获取Numeric实例调用plus方法 #

通过implicitly[Numeric[T]]获取上下文绑定的Numeric实例，直接调用其plus方法执行数值加法：

import scala.reflect.ClassTag

class Test[T : Numeric : ClassTag](data: Seq[T]) {
  // 显式获取Numeric隐式实例
  private val numeric = implicitly[Numeric[T]]

  def map(fn: T => T): Test[T] = new Test(data.map(fn))

  def +(y: T): Test[T] = {
    this.map(x => numeric.plus(x, y))
  }
}

方案2：导入Numeric隐式扩展启用运算符语法 #

导入Numeric.Implicits._，该包提供的隐式扩展可让T类型直接支持+等数值运算符语法：

import scala.reflect.ClassTag
import scala.math.Numeric.Implicits._

class Test[T : Numeric : ClassTag](data: Seq[T]) {

  def map(fn: T => T): Test[T] = new Test(data.map(fn))

  def +(y: T): Test[T] = {
    this.map(x => x + y)
  }
}

补充说明 #

你提到直接调用Test.map方法（如t.map(x => x + y)）能正常运行，是因为调用点的上下文已经引入了Numeric[T]的隐式实例，编译器可以正确推断+为数值加法；但在类内部的方法中，lambda的上下文需要额外的隐式导入或显式引用才能关联到类的上下文绑定。

内容的提问来源于stack exchange，提问作者Krautbichler