上下文边界

上下文界限是一种简写，用于表示依赖于类型参数的上下文参数的常见模式。使用上下文界限，上一部分的 maximum 函数可以这样编写

def maximum[T: Ord](xs: List[T]): T = xs.reduceLeft(max)

在方法或类的类型参数 T 上的界限（如 : Ord）表示上下文参数 using Ord[T]。从上下文界限生成的上下文参数按如下方式添加

• 如果方法参数以隐式参数列表或 using 子句结尾，则上下文参数将添加到该列表之前。
• 否则，它们将作为单独的参数子句添加到末尾。

示例

def f[T: C1 : C2, U: C3](x: T)(using y: U, z: V): R

将扩展为

def f[T, U](x: T)(using _: C1[T], _: C2[T], _: C3[U], y: U, z: V): R

上下文界限可以与子类型界限结合使用。如果两者都存在，则子类型界限优先，例如

def g[T <: B : C](x: T): R = ...

TypeParamBounds   ::=  [SubtypeBounds] {ContextBound}
ContextBound      ::=  ‘:’ Type