0

0

c# 如何在 F# 中进行异步和并发编程 F# async workflow

畫卷琴夢

畫卷琴夢

发布时间:2026-03-09 12:15:13

|

533人浏览过

|

来源于php中文网

原创

f#异步与c# async/await本质不同:task需用async.awaittask转为async,f# async则用async.startastask转为task;async不自动执行,须用async.start、async.runsynchronously或async.parallel并发;原生支持取消和异常处理,通过传入cancellationtoken及async.catch实现。

c# 如何在 f# 中进行异步和并发编程 f# async workflow

为什么不能直接在 F# 中用 C# 的 async/await

F# 的异步模型和 C# 本质不同:C# 的 Task 是基于状态机的可等待对象,而 F# 的 async { ... } workflow 返回的是 Async 类型——它本身不执行,只是描述异步计算的蓝图。直接把 C# 的 Task 当作 F# 的 Async 会编译失败或运行时挂起。

常见错误现象:error FS0001: This expression was expected to have type 'Async' but here has type 'Task'

  • 必须显式转换:用 Async.AwaitTaskTask 转为 Async
  • 反过来,若需从 F# async 得到 Task(例如供 C# 调用),用 Async.StartAsTaskAsync.StartImmediateAsTask
  • 注意线程上下文:F# Async 默认不捕获同步上下文(如 UI 线程),而 C# await 默认会——这在 WinForms/WPF 中可能引发跨线程异常

如何正确启动和组合 F# async 计算

F# 的 async { ... } 不会自动运行,必须显式触发。最常用方式是 Async.Start(fire-and-forget)、Async.RunSynchronously(阻塞等待,仅限顶层或测试)或转成 Task 后交由 C# 消费。

WordAi
WordAi

WordAI是一个AI驱动的内容重写平台

下载
let fetchUrl (url: string) =
    async {
        use client = new System.Net.Http.HttpClient()
        let! content = client.GetStringAsync(url) |> Async.AwaitTask
        return content.Length
    }
<p>// 启动多个并发请求(真正并行,非顺序)
let urls = [ "<a href="https://www.php.cn/link/5f69e19efaba426d62faeab93c308f5c">https://www.php.cn/link/5f69e19efaba426d62faeab93c308f5c</a>"; "<a href="https://www.php.cn/link/ef246753a70fce661e16668898810624">https://www.php.cn/link/ef246753a70fce661e16668898810624</a>" ]
let tasks = urls |> List.map fetchUrl |> Async.Parallel
let lengths = Async.RunSynchronously tasks // 等待全部完成,返回 int list
  • Async.Parallel 是并发核心:它把 Async[] 转成 Async,内部自动调度,比手写 Async.StartChild 更简洁
  • 避免误用 let! 连续调用——那是串行;要并发必须先 List.map 构造多个 Async,再统一 Async.Parallel
  • Async.Sequential 存在但极少用:它按序执行列表里的 Async,等价于手动 let! 链式调用

如何处理异常和取消(CancellationToken

F# async 原生支持取消,但方式与 C# 不同:不是靠 token.ThrowIfCancellationRequested(),而是通过 Async.TryWithAsync.Catch 和绑定时传入 CancellationToken

let riskyAsync (ct: System.Threading.CancellationToken) =
    async {
        do! Async.Sleep 1000
        if ct.IsCancellationRequested then
            return "cancelled"
        else
            return "done"
    }
<p>// 启动时传入 token
let ct = new System.Threading.CancellationTokenSource(timeoutMs = 500)
let result = Async.RunSynchronously (riskyAsync ct.Token)
  • 所有内置异步操作(如 Async.SleepAsync.AwaitTask)都自动响应 CancellationToken,无需手动检查
  • Async.Catch 捕获异常:Async.Catch myAsync 返回 Async<result exn>></result>,比 try/with 更函数式
  • 不要在 async { ... } 外层用 C# 风格的 try...catch——它捕获不到异步内部抛出的异常

与 C# 互操作的关键点

混合项目中,F# 的 Async 经常需要被 C# 调用,或调用 C# 的 Task 方法。关键不是“怎么转”,而是“什么时候转、谁负责生命周期”。

  • 从 C# 调用 F# 函数:F# 函数应返回 Task,用 Async.StartAsTask 包装:member _.GetData() = myAsync |> Async.StartAsTask
  • 在 F# 中调用 C# 方法:用 Async.AwaitTask,且注意是否需要 .ConfigureAwait(false)(F# 默认已等效于 ConfigureAwait(false),无需额外写)
  • 警惕死锁:在同步上下文(如 ASP.NET 同步控制器)中调用 Async.RunSynchronously 可能卡住——务必改用 StartAsTask + await 流式处理

最易忽略的是取消传播:C# 传入的 CancellationToken 必须透传进 F# async 内部,否则 Async.AwaitTask 无法感知外部取消信号。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
登录token无效
登录token无效

登录token无效解决方法:1、检查token的有效期限,如果token已经过期,需要重新获取一个新的token;2、检查token的签名,如果签名不正确,需要重新获取一个新的token;3、检查密钥的正确性,如果密钥不正确,需要重新获取一个新的token;4、使用HTTPS协议传输token,建议使用HTTPS协议进行传输 ;5、使用双因素认证,双因素认证可以提高账户的安全性。

6582

2023.09.14

登录token无效怎么办
登录token无效怎么办

登录token无效的解决办法有检查Token是否过期、检查Token是否正确、检查Token是否被篡改、检查Token是否与用户匹配、清除缓存或Cookie、检查网络连接和服务器状态、重新登录或请求新的Token、联系技术支持或开发人员等。本专题为大家提供token相关的文章、下载、课程内容,供大家免费下载体验。

841

2023.09.14

token怎么获取
token怎么获取

获取token值的方法:1、小程序调用“wx.login()”获取 临时登录凭证code,并回传到开发者服务器;2、开发者服务器以code换取,用户唯一标识openid和会话密钥“session_key”。想了解更详细的内容,可以阅读本专题下面的文章。

1090

2023.12.21

token什么意思
token什么意思

token是一种用于表示用户权限、记录交易信息、支付虚拟货币的数字货币。可以用来在特定的网络上进行交易,用来购买或出售特定的虚拟货币,也可以用来支付特定的服务费用。想了解更多token什么意思的相关内容可以访问本专题下面的文章。

1987

2024.03.01

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

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

764

2023.08.10

golang map内存释放
golang map内存释放

本专题整合了golang map内存相关教程,阅读专题下面的文章了解更多相关内容。

77

2025.09.05

golang map相关教程
golang map相关教程

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

40

2025.11.16

golang map原理
golang map原理

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

67

2025.11.17

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

59

2026.03.06

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
最新Python教程 从入门到精通
最新Python教程 从入门到精通

共4课时 | 22.5万人学习

Rust 教程
Rust 教程

共28课时 | 6.7万人学习

Django 教程
Django 教程

共28课时 | 4.9万人学习

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

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