Python属性setter与deleter装饰器的实现机制疑问

你忽略的核心是装饰器语法的执行顺序与变量绑定逻辑，和你手动写的等价代码逻辑完全不一样。

先明确基础：用@property装饰def x(self):，确实等价于先定义函数x，再执行x = property(x)——此时类的命名空间里，x已经是一个property对象了。

但@x.setter的等价转换，绝不是你写的那样先覆盖x再调用x.setter(x)。正确的逻辑是：

1. 先定义新的setter函数（比如临时命名为temp_x）
2. 调用之前已经存在的property对象的setter方法，把temp_x传入，得到一个包含setter逻辑的新property对象
3. 把这个新对象重新赋值给类命名空间的x

你写的错误代码里，第二个def x(self, value):直接覆盖了之前的property对象，此时x变成了普通函数，自然没有setter属性，报错是必然的。

给你看正确的手动等价写法：

class C(object):
    def __init__(self):
        self._x = None

    def x(self):
        """I'm the 'x' property."""
        print("getter of x called")
        return self._x
    x = property(x)

    # 这里不能用x做函数名，避免覆盖已有的property对象
    def _set_x(self, value):
        print("setter of x called")
        self._x = value
    # 调用之前的property对象x的setter方法，生成新对象后再赋值回x
    x = x.setter(_set_x)

    def _del_x(self):
        print("deleter of x called")
        del self._x
    x = x.deleter(_del_x)

那为什么装饰器语法可以用同名的x？
因为Python处理装饰器时，是先完成函数定义，再执行装饰器表达式。也就是说，当处理@x.setter时，这里的x引用的是类命名空间里已经存在的property对象，而不是刚定义的那个同名函数。新函数的名字虽然也是x，但在装饰器执行前，它只是一个临时变量，等装饰器执行完（生成新的property对象），才会把这个新对象赋值给类命名空间的x，覆盖掉临时的函数对象。

另外补充：property.setter方法返回的是新的property对象，而不是修改原对象，这也是链式赋值能生效的原因——每次调用setter/deleter，都是基于旧的property对象生成新的，再替换掉原来的x。

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