Python是否会检测并消除无用代码（死代码消除）？

结论 #

Python 3.11.1（CPython）不会识别并跳过你这段代码中的“无用循环”，你的测试结果（循环执行耗时0.07秒）也验证了这一点。

具体原因 #

• 动态语言特性限制：CPython作为动态语言解释器，无法像GCC这类静态编译器一样做激进的死代码消除。静态编译语言在编译阶段就能确定代码的副作用和依赖，但Python的动态特性（比如运行时可修改变量类型、触发特殊方法等）让解释器不敢轻易判定一段代码完全“无用”——哪怕你的代码里确实没有任何外部可见的副作用，CPython也不会在编译或解释阶段跳过这段循环。
• CPython优化方向：Python 3.11引入了更快的字节码解释器，但它的优化集中在局部变量缓存、常量折叠这类轻量级优化上，并未实现全局的死代码消除逻辑。你提到的早期讨论帖需求，至今也没被CPython核心团队纳入正式优化范围，因为要兼顾动态性和实现复杂度。
• 例外情况：如果使用PyPy这类JIT编译的Python实现，它会在运行时追踪代码执行模式，识别出这种无副作用的循环并自动消除，运行耗时会接近仅打印Hello World的时间。但CPython（包括3.11.1）没有这个能力。

代码验证 #

你可以通过dis模块查看这段代码生成的字节码，确认循环体里的赋值、运算、del指令都被完整保留，没有被优化掉：

import dis

def test():
    for _ in range(100_000_000):
        a = 10
        b = 20
        c = a + b
        d = c * 2     
        e = d / 2
        del a, b, c, d, e
    print("Hello World")

dis.dis(test)

输出的字节码会包含循环内所有操作对应的指令，说明这些代码确实会被执行。

内容的提问来源于stack exchange，提问作者FluidMechanics Potential Flows