Context Bounds

情境界限是一種簡寫，用於表達依賴於類型參數的常見情境參數模式。使用情境界限，上一個區段的 maximum 函數可以這樣撰寫

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

在方法或類型的類型參數 T 上的界限，例如 : Ord，表示情境參數 using Ord[T]。從情境界限產生的情境參數會以以下方式新增

• 如果方法參數以隱含參數清單或使用子句結尾，情境參數會新增在該清單之前。
• 否則，它們會在結尾處新增為一個獨立的參數子句。

範例

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