Python 常量折叠原理与实现机制

输出示例：

  2   0 LOAD_CONST       1 (12)      # 3+4+5 直接变 12
      2 STORE_FAST       0 (x)
  3   4 LOAD_CONST       2 ('helloworld')  # 字符串拼接完成
      6 STORE_FAST       1 (y)

四、实验验证

1. 数字折叠

print(42 is 42)          # True（小整数池 -5~256）
print(666 is 666)        # 视情况而定
print(3.14 is 3.14)      # 可能 True 或 False

2. 字符串驻留

s1 = "hi"
s2 = "hi"
print(s1 is s2)          # True

long1 = "a" * 4097
long2 = "a" * 4097
print(long1 is long2)    # False（过长不驻留）

3. 元组折叠

t1 = (1, 2)
t2 = (1, 2)
print(t1 is t2)          # 通常 True

t3 = (1, [2, 3])
t4 = (1, [2, 3])
print(t3 is t4)          # False（含可变元素）

五、性能影响

常量折叠能减小 .pyc 文件大小，加快启动速度，节省内存。

import timeit

def calculate_unoptimized():
    result = 0
    for i in range(1000):
        result += i * 2 + 3 - 1
    return result

def calculate_optimized():
    result = 0
    for i in range(1000):
        result += i * 2 + 2  # 3-1 被提前计算
    return result

六、最佳实践

1. 比较方式：写代码时用 == 比较内容，谨慎用 is 比较身份。
2. 性能优化：性能敏感时使用不可变对象，利用编译器优化。
3. 调试注意：id() 显示的是对象地址，同一对象可能有多个引用指向同一 ID。
4. 避免依赖：不要依赖 is 比较字面量，不要写 if x is 1000:，部分折叠规则属于实现细节。

七、总结

常量折叠的本质是在安全性和性能之间取得平衡。

1. 可变对象绝不折叠（安全第一）
2. 不可变对象可能折叠（性能第二）
3. 具体规则属于实现细节（第三）

注：基于 CPython 3.8+，其他实现（PyPy 等）行为可能不同。