【译】Typescript 3.7 经常使用新特性一览

写在最前面

• 3.7, 其实至今 3.9 beta 已经发布，有兴趣的同窗能够研究一下，这里列举几个经常使用的 3.7 的特性。 大部分自译，少许借用 google 翻译(ps: google 翻译质量还不错)，须要了解和使用 typescript 的看官网学习是很是好的，特别是英文文档写得很是不错。

• 3.8 译文已出： Typescript 3.8 经常使用新特性了解

可选链式运算符

经常使用新特性 1

• ?. 的使用

// Before
if (foo && foo.bar && foo.bar.baz) {
    // ...
}

// After-ish
if (foo?.bar?.baz) {
    // ...
}
复制代码

直接看代码，咱们在使用链式调用的时候通常都会检测链式的存在问题，这里咱们的 ==?== 帮咱们完成了这件事儿。下面看官方的解释

// 使用 ?.
let x = foo?.bar.baz();

// 执行逻辑编译以下
let x = (foo === null || foo === undefined) ?
    undefined :
    foo.bar.baz();
    
/* 当 foo 不存在或者未定义的时候，直接返回 undefined，这个时候 x = undefined 复制代码

this is a way of saying that when foo is defined, foo.bar.baz() will be computed; but when foo is null or undefined, stop what we’re doing and just return undefined.”

经常使用新特性 2

• ?? 运算符

let x = foo ?? bar();
复制代码

这是一种新的表示值foo“存在”时将被使用的方式；可是当它是null或时undefined，去计算 bar()。

一样，以上代码等效于如下代码。

let x = (foo !== null && foo !== undefined) ?
    foo :
    bar();
复制代码

type 的扩展使用

经常使用新特性 3

type Json =
    | string
    | number
    | boolean
    | null
    | JsonObject
    | JsonArray;

interface JsonObject {
    [property: string]: Json;
}

interface JsonArray extends Array<Json> {}
复制代码

• ts 3.7 实现

type Json =
    | string
    | number
    | boolean
    | null
    | { [property: string]: Json }
    | Json[];
复制代码

咱们没必要再借用 interface 来组装一个 Json 数组对象，能够直接借由{ } 包装实现。

断言功能的扩展

• throw若是发生意外状况，则有一组特定的函数会出错。它们被称为“断言”功能。例如，Node.js为此有一个专用功能assert。

assert(someValue === 42);

在此示例中，若是someValue不等于42，assert则将抛出AssertionError。
复制代码

• JavaScript中的断言一般用于防止传入不正确的类型。例如，

function multiply(x, y) {
    assert(typeof x === "number");
    assert(typeof y === "number");

    return x * y;
}
复制代码

不太好的是，在TypeScript中，这些检查永远没法正确编码。对于松散类型的代码，这意味着TypeScript的检查较少，而对于稍微保守的代码，则一般迫使用户使用类型断言。

function yell(str) {
    assert(typeof str === "string");

    return str.toUppercase();
    // Oops! We misspelled 'toUpperCase'.
    // Would be great if TypeScript still caught this!
}
复制代码

• 替代方法是改写代码，以便语言能够对其进行分析，但这并不方便。

function yell(str) {
    if (typeof str !== "string") {
        throw new TypeError("str should have been a string.")
    }
    // Error caught!
    return str.toUppercase();
}
复制代码

解决方案，最终，TypeScript的目标是以最小的破坏性方式键入现有的JavaScript结构。所以，TypeScript 3.7引入了一个称为“断言签名”的新概念，能够对这些断言函数进行建模。

第一种类型的断言签名对Node assert函数的工做方式进行建模。它确保在包含范围的其他部分中，不管检查什么条件都必须为真。

function assert(condition: any, msg?: string): asserts condition {
    if (!condition) {
        throw new AssertionError(msg)
    }
}
复制代码

asserts condition表示，condition若是assert返回则传递给参数的任何内容都必须为true （由于不然会引起错误）。这意味着对于其他范围，该条件必须是真实的。举个例子，使用这个断言函数意味着咱们确实证明了 yell 的例子。

function yell(str) {
    assert(typeof str === "string");

    return str.toUppercase();
    // ~~~~~~~~~~~
    // error: Property 'toUppercase' does not exist on type 'string'.
    // Did you mean 'toUpperCase'?
}

function assert(condition: any, msg?: string): asserts condition {
    if (!condition) {
        throw new AssertionError(msg)
    }
}
复制代码

断言签名的另外一种类型不检查条件，而是告诉TypeScript特定的变量或属性具备不一样的类型。

function assertIsString(val: any): asserts val is string {
    if (typeof val !== "string") {
        throw new AssertionError("Not a string!");
    }
}
复制代码

参考

• www.typescriptlang.org/docs/handbo…