TypeScript 2.6

严格函数类型

TypeScript 2.6引入了新的类型检查选项, —strictFunctionTypes—strictFunctionTypes选项是 —strict系列选项之一,也就是说 —strict模式下它默认是启用的。你可以通过在命令行或tsconfig.json中设置 —strictFunctionTypes false来单独禁用它。

—strictFunctionTypes启用时,函数类型参数的检查是抗变(contravariantly) 而非双变(bivariantly)的。关于变体 (variance) 对于函数类型意义的相关背景,请查看 协变(covariance)和抗变(contravariance)是什么?

这一更严格的检查应用于除方法或构造函数声明以外的所有函数类型。方法被专门排除在外是为了确保带泛型的类和接口(如 Array )总体上仍然保持协变。

考虑下面这个 Animal 是 Dog 和 Cat 的父类型的例子:

  1. declare let f1: (x: Animal) => void;
  2. declare let f2: (x: Dog) => void;
  3. declare let f3: (x: Cat) => void;
  4. f1 = f2; // 启用 --strictFunctionTypes 时错误
  5. f2 = f1; // 正确
  6. f2 = f3; // 错误

第一个赋值语句在默认的类型检查模式中是允许的,但是在严格函数类型模式下会被标记错误。 通俗地讲,默认模式允许这么赋值,因为它 可能是合理的,而严格函数类型模式将它标记为错误,因为它不能 被证明合理。 任何一种模式中,第三个赋值都是错误的,因为它 永远不合理。

用另一种方式来描述这个例子则是,默认类型检查模式中 T在类型 (x: T) => void双变的(也即协变 抗变),但在严格函数类型模式中 T抗变的。

例子
  1. interface Comparer<T> {
  2. compare: (a: T, b: T) => number;
  3. }
  4. declare let animalComparer: Comparer<Animal>;
  5. declare let dogComparer: Comparer<Dog>;
  6. animalComparer = dogComparer; // 错误
  7. dogComparer = animalComparer; // 正确

现在第一个赋值是错误的。更明确地说, Comparer<T>中的 T因为仅在函数类型参数的位置被使用,是抗变的。

