Linux ·

TypeScript 2.6新增严格参数逆变及其他特性

除了改进工具外,在TypeScript 2.6的新特性中,有一个新的标识可以强制执行严格参数逆变。

TypeScript 2.6新增了编译器选项--strictFunctionTypes,对函数参数进行严格逆变比较。

{
"compilerOptions": {
    "strictFunctionTypes": true
}

TypeScript的默认行为是对函数参数进行双变比较。JavaScript有多个基本特性都依赖于此,尤其是Array<T>。实际上,如果TypeScript使用严格逆变参数(例如,如果签名的其他部分一样,那么在任何需要使用返回更一般化类型的函数的地方,都可以使用返回更具体类型的函数)和严格协变返回值(例如,如果签名的其他部分一样,那么在任何需要使用返回更具体类型的函数的地方,都可以使用返回更一般化类型的函数),那么Array<T>中的T就是不变的,也就是说,Array<Derived>不能赋给Array<Animal>。双变参数可以确保数组有一个恰当的行为,但可能会产生运行时错误,比如下面这种情况:

function makeLowerCase(s: string) { return s.toLowerCase(); }
declare let foo: Promise<string|number>;
foo.then(makeLowerCase); //如果foo解析为数值就会失败

新增的--strictFunctionTypes选项就是让编译器可以捕获这种错误。这个选项只能用于函数,而不是方法,以便数组及这门语言的其他特性仍然可以按预期方式工作。@ts-ignore注释是该语言新增的另外一个有用的特性,它可以屏蔽注释行下面的代码行出现的任何错误。例如,在下面的代码片段中,@ts-ignore注释会屏蔽掉不可达代码错误。

if (false) { 
    // @ts-ignore: 不可达代码错误
    console.log("hello");
}

在工具方面,由于可以更好的识别可能受变更影响的文件,TypeScript编译器现在实现了一个更快的--watch模式。这样,只有受影响的文件会经历树转换和输出过程。

此外,JSDoc注释现在可以转换成恰当的TypeScript参数注解,这可以简化已有代码库的迁移,自动添加JSDoc类型注解。

TypeScript 2.6还引入了几项可能会破坏现有代码库的变更。特别需要指出的是,使用了--noUnusedLocals--noUnusedParameters时,只写引用会被标记为错误。而且,在声明文件和declare module块中,表达式不允许默认输出。

运行下面的命令可以安装TypeScript 2.6:

npm install -g typescript

要想了解有关TypeScript 2.6的详细信息,请查阅TypeScript的新特性

查看英文原文TypeScript 2.6 Adds Strict Parameter Contravariance and More

关于TypeScript的推荐文章

使用Visual Studio Code开发TypeScript  http://www.linuxidc.com/Linux/2015-07/119456.htm

WebStorm下使用TypeScript  http://www.linuxidc.com/Linux/2015-06/118853.htm

TypeScript 基本语法  http://www.linuxidc.com/Linux/2015-06/118852.htm

TypeScript设计模式之策略、模板方法  http://www.linuxidc.com/Linux/2017-03/141739.htm

TypeScript设计模式之门面、适配器  http://www.linuxidc.com/Linux/2017-03/141738.htm

参与评论