Typescript 返回对象的TypScript构造函数隐式地替换This的值来替换super(.)的任何调用者

super"函数调用"很奇怪.对于不返回对象的普通类，this只是正在构造的类的当前实例. 对super()的调用只是对同一this进行操作，因此最终构建的对象是该类别的实例:

class Foo {
    a = 10;
    constructor() { }
}

class Bar extends Foo {
    z: number;
    constructor() {
        super();
        this.z = 1;
    }
}

const b = new Bar();
console.log(b); // Bar: {a: 10, z: 1}
console.log(b instanceof Bar); // true

但如果超类从其构造函数返回一个值，那么子类中的this就会以某种方式成为该值.这允许后续对this的引用超类返回的同一对象.因此，除了所构造的对象实际上不是类的实例之外，该类别的行为"正常":

class Foo {
    constructor() {
        return { a: 10 };
    }
}

class Bar extends Foo {
    z: number;
    constructor() {
        super();
        this.z = 1;
    }
}

const b = new Bar();
console.log(b); // {a: 10, z: 1}
console.log(b instanceof Bar); // false

这意味着对super()的调用必须看起来像"像函数一样调用超类构造函数，并查看它是否返回任何内容".如果是，则将该函数的结果assign变为this. 好像你可以写

this = superCtor.call(this) || this;

但你不能这样做！您无法分配给this. 但无论如何它都会发生，implicitly. 如果您查看当存在class之前的JS版本的downleveling代码时调用超级构造器时会发生什么，您会看到类似的情况:

function Bar() {
    var _this = _super.call(this) || this;
    _this.z = 1;
    return _this;
}

您会看到实际的this已在各处被新的_this变量替换.

Playground link to code