scala - 为什么 reduceLeft 的类型参数包含下界？

Question

reduceLeft的签名在一些 Seq[A]是

def reduceLeft [B >: A] (f: (B, A) => B): B 

A的类型是已知的，但下限 >:告诉我们 B可以是 A 的任何父类(super class)型.

为什么会这样？为什么不

def reduceLeft (f: (A, A) => A): A

我们已经知道序列的头部是类型 A所以我想不出 B可以是不等于 A 的任何值.你能提供一个例子吗 B是不是有些超人？

Answer 1

假设您的 B 类有一个方法 combine(other:B): B .现在您调用reduceLeft((b,a) => b.combine(a))在 A 的列表中s。由于 combine 的返回类型是 B reduceLeft 的类型参数需要B .