对象与原型

是什么，为什么存在

JavaScript 对象是拥有键控属性的独立运行时值。即使两个对象的属性完全相同，它们仍有不同的 对象标识（object identity） ，所以 === 会把它们视为不同的值。对象变量保存的是对该标识的引用；把变量赋给另一个名称不会复制对象。

每个普通对象还有一个内部 [[Prototype]] 槽位。它的值是另一个对象或 null，连续的链接构成 原型链（prototype chain） 。多个对象可以通过原型链共享行为，不必把方法复制到每个对象上。

求值 order.total 时，引擎先在 order 上查找名为 total 的自有属性。如果不存在，就沿 order 的原型继续查找。相同键的自有属性会遮蔽继承属性；删除自有属性后，继承值可能再次显现。

原型并不只属于构造函数。对象字面量通常继承 Object.prototype，数组继承 Array.prototype，Object.create(proto) 直接使用给定对象，类实例则从类的 prototype 对象继承方法。这些形式最终都使用同一种查找机制。

方法并非自有属性却可以调用、in 与 Object.hasOwn() 结果不同、继承方法里的 this 指向后代对象，或代码处理不可信键值输入时，都会遇到这套模型。它也解释了 JavaScript 的 class 语法在更高层规则之下构造了什么。

工作原理

对象的自有属性不只是键值对。每个自有键都对应一个 属性描述符（property descriptor） 。描述符要么是包含 value 与 writable 的数据描述符，要么是包含 get 与 set 的访问器描述符；两者还都有 enumerable 与 configurable 标志。

属性键只能是字符串或 Symbol。点语法写入固定标识符，方括号语法会求值表达式并把结果转换为属性键。record[7] 这样的数字键会变成字符串键 "7"；普通对象键不会保留对象标识，因此需要区分对象键时应使用 Map。

对于普通读取，引擎执行下面这套简化查找流程：

继承访问成功时，原始对象始终是 接收者（receiver） 。如果在原型上找到 getter 或方法，this 由调用或访问操作决定，而不是由拥有描述符的对象决定。因此，child.label 可以调用原型 getter，同时让 this === child。

自有、继承与遮蔽

Object.hasOwn(object, key) 判断对象自身是否拥有该键。in 运算符判断对象原型链上的任何位置是否存在该键。if (object[key]) 这样的直接值检查不能回答这两个问题，因为已有属性的值可能是 0、false、""、null 或 undefined。

赋值通常会在接收者上创建或更新自有属性，但继承描述符可能改变结果。继承 setter 会处理赋值，继承的不可写数据属性则可以拒绝赋值。Reflect.set() 以布尔值暴露成功状态；普通赋值失败时，在严格模式下会抛错，在非严格模式下可能静默失败。

遮蔽常用于保存每个对象独有的状态。原型可以提供默认 status，某个后代可以写入自有 status，而不影响同级对象。共享可变对象则不同：修改继承数组会改变唯一的那个数组，所有能访问它的后代都会看到变化。

描述符的默认值与效果

对象字面量或简单赋值创建的属性默认可写、可枚举、可配置。Object.defineProperty() 会把省略的布尔标志设为 false。因此，只提供 value 会创建不可写、不可枚举、不可配置的属性。

enumerable 控制常见枚举与复制操作是否选择该属性，并不会使属性私有。configurable: false 会阻止删除和大多数描述符变更。不可配置但可写的数据属性仍可改变值，也可改成不可写；但这种单向限制以后不能撤销。

访问器会让看似普通的属性访问执行代码。读取可能调用 getter，写入可能调用对象自身或原型链上的 setter。处理不可信对象时，应把属性访问视为行为，因为 getter 或 Proxy trap 都可能参与其中。

构造过程与共享方法

每个可构造函数都有供 new 使用的 prototype 属性；它不是函数自身的 [[Prototype]]。执行 new Subscription() 时，新对象的 [[Prototype]] 通常会成为 Subscription.prototype。保存在那里的方法由继承它的所有实例共享。

new 操作会创建接收者，以该接收者作为 this 调用构造函数，并且通常返回它。如果构造函数显式返回另一个非原始对象，该对象会成为结果。如果函数的 prototype 值不是对象，新接收者的原型会回退到 Object.prototype。

类语法中的普通实例方法仍然依靠原型查找。公开实例字段则在构造期间成为自有属性，静态成员属于构造函数，私有字段不属于任何原型链。其他类规则由 javascript/classes 主题详细说明。

示例

下面的示例依次展示直接原型委托、描述符、构造函数创建的实例，以及安全处理记录型输入。所有输出均来自 Node 24 对所示文件的实际运行结果。

共享商品目录行为

两个商品目录各自拥有不同的商品数组，但把操作委托给同一个方法对象。Object.create() 在创建每个目录时固定这种关系。

findBySku 是继承方法，但方法调用把 eu 作为接收者，所以 this.items 读取 eu 的自有数组。两个目录都通过 catalogMethods 找到同一个函数对象。工厂对输入记录逐个进行一层复制，所以后来替换某个目录中商品的顶层字段，不会改变调用方的记录。

工厂没有校验商品形状，没有深拷贝嵌套值，也没有定义 SKU 不存在时的结果。这些属于 API 契约，而不是原型行为。生产版本应先明确这些规则，再让调用方解引用结果。

用描述符控制属性

账户 ID 会参与枚举，但不能被替换。balance 访问器校验写入，同时把整数分值保存在普通自有属性中。

const account = { balanceCents: 5000 };

Object.defineProperty(account, 'id', {
  value: 'acct-7',
  enumerable: true,
});

