延續性

维基百科,自由的百科全书
跳转至: 导航搜索

计算机科学程序设计中,计算续体(continuation)是计算机程序的控制状态的一种抽象表现。 延續性实化了程序状态信息。可以理解为,一个计算续体以数据结构的形式表现了程序在运行过程中某一点的计算状态,相应的数据内容可以被编程语言访问,而不是被运行时环境所隐藏掉。这对实现编程语言的某些控制机制,如异常处理协程生成器非常有用。

计算续体包含了当前程序的栈(包括当前周期内的所有数据,也就是本地变量),以及当前运行的位置。一个计算续体的实例可以在将来被用做控制流,被调用时它从所表达的状态开始恢复执行。