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 Then(this Task task, Func> func)
{
    return task.Unwrap().ContinueWith(t =>
        t.IsFaulted ? Task.FromException(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 在这里退化成了普通顺序执行,但语义仍一致。

相关专题

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

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

388

2023.07.18

堆和栈区别
堆和栈区别

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

571

2023.08.10

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

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

480

2023.08.10

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

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

143

2025.12.24

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

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

133

2025.07.29

windows查看端口占用情况
windows查看端口占用情况

Windows端口可以认为是计算机与外界通讯交流的出入口。逻辑意义上的端口一般是指TCP/IP协议中的端口,端口号的范围从0到65535,比如用于浏览网页服务的80端口,用于FTP服务的21端口等等。怎么查看windows端口占用情况呢?php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

576

2023.07.26

查看端口占用情况windows
查看端口占用情况windows

端口占用是指与端口关联的软件占用端口而使得其他应用程序无法使用这些端口,端口占用问题是计算机系统编程领域的一个常见问题,端口占用的根本原因可能是操作系统的一些错误,服务器也可能会出现端口占用问题。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1099

2023.07.27

windows照片无法显示
windows照片无法显示

当我们尝试打开一张图片时,可能会出现一个错误提示,提示说"Windows照片查看器无法显示此图片,因为计算机上的可用内存不足",本专题为大家提供windows照片无法显示相关的文章,帮助大家解决该问题。

790

2023.08.01

Golang gRPC 服务开发与Protobuf实战
Golang gRPC 服务开发与Protobuf实战

本专题系统讲解 Golang 在 gRPC 服务开发中的完整实践,涵盖 Protobuf 定义与代码生成、gRPC 服务端与客户端实现、流式 RPC(Unary/Server/Client/Bidirectional)、错误处理、拦截器、中间件以及与 HTTP/REST 的对接方案。通过实际案例,帮助学习者掌握 使用 Go 构建高性能、强类型、可扩展的 RPC 服务体系,适用于微服务与内部系统通信场景。

8

2026.01.15

热门下载

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

精品课程

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

共48课时 | 7.2万人学习

Excel 教程
Excel 教程

共162课时 | 11.9万人学习

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

共33课时 | 1.9万人学习

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

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