TypeScript 2.0
Null和undefined类型
TypeScript现在有两个特殊的类型:Null和Undefined, 它们的值分别是null
和undefined
。 以前这是不可能明确地命名这些类型的,但是现在null
和undefined
不管在什么类型检查模式下都可以作为类型名称使用。
以前类型检查器认为null
和undefined
赋值给一切。实际上,null
和undefined
是每一个类型的有效值, 并且不能明确排除它们(因此不可能检测到错误)。
--strictNullChecks
--strictNullChecks
--strictNullChecks
可以切换到新的严格空检查模式中。
在严格空检查模式中,null
和undefined
值不再属于任何类型的值,仅仅属于它们自己类型和any
类型的值 (还有一个例外,undefined
也能赋值给void
)。因此,尽管在常规类型检查模式下T
和T | undefined
被认为是相同的 (因为undefined
被认为是任何T
的子类型),但是在严格类型检查模式下它们是不同的, 并且仅仅T | undefined
允许有undefined
值,T
和T | null
的关系同样如此。
示例
使用前赋值检查
在严格空检查模式中,编译器要求未包含undefined
类型的局部变量在使用之前必须先赋值。
示例
编译器通过执行基于控制流的类型分析检查变量明确被赋过值。在本篇文章后面会有进一步的细节。
可选参数和属性
可选参数和属性会自动把undefined
添加到他们的类型中,即使他们的类型注解明确不包含undefined
。例如,下面两个类型是完全相同的:
非null和非undefined类型保护
如果对象或者函数的类型包含null
和undefined
,那么访问属性或调用函数时就会产生编译错误。因此,对类型保护进行了扩展,以支持对非null和非undefined的检查。
示例
非null和非undefined类型保护可以使用==
、!=
、===
或!==
操作符和null
或undefined
进行比较,如x != null
或x === undefined
。对被试变量类型的影响准确地反映了JavaScript的语义(比如,双等号运算符检查两个值无论你指定的是null还是undefined,然而三等于号运算符仅仅检查指定的那一个值)。
类型保护中的点名称
类型保护以前仅仅支持对局部变量和参数的检查。现在类型保护支持检查由变量或参数名称后跟一个或多个访问属性组成的“点名称”。
示例
点名称的类型保护和用户定义的类型保护函数,还有typeof
和instanceof
操作符一起工作,并且不依赖--strictNullChecks
编译参数。
对点名称进行类型保护后给点名称任一部分赋值都会导致类型保护无效。例如,对x.y.z
进行了类型保护后给x
、x.y
或x.y.z
赋值,都会导致x.y.z
类型保护无效。
表达式操作符
表达式操作符允许运算对象的类型包含null
和/或undefined
,但是总是产生非null和非undefined类型的结果值。
&&
操作符添加null
和/或undefined
到右边操作对象的类型中取决于当前左边操作对象的类型,||
操作符从左边联合类型的操作对象的类型中将null
和undefined
同时删除。
类型扩展
在严格空检查模式中,null
和undefined
类型是不会扩展到any
类型中的。
在常规类型检查模式中,由于扩展,会推断z
的类型是any
,但是在严格空检查模式中,推断z
是null
类型(因此,如果没有类型注释,null
是z
的唯一值)。
非空断言操作符
在上下文中当类型检查器无法断定类型时,一个新的后缀表达式操作符!
可以用于断言操作对象是非null和非undefined类型的。具体而言,运算x!
产生一个不包含null
和undefined
的x
的值。断言的形式类似于<T>x
和x as T
,!
非空断言操作符会从编译成的JavaScript代码中移除。
兼容性
这些新特性是经过设计的,使得它们能够在严格空检查模式和常规类型检查模式下都能够使用。尤其是在常规类型检查模式中,null
和undefined
类型会自动从联合类型中删除(因为它们是其它所有类型的子类型),!
非空断言表达式操作符也被允许使用但是没有任何作用。因此,声明文件使用null和undefined敏感类型更新后,在常规类型模式中仍然是可以向后兼容使用的。
在实际应用中,严格空检查模式要求编译的所有文件都是null和undefined敏感类型。
基于控制流的类型分析
TypeScript 2.0实现了对局部变量和参数的控制流类型分析。以前,对类型保护进行类型分析仅限于if
语句和?:
条件表达式,并且不包括赋值和控制流结构的影响,例如return
和break
语句。使用TypeScript 2.0,类型检查器会分析语句和表达式所有可能的控制流,在任何指定的位置对声明为联合类型的局部变量或参数产生最可能的具体类型(缩小范围的类型)。
示例
基于控制流的类型分析在--strictNullChecks
模式中尤为重要,因为可空类型使用联合类型来表示:
而且,在--strictNullChecks
模式中,基于控制流的分析包括,对类型不允许为undefined
的局部变量有明确赋值的分析。
标记联合类型
TypeScript 2.0实现了标记(或区分)联合类型。具体而言,TS编译器现在支持类型保护,基于判别属性的检查来缩小联合类型的范围,并且switch
语句也支持此特性。
示例
判别属性类型保护是x.p == v
、x.p === v
、x.p != v
或者x.p !== v
其中的一种表达式,p
和v
是一个属性和字符串字面量类型或字符串字面量联合类型的表达式。判别属性类型保护缩小x
的类型到由判别属性p
和v
的可能值之一组成的类型。
请注意,我们目前只支持字符串字面值类型的判别属性。我们打算以后添加对布尔值和数字字面量类型的支持。
never
类型
never
类型TypeScript 2.0引入了一个新原始类型never
。never
类型表示值的类型从不出现。具体而言,never
是永不返回函数的返回类型,也是变量在类型保护中永不为true的类型。
never
类型具有以下特征:
never
是所有类型的子类型并且可以赋值给所有类型。没有类型是
never
的子类型或能赋值给never
(never
类型本身除外)。在函数表达式或箭头函数没有返回类型注解时,如果函数没有
return
语句,或者只有never
类型表达式的return
语句,并且如果函数是不可执行到终点的(例如通过控制流分析决定的),则推断函数的返回类型是never
。在有明确
never
返回类型注解的函数中,所有return
语句(如果有的话)必须有never
类型的表达式并且函数的终点必须是不可执行的。
因为never
是每一个类型的子类型,所以它总是在联合类型中被省略,并且在函数中只要其它类型被返回,类型推断就会忽略never
类型。
一些返回never
函数的示例:
一些函数返回never
的使用示例:
因为never
可以赋值给每一个类型,当需要回调函数返回一个更加具体的类型时,函数返回never
类型可以用于检测返回类型是否正确:
只读属性和索引签名
属性或索引签名现在可以使用readonly
修饰符声明为只读的。
只读属性可以初始化和在同一个类的构造函数中被赋值,但是在其它情况下对只读属性的赋值是不允许的。
此外,有几种情况下实体隐式只读的:
属性声明只使用
get
访问器而没有使用set
访问器被视为只读的。在枚举类型中,枚举成员被视为只读属性。
在模块类型中,导出的
const
变量被视为只读属性。在
import
语句中声明的实体被视为只读的。通过ES2015命名空间导入访问的实体被视为只读的(例如,当
foo
当作import * as foo from "foo"
声明时,foo.x
是只读的)。
示例
指定函数中this
类型
this
类型紧跟着类和接口,现在函数和方法也可以声明this
的类型了。
函数中this
的默认类型是any
。从TypeScript 2.0开始,你可以提供一个明确的this
参数。this
参数是伪参数,它位于函数参数列表的第一位:
回调函数中的this
参数
this
参数库也可以使用this
参数声明回调函数如何被调用。
示例
this:void
意味着addClickListener
预计onclick
是一个this
参数不需要类型的函数。
现在如果你在调用代码中对this
进行了类型注释:
--noImplicitThis
--noImplicitThis
TypeScript 2.0还增加了一个新的编译选项用来标记函数中所有没有明确类型注释的this
的使用。
tsconfig.json
支持文件通配符
tsconfig.json
支持文件通配符文件通配符来啦!!支持文件通配符一直是最需要的特性之一。
类似文件通配符的文件模式支持两个属性"include"
和"exclude"
。
示例
支持文件通配符的符号有:
*
匹配零个或多个字符(不包括目录)?
匹配任意一个字符(不包括目录)**/
递归匹配所有子目录
如果文件通配符模式语句中只包含*
或.*
,那么只匹配带有扩展名的文件(例如默认是.ts
、.tsx
和.d.ts
,如果allowJs
设置为true
,.js
和.jsx
也属于默认)。
如果"files"
和"include"
都没有指定,编译器默认包含所有目录中的TypeScript文件(.ts
、.d.ts
和.tsx
),除了那些使用exclude
属性排除的文件外。如果allowJs
设置为true,JS文件(.js
和.jsx
)也会被包含进去。
如果"files"
和"include"
都指定了,编译器将包含这两个属性指定文件的并集。使用ourDir
编译选项指定的目录文件总是被排除,即使"exclude"
属性指定的文件也会被删除,但是files
属性指定的文件不会排除。
"exclude"
属性指定的文件会对"include"
属性指定的文件过滤。但是对"files"
指定的文件没有任何作用。当没有明确指定时,"exclude"
属性默认会排除node_modules
、bower_components
和jspm_packages
目录。
模块解析增加:BaseUrl、路径映射、rootDirs和追踪
TypeScript 2.0提供了一系列额外的模块解析属性告诉编译器去哪里可以找到给定模块的声明。
更多详情,请参阅模块解析文档。
Base URL
使用了AMD模块加载器并且模块在运行时”部署“到单文件夹的应用程序中使用baseUrl
是一种常用的做法。所有非相对名称的模块导入被认为是相对于baseUrl
的。
示例
现在导入moduleA
将会在./modules/moduleA
中查找。
路径映射
有时模块没有直接位于baseUrl中。加载器使用映射配置在运行时去映射模块名称和文件,请参阅RequireJs文档和SystemJS文档。
TypeScript编译器支持tsconfig
文件中使用"paths"
属性映射的声明。
示例
例如,导入"jquery"
模块在运行时会被转换为"node_modules/jquery/dist/jquery.slim.min.js"
。
使用"paths"
也允许更复杂的映射,包括多次后退的位置。考虑一个只有一个地方的模块是可用的,其它的模块都在另一个地方的项目配置。
rootDirs
和虚拟目录
rootDirs
和虚拟目录使用rootDirs
,你可以告知编译器的根目录组合这些“虚拟”目录。因此编译器在这些“虚拟”目录中解析相对导入模块,仿佛是合并到一个目录中一样。
示例
给定的项目结构
构建步骤将复制/src/views
和/generated/templates/views
目录下的文件输出到同一个目录中。在运行时,视图期望它的模板和它存在同一目录中,因此应该使用相对名称"./template"
导入。
"rootDir"
指定的一组根目录的内容将会在运行时合并。因此在我们的例子,tsconfig.json
文件应该类似于:
追踪模块解析
--traceResolution
提供了一种方便的方法,以了解模块如何被编译器解析的。
快捷外部模块声明
当你使用一个新模块时,如果不想要花费时间书写一个声明时,现在你可以使用快捷声明以便以快速开始。
declarations.d.ts
所有从快捷模块的导入都具有任意类型。
模块名称中的通配符
以前使用模块加载器(例如AMD和SystemJS)导入没有代码的资源是不容易的。之前,必须为每个资源定义一个外部模块声明。
TypeScript 2.0支持使用通配符符号(*
)定义一类模块名称。这种方式,一个声明只需要一次扩展名,而不再是每一个资源。
示例
现在你可以导入匹配"*!text"
或"json!*"
的东西了。
当从一个基于非类型化的代码迁移时,通配符模块的名称可能更加有用。结合快捷外部模块声明,一组模块可以很容易地声明为any
。
示例
所有位于myLibrary
目录之下的模块的导入都被编译器认为是any
类型,因此这些模块的任何类型检查都会被关闭。
支持UMD模块定义
一些库被设计为可以使用多种模块加载器或者不是使用模块加载器(全局变量)来使用,这被称为UMD或同构模块。这些库可以通过导入或全局变量访问。
举例:
math-lib.d.ts
然后,该库可作为模块导入使用:
它也可以被用来作为一个全局变量,只限于没有import
和export
脚本文件中。
可选类属性
现在可以在类中声明可选属性和方法,与接口类似。
示例
在--strictNullChecks
模式下编译时,可选属性和方法会自动添加undefined
到它们的类型中。因此,上面的b
属性类型是number | undefined
,上面g
方法的类型是(()=> number) | undefined
。使用类型保护可以去除undefined
。
私有的和受保护的构造函数
类的构造函数可以被标记为private
或protected
。私有构造函数的类不能在类的外部实例化,并且也不能被继承。受保护构造函数的类不能再类的外部实例化,但是可以被继承。
示例
抽象属性和访问器
抽象类可以声明抽象属性和、或访问器。所有子类将需要声明抽象属性或者被标记为抽象的。抽象属性不能初始化。抽象访问器不能有具体代码块。
示例
隐式索引签名
如果对象字面量中所有已知的属性是赋值给索引签名,那么现在对象字面量类型可以赋值给索引签名类型。这使得一个使用对象字面量初始化的变量作为参数传递给期望参数是map或dictionary的函数成为可能:
使用--lib
编译参数包含内置类型声明
--lib
编译参数包含内置类型声明获取ES6/ES2015内置API声明仅限于target: ES6
。输入--lib
,你可以使用--lib
指定一组项目所需要的内置API。比如说,如果你希望项目运行时支持Map
、Set
和Promise
(例如现在静默更新浏览器),直接写--lib es2015.collection,es2015.promise
就好了。同样,你也可以排除项目中不需要的声明,例如在node项目中使用--lib es5,es6
排除DOM。
下面是列出了可用的API:
dom
webworker
es5
es6 / es2015
es2015.core
es2015.collection
es2015.iterable
es2015.promise
es2015.proxy
es2015.reflect
es2015.generator
es2015.symbol
es2015.symbol.wellknown
es2016
es2016.array.include
es2017
es2017.object
es2017.sharedmemory
scripthost
示例
使用--noUnusedParameters
和--noUnusedLocals
标记未使用的声明
--noUnusedParameters
和--noUnusedLocals
标记未使用的声明TypeScript 2.0有两个新的编译参数来帮助你保持一个干净的代码库。-noUnusedParameters
编译参数标记所有未使用的函数或方法的参数错误。--noUnusedLocals
标记所有未使用的局部(未导出)声明像变量、函数、类和导入等等,另外未使用的私有类成员在--noUnusedLocals
作用下也会标记为错误。
示例
使用以_
开头命名的参数声明不会被未使用参数检查。例如:
模块名称允许.js
扩展名
.js
扩展名TypeScript 2.0之前,模块名称总是被认为是没有扩展名的。例如,导入一个模块import d from "./moduleA.js"
,则编译器在./moduleA.js.ts
或./moduleA.js.d.ts
中查找"moduleA.js"
的定义。这使得像SystemJS这种期望模块名称是URI的打包或加载工具很难使用。
使用TypeScript 2.0,编译器将在./moduleA.ts
或./moduleA.d.ts
中查找"moduleA.js"
的定义。
支持编译参数target : es5
和module: es6
同时使用
target : es5
和module: es6
同时使用之前编译参数target : es5
和module: es6
同时使用被认为是无效的,但是现在是有效的。这将有助于使用基于ES2015的tree-shaking(将无用代码移除)比如rollup。
函数形参和实参列表末尾支持逗号
现在函数形参和实参列表末尾允许有逗号。这是对第三阶段的ECMAScript提案的实现, 并且会编译为可用的 ES3/ES5/ES6。
示例
新编译参数--skipLibCheck
--skipLibCheck
TypeScript 2.0添加了一个新的编译参数--skipLibCheck
,该参数可以跳过声明文件(以.d.ts
为扩展名的文件)的类型检查。当一个程序包含有大量的声明文件时,编译器需要花费大量时间对已知不包含错误的声明进行类型检查,通过跳过声明文件的类型检查,编译时间可能会大大缩短。
由于一个文件中的声明可以影响其他文件中的类型检查,当指定--skipLibCheck
时,一些错误可能检测不到。比如说, 如果一个非声明文件中的类型被声明文件用到, 可能仅在声明文件被检查时能发现错误. 不过这种情况在实际使用中并不常见。
允许在声明中重复标识符
这是重复定义错误的一个常见来源。多个声明文件定义相同的接口成员。
TypeScript 2.0放宽了这一约束,并允许可以不同代码块中出现重复的标识符, 只要它们有完全相同的类型。
在同一代码块重复定义仍不允许。
示例
新编译参数--declarationDir
--declarationDir
--declarationDir
可以使生成的声明文件和JavaScript文件不在同一个位置中。
Last updated
Was this helpful?