JavaScript 的原型链属性访问机制,表面上看似简单,实则蕴含着一套“动态发现 + 懒绑定”的深层设计哲学。简而言之,它既不依赖提前声明,也不进行静态编译,而是完全依靠原型链在运行时实时导航——每当访问一个属性时,引擎都会像手持地图一样,逐层向上搜索。

属性查找:从实例到 null 的逐层试探
当你写下 obj.prop 的那一刻,引擎实际上并不知道这个属性具体藏在哪里。它会按照一套固定的流程按部就班地执行:
- 首先检查
obj自身是否拥有该属性——也就是所谓的“自有属性”,可以通过Object.hasOwnProperty('prop')来验证。 - 如果未找到,立即转向
obj.__proto__(即Object.getPrototypeOf(obj)),在该对象上继续查找。 - 仍然找不到,则再向上追溯,访问该原型的
__proto__,重复这一过程。 - 直到某层成功找到该属性,或者一路追溯到
null——也就是Object.prototype.__proto__的终点——此时才会返回undefined。
整个过程完全是动态的,每次访问都会重新遍历整条链,不会缓存路径,而是每次重新导航。这意味着,如果你在运行时为 Array.prototype 添加一个新方法,所有已经存在的数组实例会立即具备该功能——因为查找逻辑始终生效,不受任何缓存干扰。
绑定不发生:只有访问,没有“绑定”这回事
许多人误以为“调用 obj.method()”意味着 method 被绑定到了 obj 上。实际上,JavaScript 中并不存在传统意义上的“属性绑定”。真正的过程只有两步:
- 按照上述规则找到
method函数(它可能位于原型链上,也可能就在实例自身)。 - 将
obj作为this上下文,调用该函数。
函数本身并不“属于” obj,它只是被找到并执行了。你完全可以将同一个函数赋给多个不同对象,也可以临时在某个实例上覆盖原型上的同名方法——所有这些操作都不会改变原型链的结构,只影响某一次查找的结果而已。
写入属性:默认写在实例自身,不自动修改原型
当执行 obj.prop = value 时,引擎默认会在 obj 自身上创建或更新这个属性,绝对不会顺着原型链往上写。这是一个关键设计:
- 即使
obj的原型上已经存在同名的prop,赋值操作也只会作用于obj自身——形成所谓的“屏蔽效应”。 - 如果你想真正修改原型上的共享属性,必须显式地操作:例如
Constructor.prototype.prop = value。 - 正因如此,给数组添加
last方法时,正确的做法是Array.prototype.last = function(){...},而不是[].last = ...——后者只会给当前那个数组实例添加一个自有属性,其他数组根本不会感知到。
可枚举性与属性描述符影响可见性
属性能否被 for...in 或 Object.keys() 感知,取决于它的 enumerable 描述符,与它位于原型链的哪一层没有直接关系。举个例子:
Object.prototype.toString这个属性就位于原型链上,但它的enumerable被设为false,因此for...in遍历对象时不会出现它。- 反过来,如果你通过
Object.defineProperty在原型上添加一个非枚举属性,它依然可以用点号直接访问到,只是不会出现在循环或Object.keys()的结果中。
换句话说,“能否访问”和“能否枚举”是两套完全独立的机制:查找走原型链,遍历看属性描述符。理解了这个区别,很多关于对象属性的疑惑就会迎刃而解。
