TypeScript中字符串字面量类型与typeof操作符的疑问

首先要明确TypeScript编译时类型和JavaScript运行时行为的核心区别：

• 当你声明const x = 'X'时，TypeScript会为x推断出字面量类型'X'——这是编译时的静态类型约束，用于代码的类型检查，所以给let y: typeof x赋值'Y'会报错，因为'Y'和'X'属于不兼容的字面量类型。

• 而typeof x是JavaScript的原生运算符，它的运行时行为是固定的：对任何字符串值调用typeof，返回的结果永远是字符串"string"。TypeScript会严格遵循JavaScript的实际运行逻辑，因此会把typeof x的类型推断为字面量类型"string"，而非变量x本身的字面量类型'X'。

这直接解释了你遇到的两个现象：

• 写if (typeof x === 'X')时，TypeScript清楚typeof x的类型是"string"，和"X"没有类型交集，因此提示类型不重叠的错误——因为这个条件在运行时永远不会成立。
• console.log(typeof x)的类型推断结果为string，完全匹配JavaScript的实际运行输出。

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