如何检测Python类方法中全局变量使用（排查遗漏self.场景）

先看你的问题场景：示例代码里Agent类的move方法中遗漏了self.，直接访问x导致无法修改实例属性，同时还访问了全局的Game，你需要工具或方法来提示这类问题。以下是可行的解决方案：

一、调整静态代码检查工具配置 #

1. Pylint 开启相关规则 #

你之前用Pylint没得到提示，是因为默认规则没完全开启。可以通过配置文件.pylintrc开启两个关键规则：

[MESSAGES CONTROL]
enable=W0602,W0603

[TYPECHECK]
check-untyped-defs=yes

• W0602：检测未初始化就使用的变量（对应你遗漏self.的x）
• W0603：检测函数内使用的全局变量（对应Game）
  配置后运行pylint your_code.py，会明确提示move方法里的问题。

2. 使用类型检查器（pyright/mypy） #

这类工具对变量作用域的检测更严格：

• pyright：默认会提示未定义的x，如果是全局的Game，开启严格模式后会提示类方法中直接访问全局变量的问题。
• mypy：加上--strict参数运行，会检测到x未绑定，以及Game作为全局变量在方法中被使用的情况。

二、IDE 实时提示 #

主流IDE都能直接给出遗漏self.的提示：

• PyCharm/IntelliJ：打开Settings > Inspections > Python，启用Unresolved reference和Global variable access in method，遗漏self.时会标红，还能一键修复添加self.。
• VS Code：用默认的Pylance插件，在设置里把python.analysis.diagnosticSeverityOverrides中的undefined-variable设为Error，写代码时会立刻提示未定义的x。

三、自定义AST脚本检测 #

如果需要完全定制化的检测逻辑，可以用Python的AST模块写个简单脚本，遍历类方法里的变量引用，筛选出可疑的全局变量或遗漏self.的情况：

import ast

def check_method_vars(file_path):
    with open(file_path, 'r', encoding='utf-8') as f:
        tree = ast.parse(f.read())

    for class_node in ast.walk(tree):
        if isinstance(class_node, ast.ClassDef):
            for method_node in class_node.body:
                if isinstance(method_node, ast.FunctionDef):
                    # 获取方法的参数名
                    param_names = {arg.arg for arg in method_node.args.args}
                    # 收集方法内的局部变量名
                    local_vars = set()
                    for stmt in method_node.body:
                        if isinstance(stmt, ast.Assign):
                            for target in stmt.targets:
                                if isinstance(target, ast.Name):
                                    local_vars.add(target.id)
                    # 检查所有变量引用
                    for node in ast.walk(method_node):
                        if isinstance(node, ast.Name) and isinstance(node.ctx, ast.Load):
                            var_name = node.id
                            if var_name not in param_names and var_name not in local_vars and var_name != 'self':
                                print(f"[{class_node.name}.{method_node.name}] 检测到可疑变量: {var_name}")

# 替换成你的代码文件路径
check_method_vars("your_code.py")

运行这个脚本会输出类方法中未绑定到参数或局部变量的变量，你可以据此排查遗漏self.的情况。

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