CPS是一种将后续逻辑显式作为参数传递的编程模式,核心是用Continuation替代隐式返回控制流;它不改变Java语法,但支撑Kotlin协程、CompletableFuture链式调用等异步机制,提升控制流可管理性与调度灵活性。

CPS(Continuation-Passing Style,持续传递风格)在 Java 中不是语言原生特性,而是一种编程模式和编译器支撑的调用机制,核心是把“后续要做的事”显式地作为函数参数传入,替代传统的返回值控制流。 它不改变 Java 语法,但深刻影响了 Kotlin 协程、异步桥接、回调封装等实际场景的设计逻辑。
什么是 Continuation(续体)
Continuation 就是“当前计算还没执行完的那部分逻辑”。比如:
- 普通写法:
int x = add(2, 3); print(x);——add算完后自动跳回print,这个“跳回”由 JVM 隐式管理; - CPS 写法:
addCps(2, 3, result -> print(result));——addCps不再返回值,而是拿到结果后直接调用你传进来的result -> ...函数。
这个result -> print(result)就是 Continuation,它代表“加法之后该干啥”。操作系统保存线程上下文、协程挂起时保存状态,本质上也是在操作某种 Continuation。
Java 中 CPS 的典型体现
Java 本身不强制要求 CPS,但在以下场景中它已成事实标准:
立即学习“Java免费学习笔记(深入)”;
-
Kotlin 挂起函数编译产物:每个
suspend fun被 Kotlin 编译器转成带Continuation参数的普通 Java 方法,例如fetchData(String, Continuation;) -
CompletableFuture 回调链:
supplyAsync(...).thenApply(x -> x * 2).thenAccept(System.out::println)——每一步的“后续操作”都作为函数参数传入,是 CPS 的链式实践; -
手动桥接 Java 与 Kotlin 协程:Java 端需实现
Continuation接口,在resumeWith里处理成功/异常,这就是在显式消费 Continuation。
CPS 解决什么问题
它把隐式的控制流(return、throw、栈展开)变成显式的函数调用,带来三方面实际价值:
- 避免线程阻塞:挂起时不交出线程,只保存 Continuation 对象,轻量;
- 支持状态机生成:编译器可将 suspend 函数编译为带标签的状态机类,每个挂起点对应一个状态转移;
- 统一异步抽象:无论 IO、延迟、网络请求,只要接受 Continuation 参数,就能被协程调度器统一接管。
写一个最简 CPS 示例(Java 可运行)
下面是一个纯 Java 实现的 CPS 加法,不依赖任何框架:
interface IntContinuation {
void resume(int result);
}
static void addCps(int a, int b, IntContinuation cont) {
// 模拟异步或挂起:这里直接计算,但结构已 CPS 化
cont.resume(a + b);
}
// 调用方式
addCps(5, 7, result -> System.out.println("结果是:" + result));
注意:这里没有return,也没有try-catch包裹返回值——所有后续逻辑都由传入的cont承载。这就是 CPS 的骨架。
基本上就这些。它不复杂但容易忽略:CPS 不是炫技,而是让“下一步做什么”从隐式约定变成可传递、可存储、可调度的一等公民。










