TypeScript 2.0候选版(RC)已出，哪些新特性值得我们关注？

提示：扫一扫查出行
【扫一扫了解最新限行尾号】
复制提示

注：本文提及到的代码示例下载地址 - Runnable sample to introduce Typescript 2.0 RC new features

作为一个Javascript的超集, TypeScript是微软继C#后最受人瞩目的明星语言，日前TypeScript2.0候选版已于八月底发布，正式版也很快很快的要出来了。

废话少说，使用TypeScript 2.0候选版（RC）的第一步，你需要先下载 TypeScript 2.0 RC for Visual Studio 2015 (VS Update 3，VS Update 3， VS Update 3！重要的事情说三遍，一切一切的前提是你必须先安装VS Update 3)，通过NuGet 或者 npm安装：

npm install -g typescript@rc

号外：Visual Studio Code用户可以根据这个步骤使用候选版。免费广告：这里我要强烈推荐VS Code，好东东啊，有超越宇宙第一IDE VS的趋势。啥Atom啊, notepad啊, 都可以丢一边去了！

基本上候选版（RC）已经无线接近于2.0正式版了，目前微软TypeScript团队通过RC版本广泛的倾听用户的反馈，以保证最终正式版的稳定。根据微软的一贯传统，原则上候选版出来后就不会有太大改动，所以一些修改太大的功能、语法啥的大伙可以提，但不要有太大期望正式版会出来。

由于之前大部分功能在2.0Beta版本已经出来了，所以这次主要说一说RC版本中的一些新的好东东（废话半天了~）：

标记联合(Tagged Unions)

标记联合不知道这个翻译是否精确？但确实是一个非常令人激动的新特性，TypeScript把这种F#, Swift, Rust等语言才有的特性带给了Javascript。标记联合也叫可识别联合，不相交联合或者代数数据类型。不过名字只是一个代号，功能特性才是真正令人觉得有意思的事儿。

举例：比方说你定义了两个类型：Circle（圆形）和Square(正方形)。然后你定义一个功能类型Shape（形状）：

interface Circle {
kind: "circle";
radius: number;
}
interface Square {
kind: "square";
sideLength: number;
}
type Shape = Circle | Square;

你可能会注意到， Circle 和Square这两个接口都有一个叫kind的字符串String类型的定义。这意味着Circle中kind字段总是包含一个"circle" string类型。每一个接口类型都有一个共同的字段kind，但是这个字段在两个接口中其各自唯一的不同的值circle和square。

在TypeScript 1.8中，我们需要写下面这样的一个方法，从而获取一个形状的面积：

function getArea(shape: Shape) {
switch (shape.kind) {
case "circle":
// Convert from 'Shape' to 'Circle'
let c = shape as Circle;
return Math.PI * c.radius ** 2;
case "square":
// Convert from 'Shape' to 'Square'
let sq = shape as Square;
return sq.sideLength ** 2;
}
}

这里我们为shape定义了一个中间变量c和sq，仅仅为了使得代码简洁并容易理解一些。

但到了TypeScript 2.0, 就完全不必要这样定义啦。TypeScript 2.0可以根据kind字段值来理解如何区别他们，因此你可以这么写：

function getArea(shape: Shape) {
switch (shape.kind) {
case "circle":
// 'shape' is a 'Circle' here.
return Math.PI * shape.radius ** 2;
case "square":
// 'shape' is a 'Square' here.
return shape.sideLength ** 2;
}
}

运行一下，完全不会报错，并且TypeScript可以在每个case的分支使用控件流分析查看shape真实的类型。事实上，你甚至可以使用--noImplicitReturns 和即将到来的 --strictNullChecks 特性，以确保这些检查是全面的. PS: strictNullChecks会是啥东东？
标记联合特性使得今天的我们可以放心的在使用一些JavaScript模式的时候保证类型安全。比方说，类似Redux的类库在做一些动作时将常常使用这个模式。

全局（Globs）、包含（Includes）、例外（Excludes）

当我们曾经第一次介绍tsconfig.json文件的时候，很多用户抱怨人工的列出文件是一件很痛苦的事情。TypeScript 1.6介绍了exclude字段从而略微减轻一些这方面的痛苦。尽管如此，大伙普遍认为这还是不够的。写出所有的单个文件的路径是件很麻烦的事情,而且当你忘记排除一些新文件的时候运行就会出问题。

TypeScript 2.0终于可以支持Globs（全局）啦。 Globs允许你使用通配符设置路径，使得你可以根据你的需要进行配置，从而避免之前冗余而麻烦的例举。

你也可以在已经存在的exclude的字段中使用新的include字段。我们这里举一个列子：不妨运行一下下面的代码进行测试，看是否编译正确：

{
"include": [
"./src/**/*.ts"
],
"exclude": [
"./src/tests/**"
]
}

TypeScript的globs支持以下通配符：