延續性

維基百科,自由的百科全書
跳至導覽 跳至搜尋

計算機科學程序設計中,計算續體(continuation)是電腦程式的控制狀態的一種抽象表現。 延續性實化了程序狀態信息。可以理解為,一個計算續體以資料結構的形式表現了程序在運行過程中某一點的計算狀態,相應的數據內容可以被程式語言訪問,而不是被運行時環境所隱藏掉。這對實現程式語言的某些控制機制,如異常處理協程生成器非常有用。

計算續體包含了當前程序的棧(包括當前周期內的所有數據,也就是本地變量),以及當前運行的位置。一個計算續體的實例可以在將來被用做控制流,被調用時它從所表達的狀態開始恢復執行。