none 是 python 中 nonetype 类型的唯一单例对象,内存中仅存一份,所有 none 引用同一地址;它是内置常量而非关键字,不可变、不可子类化、不可修改。

None 是 Python 中一个特殊的单例对象,类型为 NoneType,在底层由 CPython 实现为一个固定的全局静态对象,内存中只存在一份。
None 的本质是一个单例对象
Python 中所有地方的 None 都指向同一个内存地址。它不是关键字,而是一个内置常量(built-in constant),属于 NoneType 类型的唯一实例:
- 调用
type(None)返回<class></class> -
None is None恒为True,因为是同一对象的引用比较 -
id(None)在同一解释器生命周期内始终不变
CPython 底层实现简析
在 CPython 源码中(Objects/noneobject.c),None 被定义为一个全局的、静态初始化的 PyNoneObject 结构体:
- 它本质上是一个轻量级的 PyObject,不携带额外数据
- 其
ob_refcnt(引用计数)在解释器启动时设为 1,并随使用递增,永不减为 0(防止被回收) - 没有
__new__或__init__方法,无法被用户重新创建或继承
None 的常见用途与注意事项
None 主要用于表示“无值”、“未定义”或“空占位”,但需注意语义边界:
- 函数无显式返回时默认返回
None,不是“没返回”,而是明确返回了这个对象 - 不等于
False、0、空字符串或空列表,但布尔上下文中为False - 判空应优先用
is None而非== None,避免被自定义__eq__干扰 - 不能对
None调用方法或索引,否则触发AttributeError或TypeError
None 不可变且不可子类化
出于设计一致性与性能考虑,CPython 明确禁止对 None 进行任何修改或扩展:
-
None.x = 1报TypeError: 'NoneType' object is not subscriptable(实际是不可赋值属性) -
class A(type(None)):会报TypeError: type 'NoneType' is not an acceptable base type - 甚至
None.__class__ = int也会失败,因其类型对象被标记为不可变
Python免费学习笔记(深入):立即使用
在学习笔记中,你将探索 Python 的核心概念和高级技巧!











