如何在Scala类型层级结构的类中执行算术运算？

你遇到的核心问题确实是Scala里Number并非适合做数值类型抽象的选择，我们需要用Scala标准库中的Numeric类型类来处理不同数值类型的加法操作。下面一步步拆解问题并给出解决方案：

错误原因分析 #

• 第一种尝试（简单类层级）：
  你的Metric trait返回Number，但Scala里Int和Double虽然是JavaNumber的子类，但+操作符对于Number类型并没有被定义，所以x.getValue + y.getValue会报错——编译器不知道如何对两个Number实例执行加法。

• 第二种尝试（泛型）：
  虽然用了泛型Metric2[M]，但T没有绑定数值类型的约束，编译器不知道T支持+操作，而且Number依然不是Scala中用于数值抽象的正确类型，所以同样报错。

正确实现方案 #

我们需要借助Numeric类型类，它为不同数值类型（Int、Double等）提供了统一的数值操作接口。下面是优化后的代码：

定义Metric层级 #

sealed abstract class Metric[M] {
  def value(): M
}

class Counter(count: Int) extends Metric[Int] {
  override def value(): Int = count
}

class Meter(rate: Double) extends Metric[Double] {
  override def value(): Double = rate
}

这里我们把getValue简化为value，并保持泛型绑定，让每个具体指标返回对应的数值类型。

定义支持聚合的容器 #

有两种写法来引入Numeric隐式约束，效果是一致的：

写法1：显式声明隐式参数

class Container[T](val key: String, x: Metric[T], y: Metric[T])(implicit ev: Numeric[T]) {
  def combine(): T = ev.plus(x.value, y.value)
}

通过implicit ev: Numeric[T]要求作用域中存在T类型的Numeric实例，然后用ev.plus来执行加法。

写法2：上下文绑定语法（更简洁）

class Container2[T: Numeric](val key: String, x: Metric[T], y: Metric[T]) {
  import scala.Numeric.Implicits._
  def combine(): T = x.value + y.value
}

T: Numeric是上下文绑定的语法糖，等价于上面的隐式参数声明。导入scala.Numeric.Implicits._后，我们就可以直接用+操作符，因为隐式类为T添加了对应的操作方法。

使用容器进行聚合 #

注意：不要用Number作为泛型参数，直接使用具体的数值类型（Int、Double）或者让容器保持泛型：

object Main {
  // 示例：创建Int类型的容器
  val intContainer = new Container("int_counter", new Counter(5), new Counter(10))
  // 创建Double类型的容器
  val doubleContainer = new Container2("double_meter", new Meter(2.5), new Meter(3.7))
  
  // 聚合列表中的容器
  val list: List[Container[_ <: Number]] = List(intContainer, doubleContainer)
  val res: Map[String, Number] = list.map(x => x.key -> x.combine()).toMap
}

这里用_ <: Number来兼容不同数值类型的容器，因为Int和Double都继承自Java的Number，所以可以统一转换为Number存入Map。

关键知识点总结 #

• Numeric类型类：Scala标准库中用于抽象数值类型的工具，支持加法、减法、乘法等操作，适配所有基本数值类型。
• 隐式参数/上下文绑定：用于在编译时自动注入对应类型的Numeric实例，实现多态的数值操作。
• 避免直接使用Number：Scala的数值体系更依赖Numeric而非Java的Number类，后者缺乏Scala类型系统需要的操作支持。

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