严格性与惰性:优化Scala程序性能的利器
1. 严格性与非严格性
在函数式编程中,严格性和非严格性是两个核心概念,它们直接影响程序的性能和模块性。严格性意味着函数会立即对其参数进行求值,而非严格性则允许函数推迟参数的求值,直到确实需要时才进行计算。在大多数编程语言中,默认情况下函数是严格的,但在Scala中,我们可以通过一些技巧实现非严格性,从而优化程序性能。
1.1 严格函数与非严格函数
严格函数会对其参数进行求值,而非严格函数可以选择不对其参数进行求值。例如,考虑以下函数:
def square(x: Double): Double = x * x
当你调用 square(41.0 + 1.0) 时,函数 square 将接收到 42.0 的求值结果,因为它严格。如果你调用 square(sys.error("failure")) ,在 square 有机会做任何事情之前,你会得到一个异常,因为 sys.error("failure") 表达式会在进入 square 的主体之前被求值。
相比之下,非严格函数可以选择不对其参数进行求值。例如,短路布尔函数 && 和 || 是非严格的。你可能习惯于将 && 和 <
超级会员免费看
订阅专栏 解锁全文
90

被折叠的 条评论
为什么被折叠?



