javascript的类与构造函数有何关系_ES6类语法与继承的完整解析【教程】

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 并非创建全新继承模型,而是通过两步完成原型链连接:

  • 设置 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 slo

    t)支持,无法通过 this['#privateField'] 或反射绕过,也不是简单的命名混淆

私有字段是 class 语法中**唯一不可被函数构造器完全模拟**的部分;其他所有特性(包括 extendsstaticget/set)都能用传统函数+原型+Object.defineProperty 实现。

继承时容易忽略的细节

真实项目中踩坑最多的是这几处:

  • 子类 constructor 中未调用 super(),或调用位置不在第一行
  • super() 前使用 this(哪怕只是 console.log(this))都会报错
  • 箭头函数不能作为类方法(它没有自己的 this,且无法被正确绑定到实例),但可以赋值给实例属性:clickHandler = () => { ... }
  • class A extends null 是合法的(创建无原型的对象),但此时无法调用 super(),必须省略 constructor 或自行返回对象

真正理解 class,关键不是记住语法,而是清楚每行代码在原型链、执行上下文、内部槽位三个层面触发了什么操作。一旦涉及装饰器、元编程或跨框架集成,这些底层逻辑就会立刻暴露出来。