Python anyio 的跨运行时兼容性

anyio 能在 asyncio 和 trio 间切换，但需主动适配关键行为断点；必须用 anyio.run() 启动，禁用原生 run() 和裸 task 创建，共享资源限于 anyio 原语，性能上 trio 略优，sleep 行为基本一致但精度有差异。

anyio 能不能在 asyncio 和 trio 里无缝切换

能，但“无缝”只存在于理想路径上。anyio 的设计目标确实是抽象掉底层运行时差异，可实际切换时得主动适配几个关键行为断点。

常见错误现象：RuntimeError: this function must be run from inside an anyio worker Thread 或 trio.TrioInternalError 暴露底层调度器冲突——本质是混用了不同运行时的原生 API。

• 必须用 anyio.run() 启动入口，不能直接调 asyncio.run() 或 trio.run()
• 所有协程启动（包括 anyio.create_task_group() 内部）都走 anyio 封装层，别裸调 asyncio.create_task()
• 跨运行时共享的资源（如 anyio.Event、anyio.Semaphore）可安全使用；但 asyncio.Queue 或 trio.MemorySendchannel 是禁区
• 性能影响：anyio 在 trio 下调度开销略低，在 asyncio 下需额外做事件循环适配，高并发 channel 通信时延迟可能多 5–10%

anyio.sleep() 在不同运行时的行为一致性

基本一致，但精度和中断响应有细微差别，尤其在短间隔（

使用场景：写跨运行时的重试逻辑、心跳间隔、限频等待——这时不能假设 sleep 一定精确唤醒。

立即学习“Python免费学习笔记（深入）”；

• anyio.sleep(0) 在 trio 中会主动让出控制权，在 asyncio 中效果等价于 await asyncio.sleep(0)，但某些旧版 asyncio（
• 若被取消，anyio.sleep() 总是抛 anyio.CancelledError，不会抛 asyncio.CancelledError 或 trio.Cancelled，这点可放心捕获
• 避免用 anyio.sleep() 实现亚毫秒级定时；需要高精度请改用运行时原生方案（并接受失去兼容性）

如何检测当前运行时是 asyncio 还是 trio

anyio 不提供公开的运行时探测 API，强行判断容易引发误判，正确做法是「按需适配」而非「先判后选」。

常见错误现象：代码里写 if anyio.get_current_runtime() == "trio" ——这个函数根本不存在，有人从调试堆栈里扒出私有属性硬用，结果在 anyio 4.0+ 直接报 AttributeError。

• 真正可靠的判断方式只有两种：try/except 捕获运行时特有异常（如 trio.RunFinishedError），或检查 sys.modules 是否含 "trio"（仅用于日志或诊断，不可控流）
• 如果必须差异化行为（比如要调用 trio.to_thread.run_sync() 的扩展能力），应把该逻辑封装成独立函数，并通过依赖注入或配置开关隔离，而不是在协程内部做运行时分支
• anyio 3.7+ 开始，anyio.current_effective_deadline() 返回值在不同运行时语义一致，这是少数可安全跨用的状态查询接口

anyio 的 cancel_scope 在 trio 下提前退出的坑

cancel_scope 的退出顺序在 trio 下更严格，稍不注意就会导致子任务未清理完就被强制终止。

使用场景：带超时的网络请求 + 清理逻辑（如关闭连接、释放锁）——这时清理协程是否执行完毕，取决于 cancel_scope 的嵌套层级和 await 位置。

• 在 trio 下，若 with anyio.CancelScope() as scope: 块内有未 await 的协程引用（比如忘了 await task.aclose()），scope 退出时可能跳过清理，而 asyncio 有时会宽容地多等一个 tick
• 务必在 __aexit__ 前显式 await 所有异步清理动作；不要依赖 finally 块里的裸 await，它可能被 cancel 中断
• 用 scope.cancel() 主动取消时，trio 要求被取消协程必须在下一个 checkpoint 处响应；如果里面写了阻塞 IO 或没加 await anyio.sleep(0)，就会卡住整个作用域退出

anyio 的兼容性不是靠自动兜底，而是靠约束使用边界。最常被忽略的是：以为用了 anyio 就能随便混用三方库的原生运行时类型——其实只要出现 asyncio.Task 或 trio.Nursery，就已经脱离 anyio 的保护范围了。