子类重写父类访问器属性时必须成对定义get/set,否则读取返回undefined、写入仍触发逻辑,破坏数据一致性;应完整重写或显式兜底,并通过测试验证描述符完整性。

子类重写父类的流式访问器属性(即使用 get/set 定义的属性)时,若只实现其中一方(比如只写了 set 却漏掉 get),会导致读取该属性返回 undefined,而写入仍能触发逻辑——这不是语法错误,但会破坏数据一致性,属于典型的“机制漏洞”。根本原因在于 JavaScript 访问器属性必须成对存在才能维持语义完整,单边定义会切断委托链的读写对称性。
确保访问器描述符成对定义
访问器属性本质是函数对,get 和 set 各自独立生效。子类若想覆盖父类访问器,必须显式声明两者,或至少为未覆盖的一方提供明确兜底:
- 如果父类有
get fullName()和set fullName(val),子类重写时不能只写set fullName(val);否则读obj.fullName会沿原型链找不到get,直接返回undefined - 推荐做法:子类中完整重写,哪怕只是调用
super,例如:
get fullName() { return super.fullName; }
set fullName(val) { super.fullName = val; } - 若子类确实不需要读逻辑,也应显式返回有意义的值(如抛错、返回空字符串、或 throw new Error('readOnly property')),而非留空
避免数据属性意外降级
当子类未定义任何访问器,却对继承来的访问器属性执行赋值(如 obj.prop = 'x'),行为取决于父类访问器是否有 setter:
- 有
setter→ 触发父类逻辑(安全) - 无
setter→ JS 自动在实例上创建同名**数据属性**,从此遮蔽原型上的getter,后续读取不再走访问器逻辑 - 防范方式:在父类访问器的
setter中做校验,或用Object.defineProperty将属性设为writable: false, configurable: false(需确保configurable: true才能在子类重定义)
优先使用 class 语法统一管理
ES6 class 中的 get/set 默认 configurable: true,支持安全重写和 super 调用,比手动操作原型更可靠:
- 子类可直接用
get prop() { return super.prop + '!'; }复用并扩展逻辑 - 避免在运行时反复修改原型——所有访问器应在类定义阶段声明完毕
- 静态访问器同样适用该规则,查找路径为构造函数的原型链(
Constructor.prototype)
检测与调试建议
这类漏洞不易被静态检查发现,需主动验证:
- 对每个重写的访问器属性,单独测试读、写、删(
delete obj.prop)、in操作、Object.getOwnPropertyDescriptor返回值 - 在子类构造函数中打印
Object.getOwnPropertyDescriptors(this),确认目标属性是否为accessor类型且含完整get/set - 单元测试中模拟“只写不读”“只读后写”等边界场景,防止逻辑断裂










