从数组生成TypeScript联合类型时始终返回string类型问题求助

问题原因 #

你当前的代码中，arrayDays是动态生成的string[]类型。即使使用as const断言，TypeScript也无法将动态生成的字符串数组推断为具体的字符串字面量数组——因为num.toString().padStart(2, '0')返回的是通用string类型，而非固定的字面量值。最终listDays的类型是readonly string[]，导致Day类型退化为string，无法限制输入值。

解决方案 #

方案一：利用const泛型生成字面量数组（TS 5.0+） #

通过带const泛型参数的函数，让TypeScript推断出数组的具体字面量元素：

function createDays<const N extends number>(n: N) {
  return Array.from({ length: n }, (_, i) => 
    (i + 1).toString().padStart(2, '0') as const
  ) as const;
}

// 生成1-31的日期字面量数组
const listDays = createDays(31);
// 从数组元素类型生成联合类型
type Day = (typeof listDays)[number];

方案二：纯类型推导生成联合类型（无需运行时数组） #

直接通过类型运算生成目标联合类型，不需要实际创建数组：

// 生成0-31的数字类型
type Enumerate<N extends number, Acc extends number[] = []> = 
  Acc['length'] extends N ? Acc[number] : Enumerate<N, [...Acc, Acc['length']]>;

// 排除0，得到1-31的数字类型
type DayNumbers = Exclude<Enumerate<32>, 0>;

// 将数字转换为两位字符串字面量
type Day = DayNumbers extends infer D 
  ? D extends number 
    ? `${D}` extends `${1 | 2 | 3}${number}` 
      ? `${D}` 
      : `0${D}` 
    : never 
  : never;

验证结果 #

现在使用Day类型时，TypeScript会严格校验输入值：

const day1: Day = ''; // ❌ 错误：类型""不能赋值给"01" | "02" | ... | "31"
const day2: Day = 'y'; // ❌ 错误：类型"y"不能赋值给"01" | "02" | ... | "31"
const day3: Day = '05'; // ✅ 正常通过

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