编程语言中的异常和续体都是强大的非局部控制流机制，但它们在表达能力上存在根本差异。通过对形式化语义和关键学术论文的解读，可以清晰地理解二者的区别，并学习如何科学地比较不同语言特性的表达力。
智能速览
基于控制栈的操作语义可以形式化 failures、exceptions 和 continuations。
异常和续体虽然都是非局部跳转，但可以通过 contextual equivalence 证明其表达力的不同。
存在在异常语言中等价但在续体语言中可区分的表达式，反之亦然。
C++ 的 noexcept 和 Scheme 的 call/cc 是这两个概念在实际语言中的体现。
Felleisen 的论文为比较编程语言的表达力提供了理论框架。
精华内容
虽然异常和续体都实现了非局部控制转移，但它们在语义层面有何根本不同？学术界通过严格的数学工具揭示了这一问题的答案。
形式化基础
为了精确理解编程语言的控制机制，Robert Harper 在《PFPL》中提出了一种基于控制栈的操作语义。这种方法可以清晰地形式化三种核心的非局部控制流：failures（失败与捕获）、exceptions（抛出与处理）以及 continuations（捕获与转移）。
这种形式化方法不仅有助于理论分析，也启发了现代语言设计，例如支持 algebraic effect 的 Koka 语言，它为处理副作用提供了更灵活的机制。
本质差异
Hayo Thielecke 在其 2001 年的论文中，通过 contextual equivalence 的概念，严格证明了异常和续体的根本不同。该证明的核心思想是：可以构造出两个代码片段，它们在只有异常的语言中行为完全等价，但在支持续体的语言中却能被区分开来。
反之，也存在另外两个代码片段，在有续体的语言中等价，但在只有异常的语言中则不然。这表明，二者并非可以互相表达或简化，而是在语言的表达能力上提供了不同维度的扩展。
实践中的体现
这些理论概念在实际编程语言中有着具体的体现。例如，C++ 引入了 `noexcept` 说明符，允许在类型系统中标记一个函数是否会抛出异常，这是一种对异常行为的封装和约束，可以看作是对论文中“Encapsulation of Exceptions”思想的实践。
另一方面，Scheme 语言中的 `call/cc` (call-with-current-continuation) 则是续体机制的经典实现，它将当前的执行上下文（即“续体”）作为一等公民，赋予了程序极高的控制能力。
衡量标尺
当讨论不同语言机制的表达力时，需要一个科学的衡量标准。Matthias Felleisen 的研究为此提供了基石，其论文定义了如何通过可观察的行为来比较编程语言的表达能力。
这一框架回答了一个核心问题：如何客观地判断一种语言特性是否比另一种更强大？它不是依赖直觉，而是基于严格的数学证明，即是否能用一种语言的特性模拟另一种语言的特性。
深入理解异常与续体的本质区别，不仅能帮助开发者在设计系统时做出更合理的选择，也为思考编程语言的未来演进提供了理论视角。Felleisen 提供的表达力理论框架，更是评估新语言特性的重要标尺。这些基础理论将如何塑造下一代编程语言？
