scala – 了解多个上下文边界

def complex[A : Fractional]

意味着在调用方法时,范围内必须存在类型为Fractional [A]的值(以便方法体可以隐式使用[Fractional [A]]来获取该类型的实例).如果编译器没有这方面的证据,编译将失败.上下文边界实际上是语法糖,因此上述方法签名相当于：

def complex[A](implicit ev: Fractional[A])

多个上下文边界只是意味着我们正在对泛型参数进行多个这样的断言：

def complex[A : Fractional : Trig]

表示调用方法时,范围内必须存在类型为Fractional [A]和Trig [A]的值.所以这个方法签名相当于：

def complex[A](implicit ev0: Fractional[A],ev1: Trig[A])

当您使用上下文绑定语法声明方法时,可以在REPL中看到这一切：

trait Foo[A]
trait Bar[A]
def foo[A : Foo : Bar] = ???
// foo: [A](implicit evidence$1: Foo[A],implicit evidence$2: Bar[A])Nothing