as const 断言

问题概述

TypeScript 中的 as const 是一种类型断言语法，它让开发者能够创建完全只读的数据结构，包括数组、对象和元组。很多开发者在使用时会产生困惑：为什么要使用 as const？它与普通的 const 声明有什么区别？本文将详细解析 as const 的作用和使用场景。

示例代码

const args = [8, 5] as const;
const angle = Math.atan2(...args);
console.log(angle);

基础概念

const 与 as const 的区别

普通的 const 声明只能保证变量引用不变，但不能保证引用内容的不变性：

const args = [8, 5];
args[0] = 3;  // ✅ 可以修改数组元素
args.push(3); // ✅ 可以添加新元素
args = [1, 2]; // ❌ 不能重新赋值（类型错误）

而 as const 创建一个完全不可变的结构：

const args = [8, 5] as const;
args[0] = 3;  // ❌ 无法分配到 "0"，因为它是只读属性
args.push(3); // ❌ 属性 'push' 在类型 'readonly [8, 5]' 上不存在

类型推断差异

没有 as const 时，TypeScript 会进行类型拓宽（type widening）：

const args = [8, 5]; // 类型推断为 number[]

使用 as const 后，TypeScript 会推断最具体的类型：

const args = [8, 5] as const; // 类型推断为 readonly [8, 5]

主要用途

1. 元组类型推断

as const 可以将数组转换为只读元组，这在需要精确元素数量和类型的场景中非常有用：

// 普通数组
const coords = [10, 20]; // number[]
const distance = Math.hypot(...coords); // ❌ 错误：期望2个参数，得到0个或更多

// 使用 as const
const coords = [10, 20] as const; // readonly [10, 20]
const distance = Math.hypot(...coords); // ✅ 正确

2. 防止类型拓宽

在某些情况下，我们需要确保字面量类型不被拓宽：

type Status = "success" | "danger";

function showStatus(status: Status) {
  console.log({ status });
}

const status = "success"; // 类型被推断为 string，而不是 "success"
showStatus(status); // ❌ 错误：string 不能赋值给 Status 类型

// 解决方案
showStatus("success" as const); // ✅ 正确

3. 创建只读对象

as const 也可以用于对象字面量，使其所有属性变为只读：

const config = {
  theme: "dark",
  animation: true,
  version: "1.0.0"
} as const;

config.theme = "light"; // ❌ 无法分配到 "theme"，因为它是只读属性

实际应用场景

函数参数传递

当需要将数组作为参数传递给需要特定数量参数的函数时：

function calculate(x: number, y: number, z: number): number {
  return x * y + z;
}

const params = [2, 3, 4] as const; // readonly [2, 3, 4]
const result = calculate(...params); // ✅ 正确

配置对象

创建不可变的配置对象：

const APP_CONFIG = {
  apiUrl: "https://api.example.com",
  timeout: 5000,
  retries: 3,
  themes: ["light", "dark", "system"]
} as const;

// 整个配置对象变为只读，包括嵌套属性

联合类型保护

确保字符串字面量类型不被意外拓宽：

const DIRECTIONS = {
  UP: "UP",
  DOWN: "DOWN",
  LEFT: "LEFT",
  RIGHT: "RIGHT"
} as const;

type Direction = typeof DIRECTIONS[keyof typeof DIRECTIONS];
// 等同于: "UP" | "DOWN" | "LEFT" | "RIGHT"

注意事项

运行时行为

as const 只在编译时起作用，不会影响运行时行为。在运行时，你仍然可以修改这些值（虽然 TypeScript 会在编译时报错）。

性能考虑

使用 as const 不会带来运行时性能损失，因为它只是 TypeScript 的类型系统特性，在编译后会被完全擦除。

使用限制

as const 有一些特殊情况需要注意：

• 不能用于函数调用表达式
• 不能用于修改已经存在的变量类型
• 在某些复杂类型场景中可能会有意外行为

总结

as const 是 TypeScript 中一个强大的类型断言功能，它能够：

1. 创建完全只读的数据结构
2. 提供更精确的类型推断
3. 防止不必要的类型拓宽
4. 增强代码的类型安全性

通过合理使用 as const，你可以编写出更加健壮和类型安全的 TypeScript 代码，减少运行时错误的发生概率。