TypeScript 中 const 断言与 as const 的实战用法：从字面量类型到只读元组

在维护一个用 TypeScript 编写的前端工程时，经常会遇到这样的问题：从配置对象或路由表里读出来的值，类型被推断成了宽泛的 string 或 number 数组，导致后续做联合类型匹配、索引访问或 switch 穷举时编译器给不出应有的提示。比如 const routes = { home: '/', user: '/user' }，直接取 routes.home 得到的类型是 string