为何TypeScript不为test2生成"a"|"b"类型声明？

你遇到的核心问题是TypeScript在生成声明文件（.d.ts）时的类型拓宽规则，和IDE实时推断的逻辑存在差异：

关键原因拆解 #

• const断言的强制窄化作用：test1里用了as const，这会强制TypeScript将表达式的类型锁定为最精确的字面量联合类型"a"|"b"，无论是IDE推断还是声明文件生成，都会保留这个窄化后的类型。
• 声明文件的默认拓宽规则：对于test2这种没有显式类型注解、也没加as const的const变量，TypeScript生成声明文件时会默认把字面量类型拓宽为对应的原始类型（比如字符串字面量→string）。虽然源码里const变量的值不可修改，IDE能精确推断出它的字面量联合类型，但声明文件作为对外暴露的类型接口，TypeScript默认优先考虑兼容性而非极致精确，所以做了拓宽处理。
• IDE推断与声明生成的逻辑差异：IDE的实时推断是基于源码的完整上下文，会精准计算出变量的实际类型；而声明文件生成则遵循对外暴露的类型规范，默认采用更宽松的原始类型。

解决方法 #

要让test2的类型声明保留"a"|"b"，可以用两种方式：

1. 添加as const断言（可以给整个表达式加，也可以给分支加）：

   // 方式1：给整个表达式加const断言
   export const test2 = (true ? 'a' : 'b') as const;
   // 方式2：给分支加const断言
   export const test2 = true ? ('a' as const) : ('b' as const);
   

2. 显式标注类型：

   export const test2: "a" | "b" = true ? 'a' : 'b';
   

修改后重新生成声明文件，test2的类型就会变成"a"|"b"。

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