javascript类是什么_它如何实现继承

JavaScript类本质是原型链的语法糖,class声明等价于构造函数加prototype设置;继承时子类构造函数必须首行调用super()绑定[[Prototype]];super在方法中可调父类原型方法,静态成员被子类继承但不可被实例访问。

JavaScript 类只是语法糖,本质仍是原型链

JavaScript 的 class 关键字不引入新的面向对象机制,它只是对已有原型继承模型的封装语法。真正起作用的,还是函数的 prototype 属性和对象的 [[Prototype]] 链。写 class Person { } 等价于定义一个构造函数并手动设置其 prototype,只是更简洁、更不易出错。

extends 实现继承时,必须调用 super()

子类构造函数中访问 this 前,必须显式调用 super()。否则会报错:ReferenceError: Must call super constructor in derived class before accessing 'this' or returning from derived constructor。这是因为子类实例的 [[Prototype]] 需要由 super() 绑定到父类原型上。

常见错误包括:

  • 忘记写 super()(直接报错)
  • super() 前使用 this(报错)
  • 只在部分分支里调用 super()(如 if/else 中只在 if 里调,else 里没调——仍报错)
class Animal {
  constructor(name) {
    this.name = name;
  }
}

class Dog extends Animal {
  constructor(name, breed) {
    super(name); // ✅ 必须第一行调用
    this.breed = breed; // ✅ 此后才能用 this
  }
}

super 不仅是调构造函数,还能调父类方法

super 在方法体内指向父类的原型对象,可用于调用被重写的父类方法。这和 super()(仅用于构造函数)是两个不同上下文中的用法。

注意点:

  • super.sayHi() 等价于 Object.getPrototypeOf(this).sayHi.call(this)
  • 不能在箭头函数中用 super(因为箭头函数没有自己的 thissuper 绑定)
  • super 只能在派生类(即用了 extends 的类)中使用,普通类或函数中会语法报错
class Animal {
  speak() {
    return `${this.name} makes a noise.`;
  }
}

class Cat extends Animal {
  speak() {
    return super.speak() + ' — meow!'; // ✅ 调用父类方法
  }
}

静态方法和属性也遵循继承规则,但不可被实例访问

static 声明的方法/属性属于类本身,不挂载在原型上,因此不会被实例继承。但子类会继承父类的静态成员(通过子类的 [[Prototype]] 指向父类),所以 Dog.walk() 可以调用,而 new Dog().walk() 会报 TypeError

容易混淆的点:

  • static 方法内部的 super 指向父类本身(不是原型),例如 super.create() 调的是 Animal.create
  • 如果子类也定义了同名 static 方法,就覆盖父类的,不自动转发
  • 静态属性(ES2025+)同样可被继承,但目前浏览器兼容性需留意(Node.js ≥16.0.0 支持)

真正难调试的地方往往不在语法,而在原型链断裂:比如手动改写子类的 prototype、误用 Object.setPrototypeOf()、或在类外部动态增删方法却忘了同步更新原型关系。这些操作会让 instanceof 失效、super 查找不到目标,且错误不明显。