ast.fix_missing_locations在什么场景下会修改AST语法树？

现有示例输出True的原因 #

你提供的示例中连续两次调用RewriteName().visit(tree)，而NodeTransformer.visit会直接修改输入的AST树，第一次调用已经把原树中的Name节点替换为自定义的Subscript节点，第二次调用时已经没有需要处理的目标节点，所以两次得到的树完全一致，和是否调用fix_missing_locations无关。

fix_missing_locations的核心作用 #

当你在visit方法中手动创建新AST节点时，这些新节点默认没有lineno、col_offset等位置属性，Python的AST编译器要求所有节点都具备位置属性才能正常编译，fix_missing_locations的作用就是遍历整棵语法树，给所有缺少位置属性的节点补全从父节点继承的位置信息。

可复现差异的示例代码 #

from ast import *

class RewriteName(NodeTransformer):
    def visit_Name(self, node):
        # 手动创建的新节点默认无位置属性
        return Subscript(
            value=Name(id='data', ctx=Load()),
            slice=Constant(value=node.id),
            ctx=node.ctx
        )

# 每次测试单独parse新树，避免原树被修改干扰结果
tree_for_unfixed = parse('foo', mode='eval')
tree_for_fixed = parse('foo', mode='eval')

# 仅用NodeTransformer处理，不补全位置
unfixed_tree = RewriteName().visit(tree_for_unfixed)
# 处理后调用fix_missing_locations补全位置
fixed_tree = fix_missing_locations(RewriteName().visit(tree_for_fixed))

# 对比属性差异
print("未补全的替换节点是否有lineno属性：", hasattr(unfixed_tree.body, 'lineno'))  # 输出False
print("补全后的替换节点是否有lineno属性：", hasattr(fixed_tree.body, 'lineno'))      # 输出True

# 编译阶段差异更明显
try:
    compile(unfixed_tree, filename='<ast>', mode='eval')
except Exception as e:
    print(f"未补全树编译报错：{type(e).__name__}: {e}")  # 输出TypeError: required field "lineno" missing from Subscript

# 补全后的树可正常编译运行
compiled = compile(fixed_tree, filename='<ast>', mode='eval')
result = eval(compiled, {'data': {'foo': '测试结果'}})
print("补全后的树运行结果：", result)  # 输出 测试结果

差异总结 #

• 仅通过dump方法对比时如果没注意原树被修改的问题，会误判两者没有差异，实际手动创建的新节点本身就缺少位置属性
• 两者最核心的差异体现在编译执行环节：未补全位置属性的AST会直接编译报错，补全后的AST可以正常编译运行

内容的提问来源于stack exchange，提问作者Wert-rar