免费体验 Gpt4 plus 与 AI作图神器，我们出的钱 体验地址：体验
你有没有感觉 TypeScript中可能有一些被低估但却非常有用的工具，你并没有充分利用？的确有，今天我们要重点介绍一个：as const。它虽然沉默却强大，而且非常有力，是一个被低估的功能，但它的力量却强大无比。
理解 'as const'
以下是一个没有 as const 的代码片段：
const menu = {
home: '/home',
about: '/about',
contact: '/contact'
};这个TypeScript的世界里，这个变量可以随心所欲地变化和改变。听起来很灵活，，但是这里有个陷阱。
请考虑这个 go to root 方法：
function goTo(route: 'home' | 'about' | 'contact') {
// some implementation
}注意到了吗？如果你在 menu 对象中添加了另一条路由，你也需要更新函数 goTo 。这就是冗余，导致同一类型有多个真实来源。
as const 可以为我们解决这个问题。
TypeScript的期望与现实
当你在使用TypeScript时，有时你所期待的和实际发生的情况会痛苦地产生巨大的分歧。当我们试图从现有的类型中创建一个新的类型时，这种分歧变得非常明显。
这里有个例子。假设你有一个对象，你期望TypeScript只考虑这个对象的属性。但是，意外的是！TypeScript只把它当作一个字符串来考虑。
代码语言：javascript复制let route: keyof typeof menu;
route = 'store'; // No error在这种情况下，TypeScript认为 route 是一个可能会发生变化的字符串。但是，我们希望基于属性的固定类型。我们的期望和现实并未对齐。
解决方案：'as const'
我们刚刚经历的那种痛苦的分歧，就是 as const 试图解决的问题。通过将易变属性改为不变属性， as const 使我们的期望与现实保持一致。
const menu = {
home: '/home',
about: '/about',
contact: '/contact'
} as const;通过这个简单的改变，我们的对象属性变成了只读。我们看看它如何影响我们之前的问题：
代码语言：javascript复制let route: keyof typeof menu;
route = 'store'; // Error. Exactly what we wanted!通过使用 as const 使对象变为不可变，TypeScript 现在明白 route 应该只允许提供的键。现在，我们得到了我们想要的确切结果：当我们试图设置无效值时，会出现类型错误。
与 object.freeze 的比较
你可能对JavaScript方法 Object.freeze() 有所了解。 Object.freeze() 和 as const 都可以使对象只读，但它们之间存在着关键的差异。
我们快速了解一下他们的能力：
代码语言：javascript复制const menuFrozen = Object.freeze({
home: '/home',
about: '/about',
contact: '/contact'
});
const menuConst = {
home: '/home',
about: '/about',
contact: '/contact'
} as const;以及一些结果：
代码语言：javascript复制// 这不会改变任何东西，home 仍然是'/home'
menuFrozen.home = '/newHome';
// 编译时错误
menuConst.home = '/newHome';通过 Object.freeze() ，我们拥有了一个运行时概念，可以防止JavaScript对象的更改。然而， Object.freeze() 并不影响 TypeScript 的类型推断。
另一方面，有了 as const ，TypeScript在编译时将对象视为不可变的，使你的类型检查更为严格，这有助于捕捉更多可能的错误。
因此，虽然 as const 和 Object.freeze() 在表面上看起来可能相似，但它们服务于不同的目的。 as const 在类型检查上更为强大，而 Object.freeze() 只在运行时强制实施不变性。
一个配合 'as const' 的更清洁的 'go to root' 函数
我们使用 as const 重构 goTo 函数：
function goTo(route: keyof typeof menu) {
// some implementation
}就这样，as const 使我们免于重复信息的愚蠢操作。我们可以从我们创建的对象中推断出一个类型。这样是不是更简洁了？
使用 'as const' 提取对象值
我们使用 as const 提取我对象值，颠覆TypeScript的规则，获取我们需要的所有详细信息，以编写强大且无bug的代码。这只需要一点类型魔法。
以下是一个示例：
代码语言：javascript复制type Routes = typeof menu[keyof typeof menu];
// Routes is now equal to '/home' | '/about' | '/contact'
