我应该如何理解这个定义"final def fold[B](ifEmpty: => B)(f: (A) => B): B"

Question

我就知道这个问题可能很蠢。

我发现自己很难理解 Scala Optionlink 中的 fold 定义。

任何人都可以帮助我理解定义部分吗？ final def fold[B](ifEmpty: => B)(f: (A) => B): B

(ifEmpty: => B)是什么意思，这里的ifEmpty是不是代表一个函数？右边的=> B代表什么？它是否表示没有任何参数的函数？应该是 () => B?

Answer 1

在

的定义中发生了很多事情

final def fold[B](ifEmpty: => B)(f: (A) => B): B

我们有

• 参数 ifEmpty: => B。这确实类似于 () => B 并且意味着 ifEmpty 直到在方法体内使用（如果有的话）才会被评估。
• 多个参数列表 (ifEmpty: => B)(f: (A) => B) 其中 helps type inference 因为 Scala 类型推断按列表工作。这意味着我们不必在调用站点显式提供 [B] 类型参数。
• 类型参数A和B使方法多态
• final 防止方法被覆盖
• fold 是高阶方法，因为它接受函数类型 (A) => B
的参数