另外,注意尽管有的语言(比如C#和Scala)要求变体标注(variance annotations)( out/ in+/ -),而由于TypeScript的结构化类型系统,它的变体是由泛型中的类型参数的实际使用自然得出的。

注意:

启用 —strictFunctionTypes时,如果 compare被声明为方法,则第一个赋值依然是被允许的。 更明确的说, Comparer<T>中的 T因为仅在方法参数的位置被使用所以是双变的。

  1. interface Comparer<T> {
  2. compare(a: T, b: T): number;
  3. }
  4. declare let animalComparer: Comparer<Animal>;
  5. declare let dogComparer: Comparer<Dog>;
  6. animalComparer = dogComparer; // 正确,因为双变
  7. dogComparer = animalComparer; // 正确

TypeScript 2.6 还改进了与抗变位置相关的类型推导:

  1. function combine<T>(...funcs: ((x: )=> void)[]): (x: T) => void {
  2. return x => {
  3. for (const f of funcs) f(x);
  4. }
  5. }
  6. function animalFunc(x: Animal) {}
  7. function dogFunc(x: Dog) {}
  8. let combined = combine(animalFuncdogFunc); // (x: Dog) => void

这上面所有 T的推断都来自抗变的位置,由此我们得出 T最普遍子类型。 这与从协变位置推导出的结果恰恰相反,从协变位置我们得出的是 最普遍超类型

缓存模块中的标签模板对象

TypeScript 2.6修复了标签字符串模板的输出,以更好地遵循ECMAScript标准。 根据 ECMAScript 标准,每一次获取模板标签的值时,应该将 同一个模板字符串数组对象 (同一个 TemplateStringArray) 作为第一个参数传递。 在 TypeScript 2.6 之前,每一次生成的都是全新的模板对象。 虽然字符串的内容是一样的,这样的输出会影响通过识别字符串来实现缓存失效的库,比如 lit-html

例子
  1. export function id(x: TemplateStringsArray) {
  2. return x;
  3. }
  4. export function templateObjectFactory() {
  5. return id`hello world`;
  6. }
  7. let result = templateObjectFactory() === templateObjectFactory(); // TS 2.6 为 true

编译后的代码:

  1. "use strict";
  2. var __makeTemplateObject = (this && this.__makeTemplateObject) || function (cooked, raw) {
  3. if (Object.defineProperty) { Object.defineProperty(cooked, "raw", { value: raw }); } else { cooked.raw = raw; }
  4. return cooked;
  5. };
  6. function id(x) {
  7. return x;
  8. }
  9. var _a;
  10. function templateObjectFactory() {
  11. return id(_a || (_a = __makeTemplateObject(["hello world"], ["hello world"])));
  12. }
  13. var result = templateObjectFactory() === templateObjectFactory();

注意:这一改变引入了新的工具函数, __makeTemplateObject; 如果你在搭配使用 —importHelpers tslib ,需要更新到 1.8 或更高版本。

本地化的命令行诊断消息

TypeScript 2.6 npm包加入了13种语言的诊断消息本地化版本。 命令行中本地化消息会在使用 —locale选项时显示。

例子

俄语显示的错误消息:

  1. c:\ts>tsc --v
  2. Version 2.6.1
  3. c:\ts>tsc --locale ru --pretty c:\test\a.ts
  4. ../test/a.ts(1,5): error TS2322: Тип ""string"" не может быть назначен для типа "number".
  5. 1 var x: number = "string";
  6. ~

中文显示的帮助信息:

  1. PS C:\ts> tsc --v
  2. Version 2.6.1
  3. PS C:\ts> tsc --locale zh-cn
  4. 版本 2.6.1
  5. 语法:tsc [选项] [文件 ...]
  6. 示例:tsc hello.ts
  7. tsc --outFile file.js file.ts
  8. tsc @args.txt
  9. 选项:
  10. -h, --help 打印此消息。
  11. --all 显示所有编译器选项。
  12. -v, --version 打印编译器的版本。
  13. --init 初始化 TypeScript 项目并创建 tsconfig.json 文件。
  14. -p 文件或目录, --project 文件或目录 编译给定了其配置文件路径或带 "tsconfig.json" 的文件夹路径的项目。
  15. --pretty 使用颜色和上下文风格化错误和消息(实验)。
  16. -w, --watch 监视输入文件。
  17. -t 版本, --target 版本 指定 ECMAScript 目标版本:"ES3"(默认)、"ES5""ES2015""ES2016""ES2017" "ESNEXT"
  18. -m 种类, --module 种类 指定模块代码生成:"none""commonjs""amd""system""umd""es2015" "ESNext"
  19. --lib 指定要在编译中包括的库文件:
  20. 'es5' 'es6' 'es2015' 'es7' 'es2016' 'es2017' 'esnext' 'dom' 'dom.iterable' 'webworker' 'scripthost' 'es2015.core' 'es2015.collection' 'es2015.generator' 'es2015.iterable' 'es2015.promise' 'es2015.proxy' 'es2015.reflect' 'es2015.symbol' 'es2015.symbol.wellknown' 'es2016.array.include' 'es2017.object' 'es2017.sharedmemory' 'es2017.string' 'es2017.intl' 'esnext.asynciterable'
  21. --allowJs 允许编译 JavaScript 文件。
  22. --jsx 种类 指定 JSX 代码生成:"preserve""react-native" "react" -d, --declaration 生成相应的 ".d.ts" 文件。
  23. --sourceMap 生成相应的 ".map" 文件。
  24. --outFile 文件 连接输出并将其发出到单个文件。
  25. --outDir 目录 将输出结构重定向到目录。
  26. --removeComments 请勿将注释发出到输出。
  27. --noEmit 请勿发出输出。
  28. --strict 启用所有严格类型检查选项。
  29. --noImplicitAny 对具有隐式 "any" 类型的表达式和声明引发错误。
  30. --strictNullChecks 启用严格的 NULL 检查。
  31. --strictFunctionTypes 对函数类型启用严格检查。
  32. --noImplicitThis 在带隐式"any" 类型的 "this" 表达式上引发错误。
  33. --alwaysStrict 以严格模式进行分析,并为每个源文件发出 "use strict" 指令。
  34. --noUnusedLocals 报告未使用的局部变量上的错误。
  35. --noUnusedParameters 报告未使用的参数上的错误。
  36. --noImplicitReturns 在函数中的所有代码路径并非都返回值时报告错误。
  37. --noFallthroughCasesInSwitch 报告 switch 语句中遇到 fallthrough 情况的错误。
  38. --types 要包含在编译中类型声明文件。
  39. @<文件> 从文件插入命令行选项和文件。

通过 '// @ts-ignore' 注释隐藏 .ts 文件中的错误

TypeScript 2.6支持在.ts文件中通过在报错一行上方使用 // @ts-ignore来忽略错误。

例子
  1. if (false) {
  2. // @ts-ignore:无法被执行的代码的错误
  3. console.log("hello");
  4. }

// @ts-ignore注释会忽略下一行中产生的所有错误。 建议实践中在 @ts-ignore之后添加相关提示,解释忽略了什么错误。

请注意,这个注释仅会隐藏报错,并且我们建议你 极少使用这一注释。

更快的 tsc —watch

TypeScript 2.6 带来了更快的 —watch实现。 新版本优化了使用ES模块的代码的生成和检查。 在一个模块文件中检测到的改变 会使改变的模块,以及依赖它的文件被重新生成,而不再是整个项目。 有大量文件的项目应该从这一改变中获益最多。

这一新的实现也为tsserver中的监听带来了性能提升。 监听逻辑被完全重写以更快响应改变事件。

只写的引用现在会被标记未使用

TypeScript 2.6加入了修正的 —noUnusedLocals—noUnusedParameters 编译选项实现。 只被写但从没有被读的声明现在会被标记未使用。

例子

下面 nm都会被标记为未使用,因为它们的值从未被 读取。之前 TypeScript 只会检查它们的值是否被 引用

  1. function f(n: number) {
  2. n = 0;
  3. }
  4. class C {
  5. private m: number;
  6. constructor() {
  7. this.m = 0;
  8. }
  9. }

另外仅被自己内部调用的函数也会被认为是未使用的。

例子
  1. function f() {
  2. f(); // 错误:'f' 被声明,但它的值从未被使用
  3. }