如何检测Python同一命名空间中被覆盖重定义的名称？

因为Python运行时会用后续定义覆盖之前的同名对象，inspect模块只能获取到最后生效的定义，要发现所有重定义行为，需要通过**静态解析代码的抽象语法树（AST）**实现——AST会完整保留代码中所有的定义节点，不受运行时覆盖逻辑影响。

实现步骤与示例代码 #

1. 用ast模块将代码解析为AST对象
2. 遍历AST节点，记录每个标识符的所有定义位置
3. 筛选出定义次数大于1的标识符并输出

示例代码如下：

import ast

# 待检测的目标代码
code = """
def a():
    pass
def b():
    pass
def a():
    pass
"""

# 存储标识符及其所有定义行号的映射
definitions = {}

# 解析代码生成AST树
tree = ast.parse(code)

# 遍历所有节点，收集函数定义信息
for node in ast.walk(tree):
    if isinstance(node, ast.FunctionDef):
        func_name = node.name
        line_num = node.lineno
        # 记录每个函数的定义行号
        if func_name not in definitions:
            definitions[func_name] = []
        definitions[func_name].append(line_num)

# 输出存在重定义的标识符
for name, lines in definitions.items():
    if len(lines) > 1:
        print(f"函数`{name}`在以下行重复定义：{', '.join(map(str, lines))}")

运行后会输出：

函数a在以下行重复定义：2, 6

扩展支持更多标识符类型 #

如果需要检测类、变量的重定义，可以扩展节点类型的判断逻辑：

for node in ast.walk(tree):
    # 处理函数与类的定义
    if isinstance(node, (ast.FunctionDef, ast.ClassDef)):
        name = node.name
        line_num = node.lineno
        if name not in definitions:
            definitions[name] = []
        definitions[name].append(line_num)
    # 处理变量赋值类的定义（如a = 1这类场景）
    elif isinstance(node, ast.Assign):
        for target in node.targets:
            if isinstance(target, ast.Name):
                var_name = target.id
                line_num = node.lineno
                if var_name not in definitions:
                    definitions[var_name] = []
                definitions[var_name].append(line_num)

为什么inspect无法满足需求 #

inspect是运行时内省工具，Python执行代码时，后续的同名定义会直接覆盖之前的对象，运行时环境中仅保留最后一次定义的结果，无法追溯历史定义记录。而AST是静态解析机制，不需要执行代码，能完整保留所有定义节点的原始信息。

内容的提问来源于stack exchange，提问作者Marnanel Thurman