TypeScript 2.1

完整的破坏性改动列表请到这里查看:breaking change issues.

生成的构造函数代码将this的值替换为super(...)调用的返回值

在ES2015中，如果构造函数返回一个对象，那么对于任何super(...)的调用者将隐式地替换掉this的值。 因此，有必要获取任何可能的super(...)的返回值并用this进行替换。

示例

定义一个类C：

class C extends B {
    public a: number;
    constructor() {
        super();
        this.a = 0;
    }
}

将生成如下代码：

var C = (function (_super) {
    __extends(C, _super);
    function C() {
        var _this = _super.call(this) || this;
        _this.a = 0;
        return _this;
    }
    return C;
}(B));

注意：

• _super.call(this)存入局部变量_this
• 构造函数体里所有使用this的地方都被替换为super调用的返回值（例如_this）
• 每个构造函数将明确地返回它的this，以确保正确的继承

值得注意的是在super(...)调用前就使用this从TypeScript 1.8开始将会引发错误。

继承内置类型如Error，Array和Map将是无效的

做为将this的值替换为super(...)调用返回值的一部分，子类化Error，Array等的结果可以是非预料的。 这是因为Error，Array等的构造函数会使用ECMAScript 6的new.target来调整它们的原型链； 然而，在ECMAScript 5中调用构造函数时却没有有效的方法来确保new.target的值。 在默认情况下，其它低级别的编译器也普遍存在这个限制。

示例

针对如下的子类：

class FooError extends Error {
    constructor(m: string) {
        super(m);
    }
    sayHello() {
        return "hello " + this.message;
    }
}

你会发现：

• 由这个子类构造出来的对象上的方法可能为undefined，因此调用sayHello会引发错误。
• instanceof应用于子类与其实例之前会失效，因此(new FooError()) instanceof FooError会返回false。

推荐

做为一个推荐，你可以在任何super(...)调用后立即手动地调整原型。

class FooError extends Error {
    constructor(m: string) {
        super(m);
        // Set the prototype explicitly.
        Object.setPrototypeOf(this, FooError.prototype);
    }
    sayHello() {
        return "hello " + this.message;
    }
}

但是，任何FooError的子类也必须要手动地设置原型。 对于那些不支持Object.setPrototypeOf的运行时环境，你可以使用__proto__。

不幸的是，[这些变通方法在IE10及其之前的版本](https://msdn.microsoft.com/en-us/library/s4esdbwz(v=vs.94).aspx) 你可以手动地将方法从原型上拷贝到实例上（比如从FooError.prototype到this），但是原型链却是无法修复的。

const变量和readonly属性会默认地推断成字面类型

默认情况下，const声明和readonly属性不会被推断成字符串，数字，布尔和枚举字面量类型。这意味着你的变量/属性可能具有比之前更细的类型。这将体现在使用===和!==的时候。

示例

const DEBUG = true; // 现在为`true`类型，之前为`boolean`类型
if (DEBUG === false) { // 错误： 操作符'==='不能应用于'true'和'false'
    ...
}

推荐

针对故意要求更加宽泛类型的情况下，将类型转换成基础类型：

const DEBUG = <boolean>true; // `boolean`类型

不对函数和类表达式里捕获的变量进行类型细化

当泛型类型参数具有string，number或boolean约束时，会被推断为字符串，数字和布尔字面量类型。此外，如果字面量类型有相同的基础类型（如string），当没有字面量类型做为推断的最佳超类型时这个规则会失效。

示例

declare function push<T extends string>(...args: T[]): T;
var x = push("A", "B", "C"); // 推断成 "A" | "B" | "C" 在TS 2.1, 在TS 2.0里为 string

推荐

在调用处明确指定参数类型：

var x = push<string>("A", "B", "C"); // x是string

没有注解的callback参数如果没有与之匹配的重载参数会触发implicit-any错误

在之前编译器默默地赋予callback（下面的c）的参数一个any类型。原因关乎到编译器如何解析重载的函数表达式。从TypeScript 2.1开始，在使用--noImplicitAny时，这会触发一个错误。

示例

declare function func(callback: () => void): any;
declare function func(callback: (arg: number) => void): any;
func(c => { });

推荐

删除第一个重载，因为它实在没什么意义；上面的函数可以使用1个或0个必须参数调用，因为函数可以安全地忽略额外的参数。

declare function func(callback: (arg: number) => void): any;
func(c => { });
func(() => { });

或者，你可以给callback的参数指定一个明确的类型：

func((c:number) => { });

逗号操作符使用在无副作用的表达式里时会被标记成错误

大多数情况下，这种在之前是有效的逗号表达式现在是错误。

示例

let x = Math.pow((3, 5)); // x = NaN, was meant to be `Math.pow(3, 5)`
// This code does not do what it appears to!
let arr = [];
switch(arr.length) {
  case 0, 1:
    return 'zero or one';
  default:
    return 'more than one';
}

推荐

--allowUnreachableCode会禁用产生警告在整个编译过程中。或者，你可以使用void操作符来镇压这个逗号表达式错误：

let a = 0;
let y = (void a, 1); // no warning for `a`

标准库里的DOM API变动

• Node.firstChild，Node.lastChild，Node.nextSibling，Node.previousSibling，Node.parentElement和Node.parentNode现在是Node | null而非Node。

  查看#11113了解详细信息。

  推荐明确检查null或使用!断言操作符（比如node.lastChild!）。