python 类型检查器（如 mypy）不支持直接用变量实例作为返回类型注解，但可通过 `literal[enummember]` 结合枚举实现语义等价的单例实例级类型推导，使 `is` 判断触发精准类型窄化。
在 Python 类型系统中，函数返回类型注解必须是类型表达式（如 int、str、Literal["x"]），而不能是运行时变量（如 my_marker）。因此，像 -> int | my_marker 或 -> int | Literal[my_marker]（其中 my_marker 是普通变量）均会报错——前者语法非法，后者因 my_marker 非编译期常量，Literal 无法求值。
✅ 正确解法：将单例值封装为 枚举成员（Enum），再通过 Literal[EnumMember] 注解。枚举成员在类型层面被视为“不可变字面量”，mypy 能识别其唯一性，并在 is 比较后自动完成类型窄化。
以下为完整可运行示例：
from typing import Literal, Union
from enum import Enum
import random
class SingletonMarker(Enum):
# 枚举值即为运行时单例对象（支持字符串、类实例等任意不可变值）
SENTINEL = "This is very singletony, I promise!"
def get_object_or_singleton() -> Union[int, Literal[SingletonMarker.SENTINEL]]:
if random.random() < 0.5:
return 42
else:
return SingletonMarker.SENTINEL
result = get_object_or_singleton()
if result is not SingletonMarker.SENTINEL:
# ✅ 此处 result 的类型被窄化为 int
# IDE 和 mypy 均能正确推断：result + 1 是合法的
print(result + 1) # no type error
else:
# ✅ 此处 result 的类型被窄化为 Literal[SingletonMarker.SENTINEL]
print("Got sentinel")? 关键要点：
立即学习“Python免费学习笔记（深入）”；
- 枚举成员（如 SingletonMarker.SENTINEL）是运行时真实对象，也是编译期可识别的字面量类型；
- Literal[SingletonMarker.SENTINEL] 不是类型 SingletonMarker，而是该特定枚举实例的精确类型；
- is 运算符是 mypy 支持的类型守卫（type guard）之一，配合 Literal[...] 可触发精确分支窄化；
- 若单例是自定义类实例（如 MySingleton()），可将其设为枚举值：INSTANCE = MySingleton()，只要该实例在模块加载时创建且不可变即可。
⚠️ 注意事项：
- 普通字符串/数字变量（如 MARKER = "x"）无法用于 Literal[MARKER]，因其非编译期常量；
- 避免使用 type[...] 或 Type[...]——它们表示“类型本身”，而非“某个具体实例”；
- TypeGuard 虽灵活，但需额外函数调用（如 if is_not_sentinel(x):），违背“保持 is 语法”的初衷；本方案零侵入、零运行时开销。
综上，通过 Enum + Literal[EnumMember] 组合，你既能声明函数返回「某个确定的实例」，又能获得类型检查器对 is 判断的智能窄化支持——这是目前最简洁、标准且广泛兼容（mypy、pyright、PyCharm）的实践方案。
