0

0

c# async/await 和 continuation-passing style (CPS) 的关系

星降

星降

发布时间:2026-01-15 08:51:32

|

149人浏览过

|

来源于php中文网

原创

async/await本质是编译器实现的cps变换,将async方法重写为状态机并把await后代码作为continuation回调注册;它自动处理同步/异步分支、变量生命周期和异常传播,而手写cps需显式管理这些细节。

c# async/await 和 continuation-passing style (cps) 的关系

async/await 本质是编译器生成的 CPS 变换

你写的 async 方法,C# 编译器不会把它变成多线程代码,而是重写为状态机,并把后续逻辑(await 后面的语句)拆成回调——这正是 continuation-passing style 的核心特征:不靠调用返回,而是显式把“接下来要做的事”作为参数(即 continuation)传下去。

比如 await Task.Delay(100) 后面的代码,在编译后会被包进一个 MoveNext 委托里,作为 Task 完成时的 continuation 注册进去。这不是你手动写的回调,但语义等价于 CPS 中的“把剩余计算作为函数传入”。

和手写 CPS 的关键区别在控制流抽象层

C# 的 async/await 隐藏了 continuation 的构造和调度细节,而手写 CPS(比如用 Task.ContinueWith 或自定义高阶函数)需要你显式管理:

  • await 自动处理同步/异步分支(SynchronizationContext、ConfigureAwait 等),手写 CPS 得自己判断是否需要 TaskScheduler.Current
  • await 保持局部变量生命周期(通过状态机字段保存),手写 CPS 容易因闭包捕获导致意外对象驻留
  • 异常传播方式不同:await 把异常重抛到原始上下文,ContinueWith 默认吞掉异常,需显式检查 Task.Exception

不要用 ContinueWith 模拟 await,除非你真需要 CPS 的细粒度控制

常见误区是用 task.ContinueWith(t => { /* 后续逻辑 */ }) 替代 await task,这看似“更底层”,实则绕过了编译器的状态机优化,还引入额外委托分配和调度开销。

真正适合手写 CPS 的场景极少,例如:

  • 实现自定义 awaiter(需实现 GetAwaiter()OnCompleted(Action)
  • 跨语言互操作中对接 callback-first 的 C API(如 Windows Runtime 的 IAsyncAction
  • 构建 DSL 或 async-aware 的流程引擎,需要动态拼接 continuation 链
public static Task<T> Then<T, U>(this Task<T> task, Func<T, Task<U>> func)
{
    return task.Unwrap().ContinueWith(t =>
        t.IsFaulted ? Task.FromException<U>(t.Exception.InnerException)
                    : func(t.Result),
        TaskContinuationOptions.ExecuteSynchronously)
        .Unwrap();
}

调试时看到的 “awaiter.OnCompleted” 就是 CPS 的入口点

当你在 await 行设断点,然后看调用栈,常会看到类似 TaskAwaiter.OnCompleted(Action) 的帧——这就是 CPS 的“注册 continuation”动作。它不执行逻辑,只登记“等我好了,就调你”。真正的 continuation 执行发生在 ThreadPool 或 UI 线程的下一次调度循环中。

容易忽略的是:如果 awaitTask 已完成(IsCompleted == true),编译器可能直接内联 continuation,跳过调度,这时你根本看不到 OnCompleted 被调用——这说明 CPS 在这里退化成了普通顺序执行,但语义仍一致。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

430

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

599

2023.08.10

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

723

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

372

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

本专题整合了java多线程相关教程,阅读专题下面的文章了解更多详细内容。

27

2026.01.21

C++多线程相关合集
C++多线程相关合集

本专题整合了C++多线程相关教程,阅读专题下面的的文章了解更多详细内容。

25

2026.01.21

C# 多线程与异步编程
C# 多线程与异步编程

本专题深入讲解 C# 中多线程与异步编程的核心概念与实战技巧,包括线程池管理、Task 类的使用、async/await 异步编程模式、并发控制与线程同步、死锁与竞态条件的解决方案。通过实际项目,帮助开发者掌握 如何在 C# 中构建高并发、低延迟的异步系统,提升应用性能和响应速度。

102

2026.02.06

go语言闭包相关教程大全
go语言闭包相关教程大全

本专题整合了go语言闭包相关数据,阅读专题下面的文章了解更多相关内容。

150

2025.07.29

Golang 测试体系与代码质量保障:工程级可靠性建设
Golang 测试体系与代码质量保障:工程级可靠性建设

Go语言测试体系与代码质量保障聚焦于构建工程级可靠性系统。本专题深入解析Go的测试工具链(如go test)、单元测试、集成测试及端到端测试实践,结合代码覆盖率分析、静态代码扫描(如go vet)和动态分析工具,建立全链路质量监控机制。通过自动化测试框架、持续集成(CI)流水线配置及代码审查规范,实现测试用例管理、缺陷追踪与质量门禁控制,确保代码健壮性与可维护性,为高可靠性工程系统提供质量保障。

48

2026.02.28

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PostgreSQL 教程
PostgreSQL 教程

共48课时 | 10万人学习

Excel 教程
Excel 教程

共162课时 | 19.7万人学习

PHP基础入门课程
PHP基础入门课程

共33课时 | 2.2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号