能否用静态编译同款路径动态编译Python源码生成一致字节码？

为啥会有这差异？ #

Python 3.11之后引入了自适应字节码生成机制，静态导入模块时的编译逻辑和eval/exec这类动态编译完全不同。模块编译会针对模块级代码做特定优化（比如属性访问的字节码选择策略），而动态编译默认采用交互式代码的编译规则，最终生成的字节码自然存在差异。

两种可行的解决办法 #

办法1：用compile()模拟模块级编译 #

通过给compile()指定模块相关参数，让动态代码按模块的规则编译：

import dis
import time

# 把lambda写成赋值语句，方便exec后获取对象
source_code = "f = lambda: time.ctime()"

# 核心参数：filename设为模块格式文件名，mode用exec，dont_inherit=True避免继承当前环境编译标志
compiled_code = compile(
    source_code,
    filename="fake_module.py",  # 假装是模块文件，触发模块级编译逻辑
    mode="exec",
    dont_inherit=True
)

# 执行编译后的代码，拿到lambda对象
namespace = {}
exec(compiled_code, namespace)
f_dynamic = namespace['f']

# 对比字节码，会发现和静态导入的完全一致
dis.dis(f_at_import := lambda: time.ctime())
dis.dis(f_dynamic)

办法2：用importlib模拟模块导入 #

直接把动态代码做成临时模块导入，完全复用静态导入的编译流程：

import dis
import time
import importlib.util
import tempfile
import os

# 创建临时py文件写入代码
with tempfile.NamedTemporaryFile(mode='w', suffix='.py', delete=False) as temp_file:
    temp_file.write("f = lambda: time.ctime()")
    temp_path = temp_file.name

# 导入这个临时模块
spec = importlib.util.spec_from_file_location("temp_mod", temp_path)
temp_mod = importlib.util.module_from_spec(spec)
spec.loader.exec_module(temp_mod)
f_imported = temp_mod.f

# 清理临时文件
os.unlink(temp_path)

# 对比字节码，结果和静态导入的完全一致
dis.dis(f_at_import := lambda: time.ctime())
dis.dis(f_imported)

关键注意点 #

• 编译器靠filename参数判断编译类型：如果是<string>这类临时标识，就用动态编译规则；写成.py格式文件名，会自动触发模块级编译逻辑。
• dont_inherit=True参数必须加，它会阻止编译时继承当前环境的特殊编译标志，确保使用模块的默认编译规则。
• 复杂场景下优先选办法2，因为它完全复用了CPython模块导入的整个编译链，不会遗漏任何模块级优化，字节码一致性最可靠。

内容的提问来源于stack exchange，提问作者Joachim Berdal Haga