惰性求值
计算机术语
编程语言理论中,惰性求值(英语:Lazy Evaluation),又译为惰性计算、懒惰求值,也称为传需求调用(call-by-need),是一个计算机编程中的一个概念,它的目的是要最小化计算机要做的工作。它有两个相关而又有区别的含意,可以表示为“延迟求值”和“最小化求值”,本条目专注前者,后者请参见最小化计算条目。除可以得到性能的提升外,惰性计算的最重要的好处是它可以构造一个无限的数据类型
延迟求值
延迟求值特别用于函数式编程语言中。在使用延迟求值的时候,表达式不在它被绑定到变量之后就立即求值,而是在该值被取用的时候求值,也就是说,语句如x:=expression;(把一个表达式的结果赋值给一个变量)明显的调用这个表达式被计算并把结果放置到x中,但是先不管实际在x中的是什么,直到通过后面的表达式中到x的引用而有了对它的值的需求的时候,而后面表达式自身的求值也可以被延迟,最终为了生成让外界看到的某个符号而计算这个快速增长的依赖树。
某些编程语言默认进行惰性求值(如Miranda和Haskell),另一些语言提供函数或特殊语法来延迟求值(如Scheme的delay或force)。
延迟求值的一个好处是能够建立可计算的无限列表而没有妨碍计算的无限循环或大小问题。例如,可以建立生成无限斐波那契数列表的函数(经常叫做“流”)。第n个斐波那契数的计算仅是从这个无限列表上提取出这个元素,它只要求计算这个列表的前n个成员。
例如,在Haskell中,斐波纳契数的列表可以写为
假定编程者是仔细的,只有生成特定结果所需要的值才被求值。但是特定计算可能导致程序尝试对无限数目个元素进行求值;例如,求列表的长度或使用fold运算对列表的元素求和将导致程序不能终止或耗尽内存。
语言实现
C++
在典型的大规模计算(如矩阵运算)中,并不是所有的结果值都是必须求出的,很多结果值并没有被用到。因此,C++中实现延迟求值也是现实需求。一般把运算符函数函数重载,返回一个对象保存了计算所需的各种信息(如实参)等。例如,对矩阵加法的延迟求值:
参见
参考资料
最新修订时间:2022-08-25 16:43
目录
概述
延迟求值
参考资料