JavaScript原型范式面向对象编程核心疑问与学习咨询

构造函数与new操作符的设计逻辑 #

你观察到的“类等价于构造函数”本质是JS诞生之初的历史妥协，不是什么刻意的深层设计哲学：

• JS的原型模型直接借鉴自Self语言，但当年为了在表面语法上靠拢Java，设计者给函数硬加了作为构造器调用的能力，判定一个值能不能被new调用的唯一核心标准是它是否自带prototype属性：普通函数、class声明的结构（本质是特殊函数）都有这个属性，箭头函数、绑定过的函数没有prototype，就不能被new调用。
• new操作符的执行逻辑自标准化后就没有任何魔法，固定分为四步：
  • 创建一个空的普通对象
  • 将这个空对象的内部[[Prototype]]槽（也就是__proto__访问器指向的原型引用）绑定到构造函数的prototype属性上
  • 将构造函数执行时的this绑定到这个空对象，传入参数执行函数体
  • 如果构造函数返回值是对象/函数类型，就返回这个返回值，否则返回第一步创建的空对象
• 至于你提到的“不加new调用时this指向全局”，这是ES5之前的设计缺陷，不是什么合理设计：开启严格模式后，不加new直接调用普通构造函数时this为undefined，给undefined加属性会直接抛错，从根源上避免了全局污染，不要把历史包袱当设计特性。

无构造函数的纯原型开发完全可行 #

你对原型范式的核心认知是准确的：原型OOP本来就不存在“类”和“实例”的本质边界，所有结构都是对象，原型链上游的对象承担通用模板的角色，下游对象做个性化属性扩展，任何对象都可以作为其他对象的原型，完全不需要构造函数作为中间层，完全可以支撑完整业务系统开发。

两种原型设置方式的选择 #

• __proto__是浏览器厂商早年自发实现的事实标准，仅在ES规范的Web兼容附录中被要求支持，非浏览器JS环境可以不实现，且早期引擎对直接赋值__proto__有明显的性能损耗，只适合在调试控制台、快速写demo时使用。
• Object.setPrototypeOf()是ES6规定的标准API，所有符合ES6规范的环境都必须支持，所有生产环境代码都应该优先使用这个API。

原生已支持你要的原型扩展能力 #

你自己实现的extend本质就是原生Object.create()的功能，不需要额外造轮子：

• 要基于指定原型创建新对象，直接用const newObj = Object.create(proto)即可，这就是标准的“基于现有对象克隆派生”的语法，对应你想要的“直接从对象创建新对象”的能力，比new更贴合原型范式的本质。
• 如果要在创建时给新对象加自有属性，搭配Object.assign即可：const yourCar = Object.assign(Object.create(carsLikeMine), { plate: "TÜ-PS-1234" })，这是纯原型开发里创建派生对象的标准写法。你自己写的extend存在bug：Object.assign(newObject)没有传入源对象参数，实际没有完成对象属性拷贝的逻辑。
• 为什么new不支持直接接普通对象？还是之前提到的历史妥协：new从设计之初就是为了模拟Java的类实例化语法，刻意绑定了函数作为操作数，和原型范式的核心逻辑本来就不匹配，纯原型开发完全可以不用new。

生态成熟实践与避坑规范 #

原生API已经足够支撑纯原型开发，不需要引入第三方类库，核心避坑点只有三个：

• 不要在对象创建完成后动态修改它的原型：所有现代JS引擎对原型链的性能优化都基于“对象创建后原型固定”的假设，运行时调用Object.setPrototypeOf改原型链会直接打断优化，性能会出现数量级下降。正确做法是在创建对象时通过Object.create直接指定好原型，创建后不再改动。
• 不要在原型对象上存放可变引用类型值（比如数组、普通对象）：原型上的属性会被所有下游对象共享，如果一个实例修改了原型上的引用类型内容，所有继承自这个原型的对象都会受影响，这是原型开发最常见的bug。原型上建议只存放不可变原始值、通用方法。
• 不要搭建过长的原型链，一般3层以内足够应对绝大多数业务场景，原型链过长会拖慢属性查找速度，也会提升问题排查的复杂度。

初始化校验的问题完全不需要依赖构造函数 #

纯原型模式下，用普通工厂函数就能完成所有初始化校验、参数归一化的逻辑，灵活度比构造函数更高：

function createCar(proto, plate) {
  // 所有初始化校验逻辑放在这里
  if (typeof plate !== 'string' || !/^[A-Z0-9-]+$/.test(plate)) {
    throw new Error('invalid plate number')
  }
  // 校验通过后再创建对象、指定原型、挂载自有属性
  return Object.assign(Object.create(proto), { plate })
}

这种模式不受new的语法限制，可以自由实现实例缓存、权限控制、多原型混入等逻辑，比构造函数的适配性更强。如果需要防止对象被运行时篡改，直接用Object.freeze冻住对象即可，这是运行时级别的不可变保障，比Java的private编译期检查可靠性更高。

系统学习路径建议 #

• 先读ES规范中关于对象内部槽、原型链、Object系列静态方法的标准定义，从根源上搞懂规则，避免被二手教程误导。
• 了解Self语言的核心原型设计思想，JS的原型模型完全继承自Self，看懂Self的原型逻辑，就不会再把JS原型往Java类模型上套。
• 刻意避开所有把JS原型类比成Java类、把prototype属性解释成“类的原型对象”的教程，这类内容本质是用类思维硬套原型，只会干扰你建立正确的原型思维。

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