Scala - 明确说明定义 && 和 || 中的短路功能

Question

在 bool (here)的 Scala 源代码中，据说函数 && 和 ||不能使用 => 语法定义。

// Compiler won't build with these seemingly more accurate signatures
// def ||(x: => Boolean): Boolean
// def &&(x: => Boolean): Boolean

但我看不出这些定义有什么问题!

Answer 1

源代码说它不会而不是不能，也许你解释错了。

如果你看到 Boolean.scala 的第 56 行，你会发现 || 的一些解释。

This method uses 'short-circuit' evaluation and behaves as if it was declared as def ||(x: => Boolean): Boolean. If a evaluates to true, true is returned without evaluating b.

与源代码中的 && 相同。综上所述，可以这样定义，但由于短路，没有必要。