Python 中不易察觉的有趣事实与底层机制解析

小整数池 (Small Integer Cache)

>>> a = 256
>>> b = 256
>>> a is b
True

>>> a = 257
>>> b = 257
>>> a is b
False

>>> a = 257; b = 257
>>> a is b
True

原理说明： Python 启动时，会在内存中预分配 -5 到 256 之间的整数对象。这些对象是单例的，因此在这个范围内，任何变量指向该数值时，is 都会返回 True。超出此范围的整数，每次赋值通常会创建新的对象，除非在同一行代码中被编译器优化合并。

3. is not 不是 is (not ...)

这是一个常见的语法陷阱。is not 是一个整体的二元运算符，具有特定的优先级，不能拆分为 is 和 not 的组合。

>>> 'something' is not None
True
>>> 'something' is (not None)
False

解析逻辑：

• is not 表示'不是同一个对象'，结果为 True。
• is (not None) 先计算 not None（结果为 True），然后判断 'something' is True，显然不相等。

4. 函数参数列表中的逗号

Python 对函数定义中的逗号有严格的语法规则，尾随逗号在某些情况下是允许的，但在特定位置会导致语法错误。

# 允许：普通参数后的尾随逗号
>>> def f(x, y,):
...     print(x, y)

# 允许：关键字参数后的尾随逗号
>>> def g(x=4, y=5,):
...     print(x, y)

# 错误：*args 或 **kwargs 前不能有尾随逗号
>>> def h(x, **kwargs,):
  File "<stdin>", line 1
    def h(x, **kwargs,):
                     ^
SyntaxError: invalid syntax

最佳实践： 建议在多行函数定义中使用尾随逗号，这有助于版本控制工具更清晰地识别变更（例如添加或删除最后一个参数时）。

5. 布尔值的可变性 (Python 2 vs 3)

在 Python 2 中，True 和 False 实际上是内置变量，可以被重新赋值。而在 Python 3 中，它们被设计为不可变的常量。

# Python 2 环境示例
>>> True = False
>>> if True == False:
...     print("I've lost faith in truth!")
I've lost faith in truth!

历史背景： 早期 Python 使用 0 表示假，非零表示真。后来引入了 bool 类型，为了保持向后兼容性，True 和 False 最初只是内置变量。Python 3 移除了这种兼容性包袱，修复了这个问题，因此在 Python 3.x 中执行上述代码会抛出 SyntaxError。

总结

理解 Python 的这些底层机制对于编写高效、健壮的代码至关重要。

1. 内存管理：了解字符串驻留和小整数池有助于优化内存使用。
2. 对象比较：明确 is 和 == 的区别，避免在比较可变对象时出错。
3. 语法规范：遵循正确的函数定义格式，减少不必要的语法错误。
4. 版本差异：注意 Python 2 与 3 在内置常量上的行为差异，确保代码的可移植性。

建议开发者参考官方文档或权威书籍（如《Fluent Python》）深入学习，避免因误解语言特性而踩坑。