typescript 中的 断言

在TypeScript中，断言函数是一种告诉编译器你确信代码的方式。这样可以在不改变运行时行为的情况下，去除类型检查的一些不必要的限制。

TypeScript中的断言有两种形式：

1. 类型断言：

类型断言指的是在运行时不会进行任何检查的方式来告诉TypeScript编译器变量的类型。

例如，假设我们有一个变量 value，它的类型被定义为 unknown。

let value: unknown = 'Hello, World!';

如果我们想要断言 value 的类型为 string，我们可以使用如下的语法：

let strLength = (value as string).length;

2. 自定义类型保护：

自定义类型保护是一种特殊的断言，它允许你在代码中添加运行时检查。

例如，我们可以创建一个函数，该函数接收一个 unknown 类型的参数，并断言它是一个 string 类型：

function isString(value: unknown): value is string {
  return typeof value === 'string';
}
 
let value: unknown = 'Hello, World!';
 
if (isString(value)) {
  console.log(value.toUpperCase());  // 在这里，TypeScript 知道 `value` 是一个字符串
}

在这个例子中，value is string 就是一个自定义的类型保护。它告诉TypeScript，value 在 isString 函数内部的代码块中是一个 string 类型。