Python FAQ中类静态属性重绑定规则是否存在表述歧义？

核心结论 #

你的理解完全正确，FAQ的表述存在语境省略，并非错误，但没有明确说明适用范围，很容易造成误解。 #

详细解释 #

1. 首先区分两个完全独立的执行场景 #

FAQ的所有表述默认针对「类定义完成后的运行阶段」，并不覆盖类本身的定义阶段：

• 类定义阶段：class代码块内的顶层语句（非方法内部）执行时，类对象还未完成创建，类名尚未绑定到当前作用域，所有变量操作都在一个临时的局部命名空间中执行。等代码块全部执行完毕，Python才会将该临时命名空间的内容批量写入类的__dict__，生成最终的类对象，此时临时命名空间里的变量才会正式成为类属性。
  你给出的示例中count = count + 1本质是临时局部变量的重绑定，不属于FAQ中定义的「类静态数据名称重绑定」场景——因为此时该属性还没有和类对象绑定，自然不需要指定类名。
• 类定义完成后的运行阶段：类对象已经创建完成，类名在对应作用域可用，此时所有对类静态属性的修改才需要遵循FAQ的规则。

2. FAQ表述的适用场景验证 #

结合你补充的完整上下文，FAQ的规则在对应场景下完全成立：

Caution: within a method of C, an assignment like self.count = 42 creates a new and unrelated instance named "count" in self's own dict. Rebinding of a class-static data name must always specify the class whether inside a method or not
举两个对应场景的示例：

• 类外修改类属性：类定义完成后，要修改count必须指定类名：

# 类定义完成后
C.count = 2 # 正确修改类属性
count = 3 # 仅创建全局变量，不影响C.count

• 类的方法内部修改类属性：必须指定类名或者通过type(self)获取类对象：

class C:
    count = 0
    def add(self):
        # 错误：会创建实例属性，不影响类属性
        self.count +=1
        # 正确：修改类属性
        C.count +=1
        # 更通用的正确写法，适配继承场景
        type(self).count +=1

3. FAQ的表述问题 #

它没有明确补充「类定义完成后」这个前置条件，才会导致你将类定义阶段的行为和规则混淆，属于表述不够严谨的问题，但针对其适用场景的描述是准确的。 #

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