Python静态分析工具获取方法变量类型遇报错，弱类型语言能否实现？

1. 修复AST节点的AttributeError问题 #

你代码报错的核心原因是：Python标准库的AST节点对象并没有type属性，判断节点类型必须用isinstance()匹配具体的AST类（比如ast.Module、ast.Assign、ast.Name等）。以下是修正后的代码示例：

import ast

def print_var_types(node):
    # 处理赋值语句，比如a = 1这类场景
    if isinstance(node, ast.Assign):
        for target in node.targets:
            if isinstance(target, ast.Name):
                var_name = target.id
                # 尝试推断右侧常量的类型
                if isinstance(node.value, ast.Constant):
                    var_type = type(node.value.value).__name__
                    print(f"{var_name}: {var_type}")
                # 可扩展处理更多表达式类型：函数调用、变量引用等
    # 递归遍历所有子节点
    for child in ast.iter_child_nodes(node):
        print_var_types(child)

# 测试示例
code = """
def foo():
    x = 10
    y = "hello"
    z = [1,2,3]
"""
tree = ast.parse(code)
print_var_types(tree)

这段代码用ast.iter_child_nodes()统一遍历子节点（避免手动处理不同节点的children结构差异），通过isinstance精准判断节点类型，比如ast.Assign对应赋值语句、ast.Name对应变量名、ast.Constant对应常量值。

2. 关于Python静态分析能否获取变量类型的疑问 #

Python是动态类型语言，但并非完全无法通过静态分析获取变量类型，只是存在一定局限性：

• 若代码带有类型注解（比如x: int = 10），可直接从AST的annotation属性提取类型信息；
• 无注解的代码可通过类型推断推导：比如赋值常量时直接取常量类型，赋值函数返回值时结合函数注解或返回语句类型推断；
• 静态分析无法处理运行时动态变更类型的场景（比如x = 10; x = "abc"），也无法精准推断依赖外部输入、动态生成的变量类型。

如果要实现更完善的静态类型分析，可以参考mypy、pyright这类工具的思路：维护符号表跟踪变量类型流，结合上下文做更精准的类型推断。

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