Object.defineProperty(account, 'balance', {
  get() {
    return this.balanceCents / 100;
  },
  set(amount) {
    const cents = amount * 100;
    if (!Number.isInteger(cents) || cents < 0) {
      throw new RangeError('balance must be non-negative cents');
    }
    this.balanceCents = cents;
  },
  enumerable: true,
  configurable: true,
});

account.balance = 72.5;
console.log(account.balance);
console.log(Object.keys(account).join(','));
console.log(Reflect.set(account, 'id', 'acct-8'));
console.log(account.id);
console.log(Object.getOwnPropertyDescriptor(account, 'id').writable);

72.5
balanceCents,id,balance
false
acct-7
false

id 上省略的 writable 与 configurable 标志默认为 false。Reflect.set() 会报告写入遭拒，不依赖调用方是否启用严格模式。示例有意把访问器设为可配置。

getter 从接收者读取数据，这一点在其他对象继承该访问器时很重要。这也表示读取可能执行任意代码；会读取值的枚举 API 可能触发 getter，而 Object.keys() 自身只收集键。

跟踪 new 创建的对象

构造函数初始化自有数据，原型则提供共享方法与默认状态。在一个实例上写入 status 会遮蔽默认值，但不会改变另一个实例。

function Subscription(plan) {
  this.plan = plan;
}

Subscription.prototype.status = 'active';
Subscription.prototype.summary = function summary() {
  return `${this.plan}:${this.status}`;
};

const first = new Subscription('pro');
const second = new Subscription('team');
first.status = 'paused';

console.log(first.summary());
console.log(second.summary());
console.log(Object.hasOwn(first, 'status'));
console.log(Object.hasOwn(second, 'status'));
console.log(first.summary === second.summary);
console.log(Object.getPrototypeOf(first) === Subscription.prototype);
console.log(first instanceof Subscription);

pro:paused
team:active
true
false
true
true
true

instanceof 成功是因为 Subscription.prototype 出现在 first 的原型链上。它不会检查构造函数体、对象属性或继承的 constructor 值。以后替换 Subscription.prototype 会影响后续创建的实例，但不会重新连接已有实例。

这个模式解释了类使用的原型层；需要类字段、私有名称、extends 或类语法的构造保护时，类更合适。不要机械地把类转换成构造函数，并假定所有类规则都能保留。

选择输入的自有字段

输入对象可能继承误导性字段，也可能替换 hasOwnProperty。这个投影只接受两个具名的自有字符串字段，并把它们保存到无原型记录中。

const inherited = { role: 'admin' };
const payload = Object.create(inherited);
payload.userId = 'u-17';
payload.displayName = 'Mina';
payload.hasOwnProperty = () => true;

function selectProfile(input) {
  const profile = Object.create(null);
  for (const key of ['userId', 'displayName']) {
    if (Object.hasOwn(input, key) && typeof input[key] === 'string') {
      profile[key] = input[key];
    }
  }
  return profile;
}

const profile = selectProfile(payload);
console.log(Object.keys(profile).join(','));
console.log(profile.role);
console.log('toString' in profile);
console.log(Object.hasOwn(payload, 'role'));
console.log(Object.getPrototypeOf(profile));

userId,displayName
undefined
false
false
null

允许列表阻止继承的 role 和恶意方法进入结果。即使输入没有原型或遮蔽了 hasOwnProperty，Object.hasOwn() 仍可正常工作。无原型结果不会继承 toString、constructor 或旧式 __proto__ 访问器。

这只是有限投影，并非完整的不可信输入校验。读取允许字段仍可能调用输入 getter 或 Proxy trap；嵌套值也需要自己的校验与复制策略。普通字符串键数据可以进行 JSON 序列化，但依赖 Object.prototype 方法的代码必须明确处理无原型记录。

陷阱

混淆 prototype 与 [[Prototype]]

修复方法： 画出两条边：instance --[[Prototype]]--> Constructor.prototype 与 Constructor --[[Prototype]]--> Function.prototype。用 Object.getPrototypeOf(instance) 检查第一条边，不要使用旧式 __proto__ 访问器。

把继承数据当成自有输入

修复方法： 明确契约接受自有属性、继承属性还是两者都接受。对于数据记录，使用显式字段允许列表与 Object.hasOwn()；只有操作确实需要继承的可枚举键时才使用 for...in。

把可变实例状态放在原型上

修复方法： 在构造期间把数组、Map、日期和其他每实例可变值初始化为自有属性。原型只保存无状态方法和有意共享的不可变默认值，并用两个实例交错修改来测试。

对使用中的对象改变原型链

修复方法： 使用对象字面量、Object.create()、构造函数或类，在创建时选择原型。只在契约明确要求动态替换原型时使用 Object.setPrototypeOf()，并在输入边界拒绝与原型有关的键。

假定描述符标志默认为宽松值

修复方法： 明确写出契约关心的每个描述符标志，并用 Object.getOwnPropertyDescriptor() 验证结果。如果契约恰好需要默认的可写、可枚举、可配置数据属性，就优先使用普通赋值。

把 constructor 或 instanceof 当成通用类型证明

修复方法： 有专用品牌检查时使用 Array.isArray() 等 API，否则校验边界实际需要的行为与数据形状。只有契约确实要求属于当前这套原型家族时，才使用 instanceof。

延伸阅读

• MDN：继承与原型链
• MDN：Object.defineProperty()
• MDN：Object.hasOwn()
• MDN：new 运算符
• ECMAScript 规范：普通对象内部方法与槽位