在Python开发中，我们经常需要一个特殊的“未设置”或“缺失”值来表示某个参数未被显式提供，这与None表示的“空值”概念不同。尤其在设计像partial_update这样的函数时，None可能具有业务含义（例如，将字段值设置为None），因此不能用作未提供参数的标记。此时，一个自定义的单例哨兵对象就显得尤为重要，它需要能够同时作为函数参数的默认值和类型提示的一部分。
我们的目标是创建一个名为NotSet的单例对象，使其行为类似于Python内置的None，即：
下面我们逐一分析几种常见的尝试和它们的局限性。
使用 None： 如前所述，None通常用于表示“空值”或“无值”，在许多业务场景中，将字段设置为None本身就是一种有效的操作。如果将其用于表示“未设置”，则会与业务逻辑冲突，导致无法区分“明确设置为None”和“未提供值”。
使用 Ellipsis (即 ...)：Ellipsis是一个内置的单例对象，在某些情况下可以作为哨兵值。然而，它存在以下问题：
立即学习“Python免费学习笔记（深入）”；
from types import EllipsisType
def partial_update_with_ellipsis(obj_field: int | None | EllipsisType = ...):
if obj_field is ...:
print("obj_field 未指定 (使用 Ellipsis)")
else:
print(f"obj_field 更新为: {obj_field}")
# 示例
partial_update_with_ellipsis() # obj_field 未指定 (使用 Ellipsis)
partial_update_with_ellipsis(None) # obj_field 更新为: None
partial_update_with_ellipsis(10) # obj_field 更新为: 10这是最常见且通常推荐的自定义单例模式。我们创建一个类来封装这个哨兵值。
class NotSetType:
_instance = None
def __new__(cls, *args, **kwargs):
if cls._instance is None:
cls._instance = super().__new__(cls, *args, **kwargs)
return cls._instance
def __repr__(self):
return "<NotSet>"
def __str__(self):
return "NotSet"
# 创建单例实例
NotSet = NotSetType()
class Client:
def partial_update(
self,
obj_id: int,
obj_field: int | None | NotSetType = NotSet, # 注意这里是 NotSetType
another_field: str | NotSetType = NotSet
):
print(f"处理对象 ID: {obj_id}")
if obj_field is NotSet:
print("obj_field 未显式指定，不更新。")
else:
print(f"obj_field 更新为: {obj_field}")
if another_field is NotSet:
print("another_field 未显式指定，不更新。")
else:
print(f"another_field 更新为: {another_field}")
# 示例
client = Client()
client.partial_update(1)
client.partial_update(2, obj_field=None)
client.partial_update(3, obj_field=5, another_field="hello")优点：
局限性：
为了实现NotSet既是值，又能在类型提示中直接使用NotSet本身（而不是NotSetType），我们需要让NotSet这个“值”的类型就是NotSet自身。这可以通过元类来实现，让类在创建时就返回其自身的实例。
class Meta(type):
def __new__(cls, name, bases, dct):
# 创建类对象
actual_class = super().__new__(cls, name, bases, dct)
# 返回类对象的实例作为该类本身
# 这一步使得 NotSet 既是类又是自己的实例
return actual_class()
# 定义 NotSet 类，使用 Meta 元类
# 注意：这里 NotSet 既是类名，也是最终的单例值
class NotSet(type, metaclass=Meta):
def __repr__(self):
return "<NotSet>"
def __str__(self):
return "NotSet"
def partial_update_advanced(
obj_field: int | None | NotSet = NotSet, # 现在可以直接使用 NotSet 作为类型提示
):
if obj_field is NotSet:
print('obj_field 未指定 (使用 NotSet)')
else:
print(f'obj_field 更新为: {obj_field}')
# 验证 NotSet 的特殊行为
print(f"NotSet: {NotSet}")
print(f"type(NotSet): {type(NotSet)}")
print(f"NotSet is type(NotSet): {NotSet is type(NotSet)}") # 预期为 True
# 示例
partial_update_advanced()
partial_update_advanced(None)
partial_update_advanced(4)优点：
局限性：
对于像partial_update这样的场景，如果字段数量较多且不固定，或者类型提示变得非常冗长，可以考虑使用**kwargs来接收所有待更新的字段。
class ObjectToUpdate:
def __init__(self, a=0, b=""):
self.a = a
self.b = b
def __repr__(self):
return f"ObjectToUpdate(a={self.a}, b='{self.b}')"
def partial_update_kwargs(obj: ObjectToUpdate, **kwargs):
print(f"更新前: {obj}")
for field, value in kwargs.items():
if hasattr(obj, field):
setattr(obj, field, value)
print(f" 更新字段 '{field}' 为 '{value}'")
else:
print(f" 警告: 对象没有字段 '{field}'")
print(f"更新后: {obj}")
# 示例
my_obj = ObjectToUpdate(a=1, b="original")
partial_update_kwargs(my_obj, a=10)
partial_update_kwargs(my_obj, b="new_value", c="extra") # c字段会被忽略
partial_update_kwargs(my_obj, a=None) # 明确设置为 None优点：
局限性：
在Python中创建同时作为类型和值的单例哨兵对象是一个有趣但具有挑战性的需求。
首选标准单例模式： 对于大多数应用场景，使用标准的单例类（如上述第2种方案）是最佳实践。它清晰、可维护，并且在运行时行为符合预期。尽管在类型提示中需要使用类名（NotSetType）而不是实例名（NotSet），但这通常是一个可以接受的折衷。清晰性和与静态类型检查器的良好兼容性通常比完美的语义统一更重要。
# 推荐的实现方式
class NotSetType:
_instance = None
def __new__(cls):
if cls._instance is None:
cls._instance = super().__new__(cls)
return cls._instance
def __repr__(self): return "<NotSet>"
def __str__(self): return "NotSet"
NotSet = NotSetType()
def my_function(param: int | None | NotSetType = NotSet):
if param is NotSet:
print("参数未提供")
else:
print(f"参数值为: {param}")谨慎使用元类方案： 基于元类的进阶方案（第3种）虽然能实现理论上最完美的语义统一，但其复杂性和与静态类型检查器（如Mypy）的兼容性问题，使其在生产环境中不常被推荐。除非你对类型系统有深入理解，并能接受潜在的类型检查警告，否则应避免使用。
`kwargs作为备选：** 当需要处理大量不确定字段的更新时，**kwargs`是一个简洁的选择。但请注意其在类型提示和可发现性方面的牺牲。
最终，选择哪种方案取决于项目的具体需求、团队对类型提示的严格程度以及对代码复杂度的接受程度。在大多数情况下，简洁、明确且与工具链兼容的方案（即标准单例模式）是更明智的选择。
以上就是Python中创建可同时作为类型和值的单例哨兵对象的详细内容，更多请关注php中文网其它相关文章！
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移，垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是，许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号
947
收藏
