JavaScript的class本质是构造函数与原型链的语法糖,所有特性除私有字段外均可用函数模拟,私有字段依赖引擎内部槽位实现。

JavaScript 的 class 本质就是语法糖,底层完全基于构造函数和原型链实现。它不引入新的面向对象机制,只是让基于函数的继承写法更清晰、更不易出错。
class 声明背后仍是构造函数
当你写 class Person { constructor(name) { this.name = name; } },JS 引擎实际生成的是一个具有 constructor 属性的函数,并自动把方法挂到 Person.prototype 上。
以下两者行为完全等价:
class Person {
constructor(name) {
this.name = name;
}
say() {
return `Hi, I'm ${this.name}`;
}
}
function Person(name) {
this.name = name;
}
Person.prototype.say = function() {
return `Hi, I'm ${this.name}`;
};
-
typeof Person返回"function",不是新类型 - 直接调用
Person()(不带new)会抛出TypeError: Class constructor Person cannot be invoked without 'new'—— 这是 class 的额外限制,但构造函数本身没有该限制 - 类体中所有方法都是非可枚举的(
Object.keys(Person.prototype)为空),而手动挂载的Person.prototype.say默认是可枚举的(除非显式设为enumerable: false)
extends 实际调用的是 Object.setPrototypeOf + super()
class Student extends Person 并非创建全新继承模型,而是通过两步完成原型链连接:
立即学习“Java免费学习笔记(深入)”;
- 设置
Student.prototype的隐式原型(__proto__)指向Person.prototype,即Object.setPrototypeOf(Student.prototype, Person.prototype) - 在子类
constructor中必须显式调用super(),否则无法访问this;这一步实际是执行父类构造函数,并将当前实例绑定给this
如果跳过 super(),会报错:ReferenceError: Must call super constructor in derived class before accessing 'this' or returning from derived constructor。
注意:super() 不等于 Parent.call(this, ...)。它还负责初始化内部槽位(如 [[NewTarget]]),这是手动模拟不了的。
静态方法、getter/setter 和私有字段的实现差异
类语法让这些特性写起来更紧凑,但底层机制各不相同:
-
static method()→ 挂在构造函数本身上,即Person.method,等价于Person.method = function() {...} -
get fullName()→ 使用Object.defineProperty在原型上定义 getter,不可枚举、不可配置 -
#privateField(私有字段)→ 是真正新增的底层能力,依赖 JS 引擎的私有槽位(private slot)支持,无法通过this['#privateField']或反射绕过,也不是简单的命名混淆
私有字段是 class 语法中**唯一不可被函数构造器完全模拟**的部分;其他所有特性(包括 extends、static、get/set)都能用传统函数+原型+Object.defineProperty 实现。
继承时容易忽略的细节
真实项目中踩坑最多的是这几处:
- 子类
constructor中未调用super(),或调用位置不在第一行 - 在
super()前使用this(哪怕只是console.log(this))都会报错 - 箭头函数不能作为类方法(它没有自己的
this,且无法被正确绑定到实例),但可以赋值给实例属性:clickHandler = () => { ... } -
class A extends null是合法的(创建无原型的对象),但此时无法调用super(),必须省略constructor或自行返回对象
真正理解 class,关键不是记住语法,而是清楚每行代码在原型链、执行上下文、内部槽位三个层面触发了什么操作。一旦涉及装饰器、元编程或跨框架集成,这些底层逻辑就会立刻暴露出来。











