1 基本概念
1.1 定义
延迟求值是一种求值策略，指表达式在被写出或传入时，并不立刻计算其结果，而是在结果首次真正需要时才执行计算。它关注的是“何时算”而非“怎么算”，因此常被用于描述程序语言中的求值时机安排。
在这种机制下，表达式通常会先以某种未求值的形式保存起来，待后续访问其值时再展开执行。对于某些系统而言，这种策略还会配合结果缓存，使同一表达式只计算一次。
1.2 与立即求值的区别
立即求值会在表达式出现后尽快计算出结果，通常不保留未执行状态。与之相比，延迟求值把计算推迟到确有必要时，从而避免了不必要的运算。
两者的差别不仅体现在执行时间，也体现在异常出现时机、资源占用方式以及程序行为上。若某个表达式最终从未被使用，延迟求值便可能使这部分计算完全不发生，而立即求值则往往已经完成。
1.3 核心思想
延迟求值的核心思想是“按需执行”。程序先保存表达式及其环境，等到外部需要该结果时，再将其化为实际值。
这一思想常与共享结果结合使用，即表达式一旦被计算出来，就将结果保留，以便后续多次访问时直接复用。由此，延迟求值不仅是一种时间上的延后，也是一种减少重复工作的组织方式。
1.4 相关术语
延迟求值在不同语境下有多个近义或相关概念，它们在强调重点上略有差异，但都围绕“推迟计算”展开。
1.4.1 惰性计算
惰性计算是对延迟求值的常见称呼，通常强调系统尽可能少地进行预先计算，只在必要时推进求值过程。
1.4.2 按需计算
按需计算突出“需求驱动”的特征，即只有当程序确实要用到某个值时，才触发对应计算。
1.4.3 记忆化求值
记忆化求值强调对中间结果的保存。它在延迟求值中十分常见，因为一旦结果被算出并保存，后续再次访问即可直接读取，避免重新计算。
2 求值机制
2.1 触发条件
延迟求值通常在表达式被读取、模式匹配、输出显示或参与运算时触发。只要程序需要该值的具体内容，系统就会启动相应计算。
触发条件的设计会影响程序行为的细节。例如，同一表达式在不同上下文中可能被不同程度地展开，有的只需部分计算，有的则必须完整求值。
2.2 结果缓存
在许多实现中，第一次求值完成后，结果会被缓存起来。之后再次访问同一表达式时，系统直接返回缓存值，而不重复执行原先的计算过程。
这种机制有助于提升效率，也使延迟求值更接近“计算一次，多次使用”的模式。缓存还可以减少因重复展开而带来的额外开销。
2.3 表达式封装
为了实现延迟求值，表达式通常会被封装成一种可在未来执行的对象或闭包形式。它不仅保存代码本身，也保存当时所处的环境。
这种封装使表达式在尚未执行前保持“悬置”状态。等到真正需要时，系统再解封并运行其中的内容，从而得到最终结果。
2.4 共享与重用
延迟求值并不只是简单地“晚点算”，还强调共享同一份计算成果。若多个位置引用同一表达式，系统可让它们共用同一次求值得到的结果。
2.4.1 共享同一计算结果
共享机制保证同一表达式在程序中只被解释一次，其结果在多个引用点之间复用。这样既减少了计算量，也保持了结果的一致性。
2.4.2 避免重复计算
当表达式的求值代价较高时，重复执行会显著拖慢程序。通过延迟求值配合缓存，系统可以把已经完成的计算保存起来，从而有效避免重复工作。
3 编程语言中的实现
3.1 函数式编程语言
延迟求值在函数式编程语言中尤为常见，因为这类语言通常重视表达式、不可变数据和组合式计算。惰性语义也便于构造无限结构与按需处理数据。
3.1.1 纯函数式语言中的惰性语义
在一些纯函数式语言里，惰性语义是默认行为。程序中的大多数表达式都不会立即执行，而是等到外部必须使用其值时才展开。
这种设计使程序更容易组合，也更方便处理流式数据与递归定义。不过，它对空间管理提出了更高要求。
3.1.2 严格语言中的延迟结构
一些以立即求值为主的语言，也会提供延迟结构作为局部工具，例如懒加载字段、延迟对象或专门的惰性容器。开发者可以在需要时显式启用。
这类方案通常保留严格语言的整体执行风格，同时在特定场景下借用延迟求值的优点。
3.2 语法与运行时支持
延迟求值往往需要语言语法与运行时系统共同支持。前者提供表达方式，后者负责保存未求值状态并在适当时机触发执行。
3.2.1 thunk 的使用
thunk 是一种常见实现方式，通常指封装了表达式及其环境的无参数计算单元。它相当于一个“待执行任务”，在需要时被调用以产出结果。
thunk 既可用于简单延迟，也可与缓存机制结合，形成真正的按需求值流程。
3.2.2 求值器与解释器处理
求值器或解释器在遇到延迟对象时，需要区分“已算出”和“未算出”的状态。若对象尚未求值，就先保留；若结果已存在，则直接返回。
为了实现共享，运行时还会维护引用关系与状态标记，确保同一表达式不会被多次展开。
3.3 参数传递策略
延迟求值与参数传递方式关系密切。不同策略会改变函数参数何时计算，以及是否会重复计算。
3.3.1 按值传递
按值传递通常先计算实参，再把结果传给函数。它属于较典型的严格求值方式，执行时机明确，行为也更直接。
3.3.2 按名称传递
按名称传递会把实参表达式原样交给函数，在函数内部每次使用时重新求值。它体现了延迟思想，但通常不自带结果缓存。
3.3.3 按需要传递
按需要传递在按名称传递基础上加入缓存。表达式第一次被用到时才计算，之后重复访问同一位置则复用结果，因此更接近现代所说的延迟求值。
4 语义与理论基础
4.1 操作语义
在操作语义中，延迟求值描述程序如何一步步执行。系统并不立即展开所有表达式，而是先保留未完成的计算，再在需要时推进。
这种语义有助于精确定义程序的运行过程，也便于比较不同求值策略之间的差异。
4.2 指称语义
从指称语义角度看，延迟求值关注表达式与其意义之间的对应关系。一个表达式可以在未实际计算时仍然具有明确的数学意义。
这使得程序中的“延后执行”能够与形式化模型相兼容，为语言设计和证明提供基础。
4.3 求值顺序
延迟求值会改变求值顺序，使程序不再按书写次序机械推进，而是按需求决定展开范围。某些分支可能永远不被触发，某些表达式则只被部分求值。
因此，求值顺序不再只是实现细节，而会直接影响程序的效率和行为边界。
4.4 终止性与可定义性
延迟求值使一些在严格求值下难以处理的定义变得可行。它允许程序先描述整体结构，再逐步揭示局部内容。
4.4.1 无限数据结构
借助延迟求值，程序可以定义无限列表、无限树或持续生成的序列。只要使用方式是按需的，系统便能在有限时间内取得有限前缀。
4.4.2 部分求值结果
有些表达式不必完全归约到最深层次，只要得到足够的信息即可继续程序。延迟求值支持这种部分展开，因此适合只关心片段结果的场景。
5 优势与局限
5.1 性能优势
延迟求值的突出优点在于减少无效工作。它让计算更贴近实际需求，往往能提升整体效率。
5.1.1 延后不必要的计算
当某些分支或结果最终不会被使用时，延迟求值可避免对应开销。尤其在存在条件分支或复杂构造时，这种收益更明显。
5.1.2 支持流式处理
延迟求值适合流式数据处理，因为系统可以一边生成一边消费，而不必一次性准备全部内容。这有助于降低峰值资源占用。
5.2 潜在问题
延迟求值虽然灵活，但也会带来一些副作用式的成本，尤其是在内存管理与行为可预测性方面。
5.2.1 空间泄漏
如果大量未及时释放的延迟对象被长期保留，可能导致内存持续增长。某些看似节省计算的写法，反而会积累额外空间开销。
5.2.2 调试困难
由于计算发生在更晚的时刻，程序出错位置有时不容易与源码中的原始表达式一一对应。开发者在调试时需要额外注意求值触发链条。
5.2.3 异常与副作用的延迟暴露
若表达式内部包含异常或副作用，那么这些行为也会被推迟到真正求值时才出现。这会使错误显现时机变得不直观，并可能影响程序的可预测性。
5.3 适用场景
延迟求值并非处处都优于立即求值，但在某些数据规模大、计算链长或只需局部结果的场景中，它很有价值。
5.3.1 生成器式处理
对于按顺序生成并消费的任务，延迟求值可实现自然的逐步产出，减少一次性构造全部结果的负担。
5.3.2 大规模数据分析
在大型数据处理中，如果只需要部分字段、部分记录或前若干项，延迟求值有助于避免对整批数据进行无谓展开。
6 典型应用
6.1 编程语言设计
许多语言在设计时会将延迟求值作为核心特性或可选能力之一。它既影响函数调用语义，也影响数据结构与标准库设计。
通过引入延迟机制，语言能够在表达力与效率之间取得更灵活的平衡。
6.2 函数式数据结构
惰性队列、延迟树和流式容器等函数式数据结构，常依赖延迟求值来实现按需展开。这样，结构可以先定义整体形态，再逐步计算局部节点。
这类结构在处理链式转换时很方便，也便于组合多个数据源。
6.3 符号推导与定理证明
在符号计算、自动推导和定理证明系统中，延迟求值可用于控制证明步骤或化简过程的展开范围。系统往往只在需要时才展开某些表达式，以避免搜索空间过早膨胀。
它也有助于处理结构复杂、层次很深的符号项，使推理过程更可控。
6.4 递归与自引用结构
延迟求值天然适合描述递归定义和自引用结构，因为对象的一部分可以先被定义，另一部分随后再补充完成。
6.4.1 惰性列表
惰性列表可以先拥有表头，再在需要时生成表尾。它常用于表示持续产生的数据流，或用于对序列进行逐项处理。
6.4.2 无限序列
无限序列依赖延迟求值才具备实际可用性。虽然整体长度无穷，但只要程序按需读取前面若干项，就能得到有效结果。
7 相关概念比较
7.1 延迟求值与短路求值
短路求值是一种局部的延迟机制，常见于逻辑运算中，指前一个条件已足以决定结果时，后续部分不再计算。它通常只作用于特定运算符。
延迟求值则是更一般的求值策略，适用于表达式整体的执行时机安排，范围明显更广。
7.2 延迟求值与按需加载
按需加载侧重的是资源载入时机，常用于文件、模块或页面内容。它强调“先不加载，必要时再取”。
延迟求值侧重的是表达式计算时机，关注的是值如何从未执行状态转变为实际结果。两者都体现了按需思想，但对象不同。
7.3 延迟求值与异步计算
异步计算强调任务并行推进或非阻塞执行，重点在于时间重叠与调度。延迟求值则不以并行性为核心，而是强调推迟到必要时才计算。
二者虽然有时都会表现为“暂不完成”，但一个关注执行方式，另一个关注求值触发条件，语义上并不相同。
7.4 延迟求值与缓存机制
缓存机制的目标是保存已有结果，避免再次计算。它可以独立存在，也常与延迟求值结合使用。
延迟求值决定何时开始计算，缓存机制决定算完后如何保存与复用。前者管触发，后者管重用。
8 历史与发展
8.1 早期理论来源
延迟求值的思想可追溯到函数式计算、递归定义和形式逻辑的早期研究。在这些理论中，表达式的展开顺序与意义解释一直是重要问题。
随着对计算模型认识的深化，研究者逐渐将“先不算、需要时再算”的策略形式化，并纳入语言语义框架。
8.2 在编程语言中的推广
随着函数式语言的发展，延迟求值从理论概念逐步演变为实际语言特性。它在某些语言中成为默认求值方式，在另一些语言中则作为可选机制出现。
这一过程推动了流式处理、无限结构和模块化抽象的发展，也让求值语义成为编译器与运行时设计的重要部分。
8.3 现代语言中的演化
现代语言对延迟求值的使用更趋灵活，常通过局部惰性字段、生成器、惰性迭代器或专门的延迟对象实现。设计重点也从纯粹的理论美感，转向性能、可维护性和可预测性的平衡。