两种类型在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