数据类未定义字段可通过静态检查（Pylint、Pylance），如何触发报错？

为什么静态检查工具不报错？ #

Python是动态语言，默认允许运行时给对象动态添加属性。即使是用@dataclass装饰的类，类型检查器（如Pylint、Pylance）默认会将未定义的属性视为Any类型，而非直接报错——这是为了兼容Python的动态特性。

让静态检查报错的方法 #

方法1：给dataclass添加__slots__ #

通过__slots__显式指定类允许的属性，既限制了运行时动态添加属性的行为，也让类型检查器明确知晓合法属性范围：

from dataclasses import dataclass

@dataclass
class Demo:
    __slots__ = ('a',)
    a: int = 1

d = Demo()
d.b  # 此时Pylint和Pylance都会报错

方法2：针对Pylance配置 #

• 开启严格类型检查模式：在VS Code设置中，将python.analysis.typeCheckingMode设为strict，强制检查所有属性访问的合法性。
• 单独启用属性访问检查规则：若不想全局开启严格模式，可在settings.json中添加配置，将reportAttributeAccessIssue设为错误级别：

{
    "python.analysis.diagnosticSeverityOverrides": {
        "reportAttributeAccessIssue": "error"
    }
}

方法3：针对Pylint配置 #

• 临时启用规则：运行Pylint时添加--enable=E1101参数，该规则专门检查访问不存在的属性：

pylint --enable=E1101 your_script.py

• 持久化配置：在项目的.pylintrc文件中添加enable=E1101，后续每次运行Pylint都会自动检查该规则。

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