惰性求值是一种计算策略：表达式只在需要其结果时才被求值。与传统的严格求值（立即求值）相比，惰性求值可以避免不必要的计算、支持无限数据结构、并提高模块化。函数式语言如Haskell默认采用惰性求值；而在C++中，惰性求值需要显式构建，但可以通过多种模式实现。
惰性求值的优势：最明显的是性能优化。如果一个表达式的值在代码路径中从未被使用，惰性求值可以完全跳过它的计算。在严格的求值策略下，即使结果不被使用，表达式也会被求值。更微妙的是，惰性求值允许分离“描述计算”和“执行计算”——你可以先构建一个复杂的计算图，然后选择性地执行部分节点。
参考：https://vhjpe.cn/category/mingan-huli.html
短路求值是C++中最基本的惰性形式。逻辑运算符&&和||只求值到能够确定结果为止。例如，在if (ptr != nullptr && ptr->value > 10)中，如果ptr为空，第二个条件不会被求值，避免了空指针解引用。短路求值被内置在语言中，开发者可以利用它来编写安全的代码。
三元运算符?:也只求值选中的分支。condition ? expensive1() : expensive2()只调用其中一个函数，而不是两个都调用。这与函数调用不同——函数调用在调用前会求值所有参数。
std::function与惰性包装：你可以将计算包装在lambda表达式中，只在需要时调用。例如，std::function lazy_value = [] { return expensive_computation(); };。这种模式允许你传递“尚未计算的值”，在多个地方传递，但只计算一次（结合缓存）。
缓存惰性值（Memoization）是优化重复计算的关键技术。一旦惰性值被计算，后续的访问应该直接返回缓存的结果。C++中可以通过std::optional或std::unique_ptr实现：这种模式在需要昂贵计算且结果可能被多次使用的场景中非常有用。
参考：https://vhjpe.cn/category/kang-shuailao.html
无限序列是惰性求值的经典应用。严格求值的语言无法表示无限列表，因为它们会在构造时求值所有元素。惰性求值允许定义无限序列，只生成被消费的部分。C++中可以通过生成器（generator）实现，C++23的std::generator提供了标准支持。例如，一个产生所有自然数的生成器理论上可以无限运行，但实际只生成请求的数量。
范围（Ranges）与视图（Views）是C++20引入的惰性序列库。std::views::filter、std::views::transform等适配器不会立即执行转换，而是返回一个视图对象，它在迭代时才按需计算元素。例如，auto even = numbers | std::views::filter( { return n % 2 == 0; });不会立即过滤所有数字，而是创建一个视图，在遍历时逐个检查。这种惰性组合可以避免创建中间容器，节省内存和CPU。
惰性构造函数是另一种模式。当对象的构造代价高昂时，可以使用std::unique_ptr或std::optional延迟构造，直到第一次使用时才真正构造。这在对象可能被完全跳过（例如，在某些错误路径中）的场景中特别有用。更高级的模式是“惰性指针”——一个智能指针，在解引用时才构造所指对象。
惰性日志记录是性能敏感应用中的常见优化。日志消息的构造（尤其是格式化字符串）可能代价高昂。如果日志级别被禁用，这些构造不应该发生。通过将日志参数包装在lambda中，只在需要时才求值，可以避免不必要的开销。例如：LOG_DEBUG([&] { return "User " + user.name + " logged in"; })。宏可以进一步简化语法。
参考：https://vhjpe.cn/category/hufu-chengfen.html
表达式模板是惰性求值的高级形式，用于构建复杂的数学表达式而不产生临时对象。矩阵库如Eigen使用表达式模板来延迟求值，直到整个表达式被分析完毕，然后生成最优的求值代码（例如，融合循环、避免临时矩阵）。表达式模板的核心理念是将表达式表示为类型，求值通过模板特化完成。
惰性求值的代价：惰性求值并非总是有益的。每个惰性值都引入了间接层（函数调用、条件判断、缓存存储），这可能导致运行时开销。对于廉价的计算，惰性求值的开销可能超过节省。此外，惰性求值可能导致内存泄漏——如果无限序列被持有而不被消费，它会无限增长。在C++中，开发者需要显式管理惰性值的生命周期和缓存策略。
与RAII的交互：惰性求值需要谨慎处理资源。如果一个惰性值持有文件句柄、锁或网络连接，延迟构造可能延长资源的持有时间，也可能在不需要时跳过资源的获取。这两种情况都需要根据场景判断是否合理。
线程安全是惰性值的另一个挑战。如果多个线程可能同时访问同一个惰性值，需要确保缓存初始化是线程安全的。std::call_once和std::once_flag是实现线程安全惰性初始化的标准工具。C++11的static局部变量也有线程安全的初始化保证，可以用于实现惰性单例。
在实际工程中，惰性求值应该被视为优化工具而非默认选择。优先编写清晰、直接的代码；当性能分析表明某个计算是瓶颈且经常被跳过时，引入惰性求值。过度使用惰性求值会导致代码难以理解和调试。
参考：https://vhjpe.cn
