TypeScript类型注解应具备何种程度的精确性？

首先明确：用字面量类型（比如404）给单个固定值的常量做注解不是过度设计，反而完全符合TypeScript倡导的类型精确性原则，而且有实际的开发价值。

1. 字面量类型是TypeScript的合法类型 #

你担心404是值而非类型？其实在TypeScript里，数字、字符串、布尔值的具体值都可以作为字面量类型使用，用来限定变量/常量只能取这个精确值。比如const NOT_FOUND: 404 = 404;是完全合法的语法，TypeScript会把404当作一个类型来处理，而非单纯的数值。

2. 这么做的实际好处 #

• 类型安全：如果有人不小心把NOT_FOUND的值改成405，或者把它赋值给一个需要401的变量，TypeScript会直接在编译阶段报错，提前拦截这类低级错误。
• 自带文档：其他开发者看代码时，不用跳转到赋值部分，从类型注解就能直接知道这个常量的具体值，相当于给代码加了直观的注释。
• 更简洁的替代方案：其实你甚至不需要手动加: 404注解——TypeScript对const声明的常量会自动推断字面量类型。比如：

  export const NOT_FOUND = 404;
  

  这时候TypeScript会自动把它的类型设为404，而非宽泛的number，既简洁又保留了精确类型的所有好处。

3. HTTP状态码场景的最佳实践 #

如果你的状态码是一组相关的值，更推荐把它们整合到一个联合类型里：

type HttpStatusCode = 401 | 403 | 404;
export const UNAUTHORIZED: HttpStatusCode = 401;
export const FORBIDDEN: HttpStatusCode = 403;
export const NOT_FOUND: HttpStatusCode = 404;

这样既保证每个常量都属于合法的状态码集合，又保留了精确的类型约束，后续扩展状态码时，只需要修改HttpStatusCode联合类型即可。

内容的提问来源于stack exchange，提问作者Simon Hudson