TypeScript中的“as const”是什么意思？类型断言！

as const 也是类型断言的一种

这被称为const断言。const断言告诉编译器为表达式推断出它能推断出的最窄或最特定的类型。如果不使用它，编译器将使用其默认类型推断行为，这可能会导致更广泛或更一般的类型。

请注意，它被称为“断言”，而不是“强制转换”。术语“cast”在TypeScript中通常是要避免的；当人们说“cast”时，它们通常意味着某种可以在运行时观察到的效果，但是TypeScript的类型系统，包括类型断言和const断言，从发出的JavaScript中被完全删除。因此，在运行时，使用as const的程序和不使用as const的程序完全没有区别。

---

不过，在编译时，有一个明显的区别。让我们看看在上面的例子中省略as const会发生什么：

const args = [8, 5];
// const args: number[]
const angle = Math.atan2(...args); // error! Expected 2 arguments, but got 0 or more.
console.log(angle);

编译器看到const args = [8, 5];，并推断出number[]的类型。这是一个由0个或更多number类型的元素组成的可变数组。编译器不知道有多少或哪些元素。这样的推断通常是合理的；通常，数组内容意味着要以某种方式进行修改。如果有人想写args.push(17)或args[0]++，他们会很乐意使用number[]类型。

不幸的是，下一行Math.atan2(…args)导致了一个错误。Math.atan2()函数正好需要两个数值参数。但是编译器只知道args是一个数字数组。它完全忘记了有两个元素，因此编译器抱怨说，当它只需要两个参数时，您正在用“0或更多”参数调用Math.atan2()。

---

将其与as const的代码进行比较：

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

现在编译器推断args属于readonly [8, 5]类型。。。一个readonly元组，其值正好是按此顺序排列的数字8和5。具体来说，args.length被编译器精确地称为2。

这就足够下一行使用Math.atan2()了。编译器知道Math.atan2(…args)与Math.atan2(8, 5)相同，这是一个有效的调用。