写在前面
不是完整的版本新特性，这里只写出了我觉得常用的新特性
可选链式运算符 ?.
js 也支持了这个特性
obj?.prop 当 obj 为 null/undefined 式直接返回 undefined，可以用来代替obj && obj.prop
// Before
if (foo && foo.bar && foo.bar.baz) {
// ...
}
// After-ish
if (foo?.bar?.baz) {
// ...
}
- 可以用于访问数组或者式对象索引
arr?.[1];
const name = "name";
obj?.[name];
- 可以用于函数调用
obj.func?.(123);
空合并运算符 ??
a ?? b 当 a 为 null/undefined 的时候返回 b，其余返回 a
?? 和 || 的区别
||运算符当前面的变量式假值（false/0/null/undefined/NaN/''）式都会返回后面的变量，有时候这可能不是我们想要的；??则只会过滤 null 和 undefined
type 的扩展使用
- type 类型定义时可以使用自己
type Json =
| string
| number
| boolean
| null
| { [property: string]: Json }
| 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 3.7 引入了一个称为“断言签名”的新概念，可以对这些断言函数进行建模。
确保在包含范围的其余部分中，无论检查什么条件都必须为真。
function assert(condition: any, msg?: string): asserts condition {
if (!condition) {
throw new TypeError(msg);
}
}
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 TypeError(msg);
}
}
断言签名的另一种类型不检查条件，而是告诉 TypeScript 特定的变量或属性具有不同的类型。其余范围内 val 一定是 string，类似于类型守卫
function assertIsString(val: any): asserts val is string {
if (typeof val !== "string") {
throw new TypeError("Not a string!");
}
}
