TypeScript：使用const变量进行typeof检查时如何实现类型收窄？

要让TypeScript识别const变量的字面量值并完成类型窄化，你有两种直接的办法：

1. 给变量添加字面量类型注解 #

显式指定变量的类型为字面量'string'，这样TypeScript就知道它的值是固定的，能正确推断类型判断逻辑：

const a: unknown = 'this is a string';
const stringType: 'string' = 'string'; // 显式注解字面量类型
if (typeof a === stringType) {
    console.log(a.toLocaleUpperCase()) // 不再报错
}

2. 使用as const类型断言 #

通过as const告诉TypeScript将变量推断为字面量类型而非宽泛的string类型：

const a: unknown = 'this is a string';
const stringType = 'string' as const; // const断言
if (typeof a === stringType) {
    console.log(a.toLocaleUpperCase()) // 正常工作
}

为什么直接写typeof a === 'string'可以？ #

因为TypeScript内置支持字符串字面量与typeof表达式的类型窄化逻辑，但默认情况下，const stringType = 'string'会被推断为宽泛的string类型，而非字面量'string'，所以TypeScript无法确定这个变量的值是否固定，也就不会触发对a的类型窄化。

关于tsconfig.json配置 #

没有专门的配置项能改变这个默认行为，因为这是TypeScript类型推断的设计逻辑——只有当变量的类型被明确限定为字面量时，才能用于类型窄化判断。

你的性能顾虑是合理的，这两种方案都能复用已定义的变量，避免重复创建字符串，同时满足TypeScript的类型检查要求。

内容的提问来源于stack exchange，提问作者Andrew Slock