子类getter/setter属性与父类构造器不兼容问题分析

错误抛出的原因 #

这个错误的核心在于私有字段（#prop）的实例归属检查机制，以及类继承时构造器的执行顺序：

1. 执行new Sub(20)时，子类构造器首先调用super(v)，进入父类Base的构造器执行this.prop = v赋值操作。
2. 由于子类Sub在原型上定义了prop的setter，该赋值会触发子类的setter方法。但此时子类构造器还未执行完毕——私有字段是在super()调用完成后，才会被初始化到实例上的。
3. 私有字段的访问检查不依赖原型链，而是严格验证当前实例是否被定义该私有字段的类（即Sub）完成初始化。在super()执行期间，Sub实例还未创建#prop的字段槽位，此时调用setter赋值this.#prop，JS引擎会判定“当前对象不是正确的类实例”，抛出TypeError。

针对你的疑问补充说明：

• 关于this.__proto__：虽然此时this的原型已指向Sub.prototype，但私有字段的检查基于实例本身的内部槽位，和原型链无关，原型指向正确不代表私有字段已就绪。
• 普通方法调用无报错：调用sub.test()时，实例已完成所有初始化（包括私有字段创建），此时访问#prop符合检查要求。
• 伪私有_prop无报错：伪私有只是命名约定，没有JS引擎层面的类归属检查，无论实例是否完成初始化都可直接赋值，因此不会触发错误。而私有字段的强检查是语言设计特性，目的是确保私有字段只能被定义它的类访问，避免跨类意外修改。

父类不可控时的解决方案 #

如果无法修改父类代码，有几种可行的解决方式：

方案1：临时替换子类原型的setter，避开super()时的私有字段访问 #

在子类构造器中，先临时替换prop的setter，让父类构造器赋值时把数据存在临时属性里，等super()执行完成、私有字段初始化后，再把临时值转移到私有字段并恢复原setter：

class Sub extends Base {
    #prop;

    constructor(v) {
        // 保存原setter
        const originalSetter = Object.getOwnPropertyDescriptor(Sub.prototype, 'prop').set;
        // 临时替换setter，将值存在临时属性
        Object.defineProperty(Sub.prototype, 'prop', {
            set(val) {
                this._tempProp = val;
            }
        });
        // 调用父类构造器
        super(v);
        // 恢复原setter
        Object.defineProperty(Sub.prototype, 'prop', { set: originalSetter });
        // 将临时值赋值给私有字段
        this.#prop = this._tempProp;
        // 删除临时属性
        delete this._tempProp;
    }

    set prop(v) {
        console.log("setting sub-prop " + v);
        this.#prop = v;
    }

    get prop() {
        console.log("getting sub-prop " + this.#prop);
        return this.#prop;
    }
}

方案2：放弃私有字段，改用伪私有属性 #

如果业务对私有性要求不高，可以把#prop改为伪私有属性_prop，避开JS引擎的类归属检查，父类构造器的赋值可直接触发子类的setter：

class Sub extends Base {
    _prop;

    constructor(v) {
        super(v);
    }

    set prop(v) {
        console.log("setting sub-prop " + v);
        this._prop = v;
    }

    get prop() {
        console.log("getting sub-prop " + this._prop);
        return this._prop;
    }
}

方案3：在子类构造器中重新初始化私有字段 #

如果父类设置的prop值允许被覆盖，可在super()执行完成后直接给私有字段赋值，忽略父类构造器触发的错误（需确保业务逻辑允许该操作）：

class Sub extends Base {
    #prop;

    constructor(v) {
        try {
            super(v);
        } catch (e) {
            // 忽略父类构造器触发的错误
        }
        // 直接初始化私有字段
        this.#prop = v;
    }

    set prop(v) {
        console.log("setting sub-prop " + v);
        this.#prop = v;
    }

    get prop() {
        console.log("getting sub-prop " + this.#prop);
        return this.#prop;
    }
}

注：如果父类显式声明了prop字段（比如class Base { prop; constructor(v) { this.prop = v; } }），子类的setter会被忽略——因为类字段声明会在实例上创建自有属性，覆盖原型上的访问器，这也是需要注意的场景。

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