兩種類型在Scala中用冒號分隔

Question

我發現非常有趣的類型變量。

def f[A: B, C](a: A) 
class B 

你可以看到它爲A: B。這種類型由冒號分隔。但是這是什麼意思？這是一種同義詞嗎？我可以在哪裏使用它？

Answer 1

這是一個上下文綁定。例如。

def f[A: Ordering](a: A) 

要求定義Ordering[A]。要實際召喚Ordering[A]請使用implicitly[Ordering[A]]。

來源：http://docs.scala-lang.org/tutorials/FAQ/context-and-view-bounds.html