为何TypeScript对map01的类型推断为string[]而非""[]？

先看你给出的代码示例：

const array = [1, 2, 3, 4, 5];
const map01 = array.map((v) => v % 2 ? "" : "");
//    ^? string[]
const map02 = array.map((v) => v % 2 ? "odd" : "even");
//    ^? ("odd" | "even")[]
const map03 = array.map((v) => v % 2 ? "!" : "");
//    ^? ("" | "!")[]

这种差异的核心是TypeScript的字面量类型拓宽规则：

• 当条件表达式的两个分支是完全相同的字面量值时，TypeScript会自动将该字面量类型拓宽为对应的基础类型（比如空字符串字面量""会被拓宽为string）。
• 当条件表达式的两个分支是不同的字面量值时，TypeScript会保留字面量的联合类型，不会进行拓宽。

逐个分析例子： #

1. map01：箭头函数的返回值是v%2 ? "" : ""，两个分支都是完全相同的空字符串字面量。此时TypeScript会把这个返回值的类型从""拓宽为string，最终map的结果就变成了string[]。
2. map02：箭头函数返回"odd"或"even"，两个是不同的非空字符串字面量，TypeScript会保留它们的联合类型"odd" | "even"，所以数组类型是("odd" | "even")[]。
3. map03：箭头函数返回"!"或""，两个是不同的字符串字面量，TypeScript同样保留联合类型"" | "!"，数组类型就是("" | "!")[]。

如何让map01推断为""[]？ #

如果需要强制保留空字符串的字面量类型，可以通过以下方式：

• 使用as const断言锁定类型：

  const map01 = array.map((v) => (v % 2 ? "" : "") as const);
  //    ^? ""[]
  

• 显式指定箭头函数的返回类型：

  const map01 = array.map((v): "" => v % 2 ? "" : "");
  //    ^? ""[]
  

• 将空字符串赋值给const变量（const声明的字面量不会被拓宽）：

  const emptyStr = "" as const;
  const map01 = array.map((v) => v % 2 ? emptyStr : emptyStr);
  //    ^? ""[]
  

内容的提问来源于stack exchange，提问作者k-tten