Python 3.15 sentinel 怎么替代 object 占位：身份判断、类型收窄与序列化边界

在解析函数里，None 有时是合法业务值，object() 虽然能充当“参数未提供”的标记，却会把签名显示成一串难读的对象地址。Python 3.15 的 sentinel 提供了更明确的命名方式：用一个模块级对象代表缺省值，用 is 做身份判断，再让类型检查器识别这个单成员类型。需要注意的是，只有能从定义模块按名称找到的 sentinel，才适合进入 pickle 的跨边界数据。

sentinel 为什么比 object 占位更适合参数缺省值

旧代码常写 _MISSING = object()。它能保证身份唯一，但调试签名里的 repr() 往往带着对象地址，读者很难从输出看出它表示什么。PEP 661 为 Python 3.15 增加了内置可调用对象 sentinel，创建方式是一行代码：

MISSING = sentinel("MISSING")

def read_limit(limit: int | None | MISSING = MISSING) -> int:
    if limit is MISSING:
        return 100
    if limit is None:
        return 100
    return limit

MISSING 的短名称会成为 repr() 结果，__name__ 保存它的名字，__module__ 记录创建它的模块。每次调用 sentinel("MISSING") 都得到新对象，所以不要在默认参数、业务分支里重复创建；定义一次，再让所有调用点引用同一个 MISSING。

身份判断要用 is，别用 bool() 猜缺省状态

sentinel 默认是真值，这一点和 None 不同。下面这种写法会把“未提供”和“传入空字符串、0”混在一起：

if not value:
    use_default()

可靠的边界是显式比较身份：

if value is MISSING:
    use_default()
else:
    use(value)

如果参数允许 None，就分别处理 value is MISSING 和 value is None；如果 None 也是有效业务值，二者更不能依赖布尔值合并。PEP 661 还规定了复制行为：copy.copy(MISSING) is MISSING，但这不改变“共享定义对象”的工程约束。

类型收窄和 pickle 边界要分开处理

sentinel 的类型语义解决的是“分支之后变量是什么”，序列化语义解决的是“对象离开当前进程后还能不能找回原身份”。在支持 PEP 661 的类型检查器中，可以把 sentinel 直接放进联合类型：

from typing import assert_type

NotGiven = sentinel("NotGiven")

def normalize(value: int | NotGiven = NotGiven) -> int:
    if value is NotGiven:
        assert_type(value, NotGiven)
        return 100
    assert_type(value, int)
    return value

这里的 is NotGiven 不只是运行时判断，也是类型收窄的证据。声明名和 sentinel() 参数名要保持一致，避免让类型检查器无法识别单成员类型。生产代码还要把 NotGiven 放在模块全局，而不是藏在工厂函数的局部变量里。

需要跨任务队列或缓存边界时，再看 pickle：

import pickle

blob = pickle.dumps(NotGiven)
restored = pickle.loads(blob)
assert restored is NotGiven

这个身份保持依赖模块和名称都可导入：反序列化时，pickle 会按模块找到同名对象，得到可继续比较的恢复对象。局部创建、没有对应模块属性的 sentinel 不满足这个条件。不要把“类型检查通过”误当成“可以跨进程传输”，这正是两个边界。

常见问题：Python 3.15 sentinel 怎么落地

sentinel 能直接替代 None 吗？

不能简单替代。None 可能已经是业务输入，sentinel 的价值正是提供另一个独立身份；是否使用要看接口语义。

为什么不能写 sentinel("MISSING") == sentinel("MISSING")？

两次调用会创建两个对象。应在模块里保存一次，例如 MISSING = sentinel("MISSING")，后续统一比较 is MISSING。

局部 sentinel 可以 pickle 吗？

不能把它当成可导入单例使用。需要序列化时，把 sentinel 定义为模块级属性，并确保反序列化环境能导入该模块。

Python 3.14 项目可以直接写 sentinel 吗？

不能假定旧版本拥有这个内置对象。升级前先确认运行时版本，或保留兼容实现，并把类型检查和序列化行为单独验收。

实际迁移时，可以先把一个明确的“未提供”参数改成模块级 sentinel，再检查所有 bool() 判断、类型注解和队列边界。这样改动小，问题也容易定位：缺省语义看身份，类型语义看分支，跨进程语义看可导入性。