〔译〕TypeScript 2.0 候选版发布

2024年5月15日 156次阅读来源: 边城

推断类型（Tagged Unions）

译者注
对于 Tagged Unions 的翻译，我查了很多资料，在 wiki 上找到如下描述：a tagged union, also called a variant, variant record, discriminated union, disjoint union, or sum type。其中 Variant 这个说法在 VB 中十分常用。在参考了 C# 对 var 关键字的翻译之后，我决定将其翻译为“推断类型”。
推断类型是一种数据结构，很像联合（C/C++程序员一定知道这个结构）。它有一个字段（或称为属性）用于识别当前结构的确切类型。（参考 What is a tagged union）

推断类型使 JavaScript 在某些方向更像 F#、Swift 等语言。为此，JavaScript 程序员们一定会非常高兴。这个特性也叫 可识别联合、互斥联合 或 代理类型。不过特性本身显然比名称更有意思。

假设有两个类型：Circle 和 Square，然后定义它们的联合类型，命名为 Shape。

interface Circle {
    kind: "circle";
    radius: number;
}

interface Square {
    kind: "square";
    sideLength: number;
}

type Shape = Circle | Square;

注意 Circle 和 Square 都有一个叫 kind 的字段，保存的字符串常数，表示类型。也就是说 Circle 的 kind 总是 "circle"。每个类型都有一个共同的字段，但通过不同的值作为标记区分开来。

在 TypeScript 1.8 中，如果写一个获取面积的函数，需要判断 Shape 的每种类型。

function getArea(shape: Shape) {
    switch (shape.kind) {
        case "circle":
            // 从 'Shape' 转换为 'Circle'
            let c = shape as Circle;
            return Math.PI * c.radius ** 2;

        case "square":
            // 从 'Shape' 转换为 'Square'
            let sq = shape as Square;
            return sq.sideLength ** 2;
    }
}

注意到我们为每种图形都使用了一个中间变量来使代码看起来简洁。

在 2.0 中就不再需要中间变量了。语言懂得如何通过 kind 来辨别类型，所以你可以少写点代码

function getArea(shape: Shape) {
    switch (shape.kind) {
        case "circle":
            // 这里 'shape' 是 'Circle'
            return Math.PI * shape.radius ** 2;

        case "square":
            // 这里 'shape' 是 'Square'
            return shape.sideLength ** 2;
    }
}

上面的代码完全正确，TypeScript 能通过流程控制分析每个分支上的正确类型。可以使用 --noImplicitReturns 和即将可用的 --strictNullChecks 特性保证这些检查更彻底。

推断类型让 JavaScript 这种形式下的代码更简洁也更安全。例如，像 Redux 这样的库经常使用这种形式的来处理 action。每个独立的

更多字面类型

1.8 带来的字符串字面类型非常有用，就像上面看到的那样，可以用它来处理推断类型。

除了字符串，我们还想提供更多的类型。在 2.0 中，每个独特的布尔、数值或枚举成员都可以拥有自己的类型！

type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9;
let nums: Digit[] = [1, 2, 4, 8];

// 错误! '16' 不是 'Digit'!
nums.push(16);

这样在使用推断类型时，我们可以快速而地处理一些事情而毫无违和感。

interface Success<T> {
    success: true;
    value: T;
}

interface Failure {
    success: false;
    reason: string;
}

type Result<T> = Success<T> | Failure;

这里的 Result<T> 类型可能表示失败。如果表示成功，它有一个值，如果表示失败，它包含表示失败原因的 reson 字段。value 字段仅在 success 是 true 的时候有效。

declare function tryGetNumUsers(): Result<number>;

let result = tryGetNumUsers();
if (result.success === true) {
    // 'result' 是 'Success<number>' 类型的
    console.log(`Server reported ${result.value} users`);
}
else {
    // 'result'是 'Failure' 类型的
    console.error("Error fetching number of users!", result.reason);
}

你可能已经注意到了，枚举值也可以拥有它们自己的类型！

enum ActionType { Append, Erase }

interface AppendAction { 
    type: ActionType.Append;
    text: string;
}

interface EraseAction {
    type: ActionType.Erase;
    numChars: number;
}

function updateText(currentText: string, action: AppendAction | EraseAction) {
    if (action.type === ActionType.Append) {
        // 'action' has type 'AppendAction'
        return currentText + action.text;
    }
    else {
        // 'action' has type 'EraseAction'
        return currentText.slice(0, -action.numChars);
    }
}

Globs语法、包含和排除

译者注
Globs 直译是“团块”的意思，不过这显然不如 Globs 本身意思明确。所以这里我没有翻译这个词。关于 Globs，可以参考 node-blog 在 README.md 中的说明。

首次向大家介绍 tsconfig.json 文件的时候，手工列出所有文件实在痛苦。TypeScript 1.6 引入了 excludes 配置来缓解这个问题；然而，这显然不够。痛苦在于，写完了每条文件路径，仍然会有问题发生，结果是因为忘了排除新文件。

TypeScript 2.0 终于开始支持 Globs 语法。Globs 允许我们在路径中使用通配符，这样一来，写路径再也不是件乏味的事了。

include 和 exclude 配置中都可以使用 Globs 语法。来看一个 tsconfig.json 的示例：

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

TypeScript globs 语法支持如下通配符：

* 匹配 0 个或多个字符，分隔符（比如 / 或 \）除外
? 精确匹配 1 个字符，分隔符除外
**/ 匹配任意层子目录

接下来的事

之前提到，TypeScript 2.0 很快就发布了，但是使用 RC 版本带来的 2.0 的新特性会为社区发展带来巨大的作用。

如果发现任何问题，可以通过Github 反馈给我们。我们非常愿意听到你尝试之后给我们的反馈。祝愉快！

    原文作者：边城
    原文地址: https://segmentfault.com/a/1190000006845790
    本文转自网络文章，转载此文章仅为分享知识，如有侵权，请联系博主进行删除。

算法网

〔译〕TypeScript 2.0 候选版发布

相关链接

推断类型（Tagged Unions）

更多字面类型

Globs语法、包含和排除

接下来的事