Python中如何定义仅含MyClass与False的Union返回类型？

方案1：用Literal[False]精确标注返回类型 #

Python 3.8+ 引入的typing.Literal（Python 3.10+ 可直接从标准库使用）能精确指定函数返回值是MyClass实例或字面量False，而非任意布尔值。类型检查器可识别这种精确标注，明确if not value已排除False情况，剩余值必然是MyClass实例。

修改函数类型提示：

from typing import Literal

def myfunction(zap: SomeType) -> MyClass | Literal[False]:
    # 函数逻辑实现

调用代码无需改动，类型检查器就不会再报someattribute不存在的错误。

方案2：添加类型断言 #

若受限于Python版本无法使用Literal，可在调用处通过类型断言明确告知检查器变量类型：

方式A：使用assert #

value = myfunction(dadada)
if not value:
    return None
assert isinstance(value, MyClass)  # 明确value为MyClass类型
if value.someattribute > 1:
   ...

方式B：使用typing.cast #

from typing import cast

value = myfunction(dadada)
if not value:
    return None
value = cast(MyClass, value)  # 强制指定类型提示
if value.someattribute > 1:
   ...

这种方式无需修改函数的类型提示，仅在调用处补充类型信息即可。

方案3：改用精确的类型判断逻辑 #

如果不想调整函数标注或使用断言，可将调用处的判断逻辑改为直接检查类型：

value = myfunction(dadada)
if not isinstance(value, MyClass):
    return None
if value.someattribute > 1:
   ...

isinstance判断后，类型检查器能直接识别value为MyClass实例，不会再报错。该逻辑和原if not value等价（因为函数返回的布尔值仅可能是False）。

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