如何在MyPy中声明兼具函数与过程特性的main函数

你遇到的问题其实是MyPy对返回类型的严格检查和代码简洁性之间的矛盾——我们既想准确标注main()可能返回int或None，又不想在无返回逻辑时冗余写return None，同时还要保证后续修改返回逻辑时不用调整类型注解。下面是几个可行的方案：

方案1：用# type: ignore跳过返回检查（推荐，兼顾简洁与类型安全） #

使用Optional[int]（Python 3.10+也可以用int | None）作为返回类型，然后在函数末尾添加# type: ignore[return]注释，告诉MyPy忽略当前路径缺少return语句的警告。这样既保留了准确的类型注解，又避免了冗余代码：

from typing import List, Optional

def main(argv: List[str]) -> Optional[int]:
    print("执行操作...")
    # type: ignore[return]

这个方案的好处是：

• 类型注解准确，MyPy会检测意外返回的非int/None类型（比如不小心返回了字符串）
• 后续给main()添加return 0这类返回退出码的逻辑时，完全不需要修改类型声明
• 代码简洁，没有多余的return None

方案2：接受冗余的return None（最规范，无注释依赖） #

如果不想用类型忽略注释，最稳妥的方式就是在无返回逻辑的main()末尾加上return None。虽然看起来有点冗余，但这是符合Python语法和MyPy规范的写法：

from typing import List, Optional

def main(argv: List[str]) -> Optional[int]:
    print("执行操作...")
    return None

这种写法的优势是完全依赖类型系统本身，不需要额外注释，团队协作时不会有理解成本，后续修改返回逻辑也不用调整类型注解。

为什么其他方案不可行？ #

• 方案1/2（Optional[int]/Union[int, None]）不加处理会触发MyPy警告，因为MyPy要求所有代码路径都返回符合类型声明的值
• 方案3的return不带值会被Python语法判定为错误，同时MyPy也会提示需要返回对应类型的值
• 方案5的Any过于宽泛，会失去类型检查的意义，无法检测错误的返回类型

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