Scala 2.13如何实现泛型参数的Fractional或Trig二选一约束

针对你需要让泛型参数A满足Fractional[A]或Trig[A]其一的需求，这里提供两种实用方案：

方案1：重载方法（最直观） #

直接为两种约束分别定义方法实现，编译器会根据传入参数的类型自动匹配对应的版本：

// 先定义Trig trait（假设你的Trig是如下结构）
trait Trig[A] {
  def sin(a: A): A
  def cos(a: A): A
}

// 定义两个重载的complex方法
def complex[A](a: A)(implicit ev: Fractional[A]): A = {
  // 这里编写基于Fractional的逻辑
  ev.div(a, ev.fromInt(2))
}

def complex[A](a: A)(implicit ev: Trig[A]): A = {
  // 这里编写基于Trig的逻辑
  ev.sin(a)
}

// 测试用例
implicit val doubleFractional: Fractional[Double] = Fractional.DoubleIsFractional
implicit val doubleTrig: Trig[Double] = new Trig[Double] {
  override def sin(a: Double): Double = Math.sin(a)
  override def cos(a: Double): Double = Math.cos(a)
}

// 调用时编译器自动匹配对应版本
complex(3.0)(doubleFractional) // 使用Fractional约束的实现
complex(3.0)(doubleTrig)       // 使用Trig约束的实现

方案2：自定义联合类型约束（更灵活） #

如果需要统一方法签名，避免重载，可以定义一个辅助约束trait，再为Fractional和Trig的实例提供隐式转换：

trait Trig[A] {
  def sin(a: A): A
  def cos(a: A): A
}

// 定义联合约束的trait
trait FractionalOrTrig[A]

// 为Fractional类型自动生成联合约束实例
implicit def fractionalToOr[A](implicit ev: Fractional[A]): FractionalOrTrig[A] = 
  new FractionalOrTrig[A] {}

// 为Trig类型自动生成联合约束实例
implicit def trigToOr[A](implicit ev: Trig[A]): FractionalOrTrig[A] = 
  new FractionalOrTrig[A] {}

// 方法仅约束联合类型，同时可选获取原类型类实例
def complex[A](a: A)(implicit ev: FractionalOrTrig[A], frac: Fractional[A] = null, trig: Trig[A] = null): A = {
  // 根据存在的隐式实例执行对应逻辑
  if (frac != null) frac.div(a, frac.fromInt(2))
  else trig.sin(a)
}

// 测试
implicit val doubleFractional: Fractional[Double] = Fractional.DoubleIsFractional
implicit val doubleTrig: Trig[Double] = new Trig[Double] {
  override def sin(a: Double): Double = Math.sin(a)
  override def cos(a: Double): Double = Math.cos(a)
}

complex(3.0) // 若两种隐式都存在，会优先匹配先定义的转换，可通过调整隐式优先级改变顺序

补充说明 #

• 方案1逻辑清晰，编译器自动处理重载匹配，适合两种约束下方法逻辑差异较大的场景。
• 方案2适合需要统一方法签名的场景，但需注意隐式优先级：若某个类型同时存在Fractional和Trig的隐式实例，编译器会选择优先级更高的转换，可通过LowPriorityImplicits trait调整优先级，或显式指定隐式参数。

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