Python是否应允许无except的try-else？现有代码如何优化？

问题场景 #

我原本想编写这样的代码（is_invalid和work为内联实现的函数）：

unfinished_tasks = 0
async def worker(task):
    nonlocal unfinished_tasks
    unfinished_tasks += 1
    try:
        if is_invalid(task):
            return None
        result = work(task)
        if is_error(result):
            raise Exception()
        return result
    else:
        unfinished_tasks -= 1

但Python不允许单独写try-else结构——else分支必须搭配except分支（try-else-finally同样不可行）。这里的需求是：当try块无异常退出时（包括return、break或正常执行完代码路径），执行特定代码。

一、Python是否应允许无except的try-else？ #

Python当前语法规则明确要求try块后必须紧跟至少一个except或finally分支，else不能单独存在。这一设计是为了明确异常处理的边界：else的语义是“当try块没有触发任何异常时执行”，若没有except分支，Python会认为这种结构的意图不清晰。

从实际需求看，确实存在“仅需在无异常退出时执行代码”的场景，但Python官方目前没有修改这一语法规则的计划，因为这类需求可以通过其他更清晰的写法替代。

二、更优写法 #

你当前使用except None: raise的写法虽能实现需求，但可读性较差，以下是几种更清晰的替代方案：

方案1：调整逻辑使用finally分支（适用于无论是否异常都需执行的场景） #

如果unfinished_tasks -= 1需要在任何退出场景下都执行，直接用finally是最优解：

unfinished_tasks = 0
async def worker(task):
    nonlocal unfinished_tasks
    unfinished_tasks += 1
    try:
        if is_invalid(task):
            return None
        result = work(task)
        if is_error(result):
            raise Exception()
        return result
    finally:
        unfinished_tasks -= 1

注意：若需求是仅无异常退出时才执行，此方案不适用。

方案2：用标志变量跟踪异常状态 #

通过布尔变量标记try块内是否触发异常，在后续逻辑中判断执行：

unfinished_tasks = 0
async def worker(task):
    nonlocal unfinished_tasks
    unfinished_tasks += 1
    has_exception = False
    try:
        if is_invalid(task):
            return None
        result = work(task)
        if is_error(result):
            raise Exception()
        return result
    except Exception:
        has_exception = True
        raise  # 重新抛出异常
    finally:
        if not has_exception:
            unfinished_tasks -= 1

这种写法意图清晰，能明确区分“无异常退出”才执行的逻辑。

方案3：拆分核心逻辑到辅助函数 #

把try块内的业务逻辑抽成独立函数，简化try-except-else结构：

unfinished_tasks = 0

async def _process_task(task):
    if is_invalid(task):
        return None
    result = work(task)
    if is_error(result):
        raise Exception()
    return result

async def worker(task):
    nonlocal unfinished_tasks
    unfinished_tasks += 1
    try:
        return await _process_task(task)
    except Exception:
        raise
    else:
        unfinished_tasks -= 1

通过辅助函数分离业务逻辑，让try块更简洁，同时合法使用else分支。

方案4：自定义上下文管理器（适用于逻辑复用场景） #

如果这类计数逻辑需要在多个地方使用，可以封装成上下文管理器：

from contextlib import contextmanager

unfinished_tasks = 0

@contextmanager
def track_unfinished():
    global unfinished_tasks
    unfinished_tasks += 1
    try:
        yield
    except:
        raise
    else:
        unfinished_tasks -= 1

async def worker(task):
    with track_unfinished():
        if is_invalid(task):
            return None
        result = work(task)
        if is_error(result):
            raise Exception()
        return result

这种方式把计数逻辑封装起来，业务代码更简洁易读。

内容的提问来源于stack exchange，提问作者Ariakenom