对 Scala 类型参数施加多个泛型类型约束

Question

我想使用 Scala 的上下文绑定模式执行以下操作：

    class Polynomial[T: Ring] {
        def apply[X: Ring with Includes[T]](x: X): X = ...
        ...
    }

这是一个多项式类，它要求系数是Ring T中的元素。 将此多项式应用于元素（求值）时，参数x的类型必须是环，并且类型T元素可以隐式转换为类型X 。 例如T = Double, X = SquareMatrix 。

如何对 Scala 中的泛型类型参数强加一种以上的类型约束？

Answer 1

似乎[X: T]语法不足以强加两个泛型类型约束。 使用两个隐式参数解决了这个问题：

   def apply[X](x: X)(implicit ring: Ring[X], conv: Includes[X, T]): X = {
     var xi = ring.one
     var sum = ring.zero
     for (i <- 0 to degree) {
       sum += xi * conv.from(coef(i))
       xi *= x
     }
    return sum
   }

Answer 2

[X: T]语法只是语法糖，用于要求类型为T[X]的隐式参数。 例如，下面的f和f2是相同的：

 def f[T: X]
 def f2[T](implicit xt: X[T])

至于您的代码，如果您明确写出隐式参数，您将能够表达您的约束：

class Polynomial[T: Ring] {
    def apply[X](x: X)(implicit xt: Ring[X] with Includes[T]): X = ...
}

请注意，您不会对X或T施加多个约束，您的约束对于上下文绑定的语法糖来说太复杂了。 但是，Scala 确实允许您根据需要在类型参数上施加尽可能多的上下文边界，并且您也可以将它们与上限和下限结合起来：

def f[T >: List[Int] <: AnyRef : Ordering : List] = ???