scala - 具有类型参数限制的 Scala 泛型类的条件方法

Question

我相信泛型类可能仅在其类型参数符合一些额外限制的情况下才可以使用其方法之一，例如(当场即兴的语法):

trait Col[T] extends Traversable[T] {
    def sum[T<:Int] :T = (0/:this)(_+_)
}

我想我可以使用隐式参数作为证据……这有语言功能吗？

Answer 1

您还可以使用类型参数上的类型绑定(bind)，该类型由隐式参数强制执行:

trait Col[T] extends Traversable[T] {
    def sum(implicit ev: T <:< Int) :T = (0/:this)(_+_)
}

<:<实际上是一个类，用中缀表示，定义在 Predef.scala并在许多地方进行了解释，包括 here
<:<表示“必须是”的子类型

您也可以使用 =:= '必须等于' 和 X <%< Y '必须被视为'(即从 Y 到 X 的隐式转换)

有关类型约束的更详细说明，请参阅 this SO question .