Python 3.12 Key Words -True、False、None在 Python 的 35 个硬关键字中True、False和None属于内置常量。它们不是普通的变量而是语言本身定义的单例对象分别代表布尔真、布尔假和“空值”。理解这三个常量是掌握 Python 逻辑判断、条件控制、函数返回值以及对象生命周期的基石。本文将从语法、用法、底层实现、常见陷阱及最佳实践等方面以大量示例和逐行解析带你彻底吃透这三个关键字。一、概述常量 vs 关键字True、False、None在 Python 中既是关键字保留字也是内置常量。与if、for等控制流关键字不同它们代表具体的对象。你无法对它们赋值会引发SyntaxError因为它们是语言硬编码的。True和False是bool类型的仅有两个实例。None是NoneType类型的唯一实例。这些常量在 Python 启动时被创建并一直存在直到解释器退出。二、True与False布尔世界的两极2.1 定义与类型True和False是布尔对象用于表示逻辑真和假。在 Python 中bool是int的子类因此True等价于1False等价于0。这一设计保证了与旧代码早期 Python 用整数 0/1 表示布尔值的兼容性。type(True)classboolisinstance(True,int)TrueTrue1TrueFalse0TrueTrueTrue# 算术运算中当作 112为什么bool是int的子类在 Python 2.2 之前没有独立的布尔类型直接用整数 0/1 表示真假。引入bool时为了不破坏现有代码例如依赖True 1的代码将bool设计为int的子类。这样True和False可以参与算术运算但同时也带来了一个微妙问题True is 1为False因为它们是不同对象而True 1为True。2.2 布尔上下文与真值测试在条件表达式如if、while、and/or操作符中任何 Python 对象都可以被隐式转换为布尔值称为“真值测试”。转换规则如下以下情况被视为False布尔False本身None数字零0,0.0,0j空序列/集合,[],(),{},set(),range(0)自定义类中如果实现了__bool__()且返回False或者未实现__bool__但实现了__len__()且返回0则视为假。其他所有值都被视为True。# 示例各种对象的布尔值print(bool(0))# Falseprint(bool(1))# Trueprint(bool([]))# Falseprint(bool([1,2]))# Trueprint(bool())# Falseprint(bool(hello))# Trueprint(bool(None))# False为什么这样设计这种隐式转换使得代码非常简洁例如if items:可以直接判断列表是否为空而不必if len(items) 0:。2.3 逻辑运算符的短路行为Python 中的逻辑运算符and、or、not基于布尔值工作但它们的返回值不一定是布尔值而是操作数本身。这种设计称为短路求值。x and y如果x为假返回x否则返回y。x or y如果x为真返回x否则返回y。not x总是返回布尔值True或False。# 短路 or返回第一个真值nameinput(Enter name: )orAnonymousprint(fHello,{name})# 短路 and如果第一个为假则直接返回不计算第二个defsafe_divide(a,b):returnb!0anda/b# 若 b0 则返回 False不会触发 ZeroDivisionErrorresultsafe_divide(10,0)print(result)# False逐行解析input()可能返回空字符串假值此时or返回Anonymous。safe_divide中b ! 0为False因此and直接返回False不会计算a / b避免了异常。为什么这样写这种模式常用于设置默认值、避免异常、链式条件等使代码更紧凑。2.4vsis的区别比较值是否相等。is比较对象身份内存地址是否相同。由于True和1值相等但对象不同所以True 1为TrueTrue is 1为False。aTrueb1print(ab)# Trueprint(aisb)# False最佳实践判断布尔常量时直接使用if x:或if not x:不需要显式比较True/False。仅当需要区分None、0、False时才使用is。# 推荐写法ifx:# 隐式真值测试...# 不推荐冗余ifxisTrue:...2.5 底层实现CPython 中的bool对象在 CPython 源码中True和False是全局单例对象定义在Objects/boolobject.c中。它们分别是PyBool_Type的两个实例/* 简化的源码结构 */PyObject _Py_FalseStruct{_PyObject_HEAD_INIT(PyBool_Type)0};PyObject _Py_TrueStruct{_PyObject_HEAD_INIT(PyBool_Type)1};_Py_TrueStruct和_Py_FalseStruct是静态分配的PyObject实例。它们的类型都是PyBool_Type该类型定义了bool的行为如__repr__返回True/False算术运算时转换为整数等。由于是单例所有对True的引用都指向同一个对象因此True is True永远为True。三、None虚无的化身3.1 定义与用途None是NoneType类型的唯一实例表示“没有值”、“空”或“缺失”。它通常用于函数没有显式return时默认返回None。作为可选参数的默认值表示参数未被提供。作为哨兵值表示某种特殊状态如“未找到”。deffunc():passprint(func())# Nonedeffind(lst,target):fori,vinenumerate(lst):ifvtarget:returnireturnNone# 明确返回 None 表示未找到3.2None的比较永远使用is由于None是单例对象推荐使用is或is not进行比较而不是。原因有二效率is直接比较指针比快可能触发__eq__方法。正确性某些对象可能重写__eq__导致obj None返回意外结果而obj is None不受影响。xNoneifxisNone:# 正确print(x is None)ifxNone:# 不推荐但也能工作因为 None 的 __eq__ 实现正确print(same)注意在 Python 中None的__eq__方法被实现为只与自身比较返回True与其他任何对象比较返回False。因此x None实际上也能正确工作但官方文档和 PEP 8 都建议使用is。3.3 经典陷阱可变默认参数这是 Python 新手最容易犯的错误之一使用可变对象作为函数默认参数。# 错误示例defappend_to_list(value,target[]):target.append(value)returntargetprint(append_to_list(1))# [1]print(append_to_list(2))# [1, 2] ← 意外默认列表被共享了原因默认参数在函数定义时被创建并且只创建一次之后每次调用如果不提供该参数都会使用同一个列表对象。正确做法使用None作为哨兵在函数体内创建新列表。defappend_to_list(value,targetNone):iftargetisNone:target[]target.append(value)returntargetprint(append_to_list(1))# [1]print(append_to_list(2))# [2]逐行解析参数target默认值为None。在函数内部判断if target is None如果是则创建一个新的空列表。这样就保证了每次调用未提供target时都会得到一个全新的列表。为什么这样写这是 Python 中处理可变默认参数的标准模式避免了意外的状态共享。3.4 底层实现Py_None单例在 CPython 源码中None是一个全局单例对象定义在Objects/object.cPyObject _Py_NoneStruct{_PyObject_HEAD_INIT(PyNone_Type)};_Py_NoneStruct是静态分配的PyObject实例。它的类型是PyNone_Type该类型定义了None的行为如__repr__返回None。所有对None的引用都指向这个对象因此None is None永远为True。四、综合示例与逐行解析示例 1布尔运算与短路求值# 定义两个变量a10b0# and 运算result_andaandb# a 为真所以返回 bprint(result_and)# 输出 0# or 运算result_oraorb# a 为真短路返回 aprint(result_or)# 输出 10# not 运算print(nota)# Falseprint(notb)# True逐行解析a and b由于a非零真and返回第二个操作数b即0。a or b由于a为真or短路返回第一个真值a即10。not aa为真取反得False。not bb为假0取反得True。应用场景设置默认值、条件链等。示例 2使用None作为哨兵值deffind_first(seq,predicate):返回 seq 中第一个满足 predicate 的元素若没有则返回 Noneforiteminseq:ifpredicate(item):returnitemreturnNonenumbers[1,3,5,7,9]resultfind_first(numbers,lambdax:x5)ifresultisnotNone:print(fFound:{result})else:print(Not found)逐行解析函数find_first遍历seq当predicate(item)为真时返回该元素。如果遍历完都没找到返回None。调用方使用result is not None判断是否找到。注意不能简单用if result因为当找到的元素本身为0、False或空序列时if result也会为假导致误判。为什么这样写None作为哨兵值能够明确区分“未找到”和“找到了一个假值元素”。示例 3布尔值参与算术理解但不推荐count0foriinrange(10):count(i%20)# 偶数条件为 True加 1奇数加 0print(count)# 输出 5逐行解析(i % 2 0)返回布尔值但布尔值可被当作整数1或0使用。因此count累加了偶数的个数结果为 5。为什么这样写利用了True/False与1/0的等价性代码简洁但可读性较差。建议显式写if i % 2 0: count 1。示例 4None与可变默认参数的正确用法classProcessor:def__init__(self,optionsNone):ifoptionsisNone:options{}self.optionsoptions self.data[]p1Processor()p2Processor()p1.options[key]valueprint(p2.options)# {}互不影响逐行解析__init__中options默认值为None。如果调用时未提供options则在方法内创建一个新的空字典。这样每个实例都有自己的options字典不会相互干扰。为什么这样写避免了options{}作为默认参数导致所有实例共享同一个字典的陷阱。五、常见误区与注意事项5.1 不要直接比较布尔值# 不推荐ifxTrue:...# 推荐ifx:...5.2 不要用is比较数值或字符串# 错误依赖小整数缓存-5 到 256a1000b1000print(aisb)# True 可能是 False取决于 1000 在不在缓存范围内# 正确用 print(ab)# True5.3None不是空字符串、0 或空列表ifnotx:# 当 x 是 None、0、空字符串等时都成立passifxisNone:# 仅当 x 是 None 时成立pass5.4 不要修改True、False、None实际上不能TrueFalse# SyntaxError: cannot assign to TrueNone0# SyntaxError: cannot assign to None六、总结关键字类型单例用途推荐比较方式Truebool是表示真直接用于条件Falsebool是表示假直接用于条件NoneNoneType是表示空值、缺失is None/is not NoneTrue、False、None是 Python 中不可变且唯一的常量使用is比较None是最佳实践而布尔常量直接用于条件表达式。理解它们在底层作为单例对象的实现有助于写出高效且正确的代码。掌握可变默认参数的None哨兵模式可以避免难以追踪的 bug。利用布尔值的短路求值特性可以简化代码但要注意可读性。掌握这三个关键字是迈向 Python 高级编程的第一步。下一篇我们将继续解析逻辑与成员运算符and、or、not、in、is。希望本文能帮助你打下坚实的基础。如果在学习过程中遇到问题欢迎在评论区留言讨论!