super行为由语言规范严格定义:构造调用中必须首行执行super()以绑定this并初始化父类;对象访问时按上下文查找父类原型或构造函数,不跨链且不查实例属性。

super 不是万能转发器,它的行为完全取决于使用场景和所在上下文。调用机制和作用域不是凭经验猜测的,而是由语言规范严格定义的运行时规则。
super() 作为构造调用:必须首行、绑定 this、触发父类初始化
在子类 constructor 中,super() 是强制语法要求,不是可选项:
- 必须出现在第一行,任何对 this 的访问(包括变量声明、return、条件判断)都必须在其后
- 它不创建新对象,而是把当前正在构建的空实例(由 new 创建)作为 this,传入父类 constructor 执行初始化
- 执行后,this 才被“激活”,此时才能安全读写 this.xxx;否则报 ReferenceError: Must call super constructor before accessing 'this'
- new.target 始终指向子类构造函数,即使在父类 constructor 内部,this.constructor === new.target 也成立
super 作为对象访问:分上下文,原型链查找有边界
在非构造阶段(如普通方法、getter/setter),super.xxx 是一种受控的属性访问语法:
- 在子类**实例方法**中,super 指向父类的 prototype(Parent.prototype),查找从那里开始,不会继续向上穿越整个原型链;若父类 prototype 上无该属性,直接返回 undefined
- 在子类**静态方法**中,super 指向父类构造函数本身(Parent),用于访问父类的静态成员
- super.xxx = val 实际等价于 this.xxx = val,赋值目标始终是当前实例,不是父类 prototype
- 箭头函数中禁止使用 super,因为其不绑定自己的执行上下文
不同语言中 super 的核心共性与关键差异
尽管语法相似,但各语言对 super 的语义约束存在本质区别:
- JavaScript:super 是上下文敏感语法,非函数亦非对象;constructor 中 super() 是初始化必需步骤,且 this 绑定不可绕过
- Python:super() 是返回代理对象的内置函数,依赖 MRO(方法解析顺序),支持多重继承中的协作式调用;不强制要求 __init__ 中调用,但遗漏会导致父类初始化逻辑缺失
- Java:super 是编译期识别的关键字,仅用于访问直接父类成员;构造器中 super(...) 必须首行,且只能出现一次;不能访问 private 成员,也不参与多层间接查找
常见误用与排错要点
多数运行时错误源于对 super 作用域和时机的误解:
- 在子类 constructor 中写成 if (cond) super() —— 编译/解析阶段即报错,引擎不允许“可能不执行”
- 试图用 super().method() 在普通方法中调用父类方法(应为 super.method())—— 会尝试把父类 prototype 当作函数执行,报 TypeError
- 以为 super.x 能读取父类 constructor 中通过 this.x = ... 定义的实例属性 —— super 只查原型,不查实例属性
- 在对象字面量方法简写中写 super.xxx 有效,但在箭头函数或属性初始化式(x: super.y)中无效

















