如何避免Python 3.11 TaskGroup在任务失败时取消全部任务？

我发现了Python 3.11的ExceptionGroup和TaskGroup等新特性，但对TaskGroup的以下行为感到困惑：当组内一个或多个任务失败时，其他正常任务会被取消，且无法修改该行为。示例代码如下：

async def f_error():
    raise ValueError()

async def f_normal(arg):
    print('starting', arg)
    await asyncio.sleep(1)
    print('ending', arg)


async with asyncio.TaskGroup() as tg:
    tg.create_task(f_normal(1))
    tg.create_task(f_normal(2))
    tg.create_task(f_error())

# 输出：
# starting 1
# starting 2
#----------
#< 此处为报错的回溯信息 >

上述示例中，无法打印出"ending 1"和"ending 2"。同时，若能有类似asyncio.gather(return_exceptions=True)的选项，让任务出错时不取消剩余任务会非常有用。

有人可能会说“不想用这种取消行为就别用TaskGroup”，但我希望使用新的exception groups特性，而它与TaskGroup紧密绑定。

因此我有两个问题：

1. 是否能在不采用TaskGroup这种全有或全无取消策略的情况下，使用asyncio中的exception groups？
2. 如果答案是否定的：Python开发者为何在TaskGroup API中移除了禁用取消的可能性？

1. 可以脱离TaskGroup的默认取消策略使用ExceptionGroup #

完全可以手动创建并抛出ExceptionGroup，不需要依赖TaskGroup的自动取消逻辑。比如结合asyncio.gather(return_exceptions=True)收集所有任务结果，再将异常包装成ExceptionGroup抛出：

import asyncio

async def f_error():
    raise ValueError()

async def f_normal(arg):
    print('starting', arg)
    await asyncio.sleep(1)
    print('ending', arg)
    return arg

async def main():
    tasks = [
        asyncio.create_task(f_normal(1)),
        asyncio.create_task(f_normal(2)),
        asyncio.create_task(f_error()),
    ]
    results = await asyncio.gather(*tasks, return_exceptions=True)
    
    # 筛选所有异常并包装成ExceptionGroup
    exceptions = [res for res in results if isinstance(res, Exception)]
    if exceptions:
        raise ExceptionGroup("任务执行出现异常", exceptions)

asyncio.run(main())

这段代码会让所有任务执行完毕（正常打印"ending 1"和"ending 2"），最后将收集到的异常统一用ExceptionGroup抛出，既保留了ExceptionGroup的特性，又规避了TaskGroup的自动取消行为。你也可以手动管理任务生命周期，逐个await任务并收集异常，最后手动构建ExceptionGroup，完全自主控制逻辑。

2. TaskGroup未提供禁用取消的选项，是源于结构化并发的核心设计 #

TaskGroup的核心定位是实现结构化并发，其设计理念是：一组任务作为一个整体单元，要么全部成功完成，要么在出现故障时尽快取消所有未完成任务，避免产生“僵尸任务”或资源泄漏。这种“全有或全无”的取消策略是结构化并发模型的关键特性，目的是简化异步代码的错误处理和资源管理。

Python核心开发者在设计TaskGroup时，刻意不提供禁用取消的选项，是为了维护结构化并发的语义一致性。如果允许随意关闭取消机制，就违背了TaskGroup的设计初衷——它就是为了让开发者无需手动处理任务间的取消协作，自动保证任务组的整体性。

如果需要更灵活的任务调度（比如允许部分任务失败而其他任务继续执行），asyncio.gather或手动任务管理本来就是更合适的选择，而TaskGroup则是针对需要强一致性、整体性的场景设计的。

内容的提问来源于stack exchange，提问作者Anton M.