在 Python 类中定义属性字段但没有 `__init__` 方法，是完全合法的语法，但需要明确区分**类属性（class attribute）** 和 **实例属性（instance attribute）**。这种写法通常会导致你**意外地定义了类属性而非每个实例独立拥有的属性**，从而引发隐蔽的 bug（尤其是可变对象类型），这是最常见、最易被忽视的问题根源。 ✅ 正确理解如下： ### 回答问题： 是的，你可以在类体中直接定义变量（如 `x = 0`、`data = []`、`name = "default"`），这些被称为**类属性**，它们属于类本身，被该类**所有实例共享**（即内存中只有一份）。 ⚠️ 但如果你本意是让每个实例拥有自己独立的属性（例如每个对象有自己的 `name` 或自己的 `items` 列表），却省略 `__init__` 并在类体中直接赋值（尤其是可变对象），就会导致**状态污染**：修改一个实例的该属性，会影响其他所有实例。 --- ### 给出解释： #### ❌ 危险示例（错误用法）： ```python class BadExample: items = [] # ← 类属性！所有实例共享同一个 list 对象 count = 0 # ← 类属性！但 int 是不可变的，看似安全，实则仍非实例专属 obj1 = BadExample() obj2 = BadExample() obj1.items.append("hello") print(obj2.items) # 输出: ['hello'] ← 意外共享！ obj1.count += 1 print(obj2.count) # 输出: 0 ← 因为 += 创建了新 int 对象并绑定到 obj1.count（触发实例属性遮蔽） ``` 原因：`obj1.count += 1` 实际等价于 `obj1.count = obj1.count + 1`，由于 `obj1.count` 原本未定义（访问类属性 `count`），Python 先读取类属性 `0`，计算 `1`，再**在 `obj1` 实例字典中新建一个实例属性 `count=1`** —— 这叫“实例属性遮蔽（shadowing）”。而 `items` 是可变对象，`append` 不会创建新对象，直接修改原 list，所以所有实例看到变化。 #### ✅ 正确做法（推荐）： 所有**应随实例独立存在**的属性，必须在 `__init__` 中通过 `self.xxx = ...` 显式初始化： ```python class GoodExample: category = "general" # ✅ 类属性：适合常量、配置、共享数据 def __init__(self, name="unknown"): self.name = name # ✅ 实例属性：每个对象独有 self.items = [] # ✅ 实例属性：空列表独立副本 self._version = 1.0 # ✅ 实例属性（约定私有） # 验证隔离性 a = GoodExample("A") b = GoodExample("B") a.items.append(1) b.items.append(2) print(a.items) # [1] print(b.items) # [2] ← 完全独立 ``` #### 🔍 补充说明： - 类属性适用于：常量（`MAX_SIZE = 100`）、类级别的计数器（需用 `@classmethod` 操作）、共享缓存、配置项等。 - 若真需要“延迟初始化”的实例属性（即首次访问才创建），可用 `@property` + 缓存，或 `__getattr__`，但 `__init__` 仍是首选和最清晰的方式。 - 使用 `dataclasses` 或 `attrs` 库可自动生成 `__init__`，避免手写遗漏。 --- ### 相关问题：