如何在Zod中使用变量作为枚举数组？

问题核心是TypeScript默认将字符串数组推断为string[]，但z.enum要求传入包含具体字面量的非空只读元组，以此生成精确的枚举验证规则。以下是最优解决方案：

步骤1：用as const断言锁定数组类型 #

在定义数组时添加as const，让TypeScript保留数组的字面量值和只读元组结构，而非宽泛的string[]：

const E = [
  '3dostr',
  '3g2',
  // ...其他元素
  'xwd_pipe',
  'xwma',
  'yop',
  'yuv4mpegpipe',
] as const;

步骤2：保持类型定义不变 #

原类型推导逻辑无需修改，仍能正确提取数组元素的字面量类型：

type FfmpegFormatContentKey = (typeof E)[number];

步骤3：直接创建Zod枚举 #

此时E的类型是readonly ["3dostr", "3g2", ..., "yuv4mpegpipe"]，完全符合z.enum的参数要求，无需额外断言：

import { z } from 'zod';

export const FfmpegFormatContentKeyModel = z.enum(E);
// TS会自动推断出正确的ZodEnum类型，无需手动指定ZodType<FfmpegFormatContentKey>

方案优势 #

• 无重复定义：仅声明一次数组，JS输出中不会冗余生成两份数据，同时满足React下拉选项和Zod验证的需求
• 类型安全：保留了所有字符串字面量类型，Zod能生成精确的枚举校验规则，而非宽松的字符串校验
• 代码简洁：避免了复杂的双重类型断言，可读性更强

对比临时方案的问题 #

你之前使用的z.enum(E as unknown as readonly [string, ...string[]])虽然能运行，但会丢失具体的字面量类型信息——Zod枚举会变成接受任意字符串，而非限定在E的元素范围内，失去了类型验证的核心意义。

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