延續性

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

计算机科学程序设计中,延續性(continuation)是一种对程序控制流程/状态的抽象表现形式。 延續性使程序状态信息具体化,也可以理解为,一个延續性以数据结构的形式表现了程序在运行过程中某一点的计算状态,相应的数据内容可以被编程语言访问,不被运行时环境所隐藏掉。

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