请解释 TypeScript 中的 const 断言的作用和用法

推荐答案

const 断言是 TypeScript 中的一种类型断言，用于告诉编译器将某个表达式推断为最窄的类型，而不是默认的宽泛类型。通过使用 as const，可以将对象、数组或字面量的类型锁定为不可变的字面量类型。

示例代码

const colors = ["red", "green", "blue"] as const;

在这个例子中，colors 的类型被推断为 readonly ["red", "green", "blue"]，而不是默认的 string[]。

本题详细解读

1. const 断言的作用

const 断言的主要作用是让 TypeScript 将表达式推断为最窄的类型，通常是字面量类型。这样可以确保类型的安全性，避免不必要的类型扩展。

2. const 断言的用法

const 断言通常用于以下场景：

• 数组字面量：将数组的类型推断为只读的元组类型。
• 对象字面量：将对象的属性类型推断为只读的字面量类型。
• 字面量表达式：将字面量表达式的类型锁定为具体的字面量类型。

3. 示例解析

数组字面量

const colors = ["red", "green", "blue"] as const;

在这个例子中，colors 的类型被推断为 readonly ["red", "green", "blue"]，而不是默认的 string[]。这意味着 colors 数组的元素类型和顺序都被固定，无法修改。

对象字面量

const person = {
  name: "Alice",
  age: 30,
} as const;

在这个例子中，person 的类型被推断为 { readonly name: "Alice"; readonly age: 30; }，而不是默认的 { name: string; age: number; }。这意味着 person 对象的属性值无法被修改。

字面量表达式

const status = "success" as const;

在这个例子中，status 的类型被推断为 "success"，而不是默认的 string。这意味着 status 只能赋值为 "success"，不能赋值为其他字符串。

4. 注意事项

• const 断言只能用于字面量表达式，不能用于变量或函数调用。
• 使用 const 断言后，相关的类型将变为只读，无法修改其属性或元素。