typescript基础之 as const

as const是TypeScript中的一个用于修饰符，它可以被用来修改类型推断的行为。当as cons修饰符用在变量声明或表达式的类型上时，它会强制TypeScript将变量或表达式的类型视为不可变的（immutable）。这意味着：

•  变量或表达式的值不能被修改，否则会报错。例如，const foo = 1 as const; foo = 2;会报错，因为foo是不可变的。

•  变量或表达式的类型不能被扩展（widening），而是被缩小（narrowing）到最精确的类型。例如，const foo = 1 as const;的类型不是number，而是字面量类型1。这样可以避免一些潜在的错误，比如在switch语句中遗漏某些情况。

•  如果变量或表达式是一个对象或数组，那么它的所有属性和元素也都会被视为不可变的，并且它们的类型也会被缩小到最精确的类型。例如，const foo = { bar: 1, baz: "hello" } as const;的类型不是{ bar: number, baz: string }，而是{ readonly bar: 1, readonly baz: "hello" }。

as cons修饰符通常用于以下几种场景：

•  定义一些常量，比如枚举值、配置项等，这样可以保证它们不会被修改，并且可以提供更精确的类型提示。

•  定义一些字面量类型，比如联合类型、元组类型等，这样可以避免类型扩展，并且可以进行網羅性检查（exhaustiveness check）。

•  定义一些不可变的对象或数组，比如React中的props、state等，这样可以提高性能，并且可以避免一些副作用。