Python如何在不实例化类的情况下检查实例是否包含指定属性

首先给明确结论：不存在能100%准确判断的通用方法。
Python的实例属性是动态绑定的：大部分属性在__init__方法执行时挂载到实例上，还有部分属性可以在任意实例方法、甚至类外部的代码里动态给实例添加，甚至可以通过__getattr__/__getattribute__魔法方法动态生成不存在的属性。不执行完整的实例化流程，就没法覆盖所有可能的属性生成场景。
但针对属性固定写在初始化逻辑里的常规场景，有几种不需要传入构造参数的检测方案，各有适用边界。

方案1：静态解析__init__方法的抽象语法树（AST） #

不需要执行类的任何代码，直接提取__init__方法的源码解析成语法树，扫描所有给self.xxx赋值的语句，就能拿到初始化时绑定的实例属性。
示例代码：

import ast
import inspect

def get_init_attrs(cls):
    attrs = set()
    # 读取__init__方法的源码
    init_code = inspect.getsource(cls.__init__)
    ast_tree = ast.parse(init_code)
    
    def scan_node(node):
        # 匹配 self.xxx = 赋值的场景
        if isinstance(node, ast.Attribute) and isinstance(node.ctx, ast.Store):
            if isinstance(node.value, ast.Name) and node.value.id == 'self':
                attrs.add(node.attr)
        # 递归扫描子节点
        for child in ast.iter_child_nodes(node):
            scan_node(child)
    
    scan_node(ast_tree)
    return attrs

# 测试题目中的类A
class A:
    def __init__(self, unkown):
        self.a = 1

print('a' in get_init_attrs(A))  # 输出：True

这个方案的局限：

• 识别不了setattr(self, 'a', 1)这种动态赋值的属性
• 识别不了在其他实例方法、类外部绑定的属性
• 识别不了根据入参动态生成属性名的场景（比如setattr(self, param, val)）
• 如果__init__是C扩展实现的、或者源码无法读取，这个方法会失效

方案2：绕过__init__创建裸实例检测 #

Python创建实例时，__new__方法负责生成实例对象，__init__负责给实例做初始化，我们可以直接调用__new__生成实例，不需要传入__init__要求的构造参数：

# 不需要传入unknown参数
bare_a = A.__new__(A)
print(isinstance(bare_a, A))  # 输出：True

拿到裸实例之后，就可以用常规方法检测属性。但要注意：因为没有执行__init__逻辑，所有在__init__里绑定的属性在裸实例上都不存在，这个方法只能检测：

• 类中通过__slots__声明的实例属性
• 类本身定义的类属性（注意类属性和实例属性不是一个概念）
• 父类__new__方法中绑定的属性

方案3：增强版静态扫描 #

在AST扫描的基础上做扩展：

• 递归扫描所有父类的__init__方法
• 增加对setattr(self, "属性名", 值)格式的赋值语句的识别
• 扫描类中所有实例方法里的self.xxx赋值语句
  这种方案能覆盖绝大多数常规业务代码里的实例属性定义，但依然解决不了动态生成属性的场景。

不管是正常实例还是裸实例，判断属性是否存在都可以用这几种方法：

• 直接查实例的属性字典：'a' in instance.__dict__，只能查到存在于实例自身__dict__里的属性，查不到类属性、__slots__属性、魔法方法动态生成的属性
• 用getattr带默认值判断：getattr(instance, 'a', None) is not None，逻辑和hasattr几乎一致，只是可以自定义默认值避免抛异常
• 用inspect.getmembers(instance)获取实例所有成员列表，再判断目标属性名是否存在，本质和hasattr逻辑一致，只是会一次性返回所有成员的键值对

注意：所有不执行完整实例化流程的检测都有漏判、误判的可能，只适合做静态代码检查场景使用，不能作为运行时的可靠判断依据。

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