先说结论：类型宽化通常是因为 TypeScript 为了兼容性将字面量自动推断为基类类型，通过强制字面量类型或常量断言即可解决。
- 先确认：查看报错位置是否涉及字面量类型（如 "GET"）被推断为基类（如 string）。
- 先处理：在变量定义处添加
as const或显式指定字面量类型。 - 再验证：鼠标悬停变量确认类型不再显示为宽化后的类型。
完整报错复现示例
以下代码展示了典型的类型宽化导致推断错误的场景：
type Method = 'GET' | 'POST';function request(method: Method) {// ...
}const m = 'GET'; // 这里被推断为 string
request(m); // 报错：Argument of type 'string' is not assignable to parameter of type 'Method'.修复后的代码：
const m = 'GET' as const; // 强制推断为字面量 "GET"
request(m); // 通过为什么会这样
TypeScript 的类型推断机制在某些场景下会进行“类型宽化”（Widening）。当你定义 const method = "GET" 时，编译器为了方便后续赋值，默认将其推断为 string 而不是 "GET"。当这个变量传递给要求字面量类型 "GET" | "POST" 的函数时，就会报错，因为 string 范围比字面量太大。
分步处理
第一步：定位宽化位置
在 VS Code 中鼠标悬停报错变量，查看推断出的类型。如果显示为 string 但你期望是 "GET"，说明发生了宽化。
第二步：应用常量断言
在对象或变量定义末尾添加 as const。这会告诉编译器不要宽化字面量，并保持属性为只读。
示例：const config = { method: "GET" } as const;
第三步：检查泛型约束
如果是泛型函数，确保泛型参数有合适的约束。例如使用 T extends "GET" | "POST" 来限制传入值的范围，避免推断为普通字符串。
怎么验证是否生效
1. 悬停检查：鼠标悬停变量，类型应显示为具体的字面量（如 "GET"）而不是 string。
2. 编译检查：运行 tsc `--noEmit` 命令，确认没有类型错误输出。
3. 逻辑验证：确保添加 as const 后，后续代码没有因为只读属性（readonly）而报错修改值。
常见坑
1. 过度使用 any：虽然 any 能消除报错，但会失去类型安全检查，不建议作为常规解决方案。
2. as const 的副作用：使用 as const 后对象属性会变成只读，如果后续代码需要修改该属性，会引发新的类型错误。
3. 忽略 tsconfig 配置：确保 tsconfig.json 中配置合理，某些推断行为受配置影响。示例配置：
{"compilerOptions": {"strict": true,"strictNullChecks": true}
}参考建议
遇到复杂类型推断问题，建议查阅 TypeScript 官方文档关于 Literal Types 和 const assertions 的说明，避免依赖非官方统计数据进行排查。
原文链接：https://www.zjcp.cc/ask/11041.html