TypeScript 如何实现类型收窄（Type Narrowing），以及有什么作用？

类型收窄（Type Narrowing）是 TypeScript 中的一种机制，用于在代码执行过程中，通过对类型的细粒度控制，逐渐将更宽泛的类型缩小为更具体的类型。这可以帮助开发者在使用变量时得到更正确、更安全的类型提示和错误检查。

在 TypeScript 中，类型收窄主要通过几种途径实现：

1. **类型守卫（Type Guards）**：
- 类型守卫是通过条件语句来判断某个值的具体类型，从而在不同的代码分支中使用更准确的类型。
- 常见的类型守卫包括使用 `typeof`、`instanceof` 以及通过自定义类型守卫函数进行类型检查。

```typescript
function example(input: number | string) {
if (typeof input === "string") {
console.log(input.toUpperCase()); // 在这个分支中，TypeScript 知道 input 是字符串
} else {
console.log(input.toFixed(2)); // 在这个分支中，TypeScript 知道 input 是数字
}
}
```

2. **类型断言（Type Assertions）**：
- 类型断言用于告诉 TypeScript 开发者已经知道某个值的具体类型，与类型守卫不同，类型断言是开发者手动告知，而非自动推断。
- 使用语法：`` 或 `as Type`。

```typescript
function processEntity(entity: any) {
const stringEntity = entity as string;
console.log(stringEntity.toUpperCase());
}
```

3. **联合类型分支**：
- 当一个变量有多个可能的联合类型时，可以通过条件逻辑直接在代码路径中“分支”来收窄类型。

```typescript
function printValue(value: string | number) {
if (typeof value === 'string') {
console.log(value.trim());
} else {
console.log(value + 1);
}
}
```

4. **用户自定义类型守卫**：
- 可以定义一个返回值类型为 `value is SpecificType` 的函数，让 TypeScript 给予代码更精确的类型推断。

```typescript
function isString(value: any): value is string {
return typeof value === "string";
}

function example(value: string | number) {
if (isString(value)) {
console.log(value.toUpperCase()); // 在这个分支中，TypeScript 知道 value 是字符串
} else {
console.log(value.toFixed(2)); // 在这个分支中，TypeScript 知道 value 是数字
}
}
```

类型收窄的作用在于提升代码的类型安全性以及增强开发者的代码提示体验，使得编写 TypeScript 代码时更能依赖类型系统来减少潜在错误。