Python使用Union类型触发mypy类型不兼容报错的其他解决方案有哪些？

报错核心原因 #

你通过逻辑分支排除了ham为Default类型的可能，但当前版本mypy对「类本身作为哨兵值」的场景类型收窄能力有限，无法识别该分支带来的类型范围收缩，因此报错。

可行替代方案 #

• 方案1：使用@overload重载函数签名
  这种方案是类型层面最规范的实现，同时还能优化调用方的类型提示体验，示例代码如下：

from typing import Union, overload


class Default:
    """默认参数占位符"""


@overload
def spam() -> None: ...
@overload
def spam(ham: Union[list[str], None]) -> None: ...
def spam(ham: Union[list[str], None, type[Default]] = Default):
    if ham is Default:
        ham = ['prosciutto', 'jamon']
    if ham is None:
        print('Eggs?')
    else:
        print(f'{len(ham)} ham(s).')

• 方案2：改用单例实例作为哨兵值
  将原本的类哨兵改为类实例哨兵，配合isinstance判断，mypy对实例类型的收窄支持更成熟，无需额外的断言或类型转换：

from typing import Union


class Default:
    """默认参数占位符"""
# 单例哨兵实例
_DEFAULT_SENTINEL = Default()


def spam(ham: Union[list[str], None, Default] = _DEFAULT_SENTINEL):
    if isinstance(ham, Default):
        ham = ['prosciutto', 'jamon']
    if ham is None:
        print('Eggs?')
    else:
        print(f'{len(ham)} ham(s).')

• 方案3：使用match-case语法（Python 3.10+）
  如果你使用的是Python 3.10及以上版本，可以用match-case结构做分支判断，mypy对该结构的类型收窄处理非常精准：

from typing import Union


class Default:
    """默认参数占位符"""


def spam(ham: Union[list[str], None, type[Default]] = Default):
    match ham:
        case Default:
            ham = ['prosciutto', 'jamon']
        case None:
            print('Eggs?')
            return
    print(f'{len(ham)} ham(s).')

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