python 类型检查器（如 mypy）默认不支持直接用运行时实例作为类型注解，但可通过 `literal` 结合 `enum` 成员实现对单例对象的精确类型标注，并在 `is` 判断后自动完成类型窄化。
在 Python 类型提示中，函数返回类型必须是类型表达式（如 int、str、Literal["x"]），而不能是运行时变量（如 my_marker）。你希望当函数返回一个特定单例对象（例如某个唯一字符串或类实例）时，类型检查器能识别该具体值，并在后续 if a_var is not my_marker: 语句中，将 a_var 的类型从联合类型（如 int | MyMarker.MARKER）精确窄化为 int——这正是类型系统中“值级类型窄化”（value-based narrowing）的关键需求。
直接使用 Literal[my_marker] 会失败，因为 my_marker 是变量而非编译期常量；而 type[my_marker] 或 Type[MyClass] 表示的是“类型本身”，不是该类型的某个具体实例，无法触发基于 is 的窄化逻辑。
✅ 正确解法：将单例对象定义为 Enum 成员，并用 Literal[EnumMember] 注解：
from typing import Literal, Union
from enum import Enum
from random import random
class MyMarker(Enum):
# 使用枚举成员承载单例语义，其值在类型检查期可被静态解析
SINGLETON = "This is very singletony, I promise!"
def get_object_or_a_singleton_marker() -> Union[int, Literal[MyMarker.SINGLETON]]:
if random() < 0.5:
return 42
else:
return MyMarker.SINGLETON
a_var = get_object_or_a_singleton_marker()
if a_var is not MyMarker.SINGLETON:
# ✅ 此处 mypy 能正确推断 a_var: int
reveal_type(a_var) # → Revealed type is "builtins.int"
result = a_var + 10 # 类型安全：int 支持加法? 为什么 Enum 成员可行？Enum 成员（如 MyMarker.SINGLETON）在类型检查期被视为字面量常量（literal constant），Literal[MyMarker.SINGLETON] 等价于 Literal["This is very singletony, I promise!"]，且保留了唯一性语义。mypy 和 Pyright 均支持对 Enum 成员的 is/is not 判断进行类型窄化。
⚠️ 注意事项：
- 不要使用 @unique 强制枚举唯一性——此处我们依赖的是单个成员的值唯一性，而非枚举项名唯一；
- 若单例是自定义类实例（如 class Sentinel: pass; SENTINEL = Sentinel()），推荐改用 enum.Enum 或 enum.Flag 封装，避免 object() 等无意义实例带来的类型歧义；
- Literal[...] 中仅支持编译期可确定的字面量（str, int, bool, None, Enum 成员），不支持普通变量或动态构造值；
- 该方案完全兼容 if ... is not ... 语法，无需额外 TypeGuard 函数或运行时装饰器，零运行时开销。
总结：通过 Enum + Literal[EnumMember] 的组合，你既能保持简洁直观的 is 判断风格，又能获得精准的静态类型窄化能力——这是目前在标准类型系统中实现“实例级类型标注”的最实用、最广泛支持的模式。
