如何用数组结合Zod定义TypeScript联合字面量类型？

问题原因 #

你遇到的核心问题是TypeScript的类型推断规则：当把数组断言为readonly [string, …string[]]时，TS会丢弃元素的具体字面量信息，只识别为宽泛的string类型。Zod的z.enum只能基于TS提供的类型生成对应的schema，自然就得到了string类型的结果，而非期望的联合字面量。

解决方案 #

要同时实现「访问数组」和「保留联合字面量类型」，关键是让TS记住数组元素的具体值，最直接的方式是用as const断言：

import { z } from "zod";

// 用as const将数组转为只读字面量元组，保留每个元素的具体类型
const arr = ['a', 'b', 'c'] as const;

// 基于该数组创建Zod枚举schema
const TSchema = z.enum(arr);

// 两种方式获取联合字面量类型：
type T = z.infer<typeof TSchema>; // 结果：'a' | 'b' | 'c'
type TFromArray = typeof arr[number]; // 结果同样是：'a' | 'b' | 'c'

扩展：需要可变数组的情况 #

如果你的数组需要是可变的（比如后续要修改元素），可以先定义只读字面量元组，再扩展为可变数组，同时保留类型：

import { z } from "zod";

// 先定义只读字面量元组，保留类型信息
const enumValues = ['a', 'b', 'c'] as const;

// 扩展为可变数组，元素类型限制为元组的联合字面量
const mutableArr: (typeof enumValues[number])[] = [...enumValues];

// 依然用原始的只读元组创建Zod schema
const TSchema = z.enum(enumValues);
type T = z.infer<typeof TSchema>; // 仍为'a' | 'b' | 'c'

核心要点 #

• as const是保留字面量类型的关键，它会让TS将数组识别为只读的字面量元组，而非宽泛的字符串数组。
• 避免用readonly [string, …string[]]这类宽泛的类型断言，会丢失具体值的类型信息。
• 既可以通过Zod的z.infer获取类型，也可以直接从const数组的typeof arr[number]获取，二者等价。

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