Python源码编译疑问：大整数预创建与字节码差异

问题场景 #

• 示例1：函数内执行x=1，通过dis.dis()查看字节码，显示使用LOAD_CONST加载预创建的单例整数1，符合预期。
• 示例2：函数内执行x=10**32，dis.dis()未出现算术运算指令，调用sys.getrefcount(10**32)返回4，说明该大整数已提前存在，与官方文档中-5到256的预创建整数范围不符。
• 示例3：函数内执行x=10**33，dis.dis()显示BINARY_OP运算指令，sys.getrefcount(10**33)返回1，说明该整数为运行时动态创建。

核心疑问与解答 #

1. 为何示例2的函数字节码中无算术运算指令？ #

这是Python编译器的**常量折叠（constant folding）**优化导致的。当代码中出现由字面量和无副作用运算符组成的常量表达式时，Python在将源码编译为字节码的阶段，就会直接计算出表达式的结果，把原表达式替换成最终的常量值。10**32属于这类可求值的常量表达式，因此编译后的字节码只需要通过LOAD_CONST加载预计算好的整数，无需在运行时执行算术运算。

2. 编译器如何在执行前知晓结果已存在？ #

不是解释器运行时提前创建对象，而是编译阶段就完成了常量表达式的求值。Python编译函数代码时，会遍历所有常量表达式，对符合条件的（无副作用、仅由字面量和内置运算组成）进行计算，将结果存入函数的常量池（__code__.co_consts）。运行时解释器直接从常量池中加载对象，不需要再执行运算逻辑。

3. 为何10**32这类超范围大整数会被“预创建”？ #

官方文档提到的-5到256是解释器启动时预初始化的小整数池，而10**32属于编译阶段通过常量折叠生成的常量，它被存储在函数的常量池中，不属于小整数池的范畴。sys.getrefcount()返回4，是因为该常量被函数常量池、编译过程中的临时对象、getrefcount的参数引用等多重引用导致的，和小整数池的全局预创建不是同一机制。

至于10**33没有被常量折叠，是因为Python的常量折叠有阈值限制——对于整数幂运算，当结果的位数超过一定长度（不同版本阈值略有差异），编译器会停止这类优化，避免在编译阶段消耗过多计算资源，因此运行时需要动态计算该值。

内容的提问来源于stack exchange，提问作者Ekin Kılıçdere