基于远程配置动态创建Zod Schema时如何保留TypeScript类型安全？

核心问题原因 #

你遇到的类型推断失效，是因为TypeScript对let变量的类型会被初始赋值固定。当你后续用merge扩展Schema并重新赋值给同一个let变量时，TypeScript不会自动更新该变量的类型，仍然会沿用初始的baseScheme类型，导致合并后的字段无法被类型系统识别。

解决方案1：使用条件表达式创建常量（适合单个动态字段） #

直接用const变量结合条件表达式，让TypeScript自动推断合并后的联合类型：

import { z } from "zod";

const baseScheme = z.object({
  firstname: z.string({ required_error: "Please enter a first name" }),
  lastname: z.string({ required_error: "Please enter a last name" }),
  email: z
    .string({ required_error: "Please enter an email address" })
    .email({ message: "Invalid email address" }),
});

const newsletterSchema = z.object({
  newsletter: z.boolean().optional(),
});

// 用const + 条件表达式，TypeScript会自动推断正确的联合类型
const scheme = config.signupForm.fields.newsletter.enabled
  ? baseScheme.merge(newsletterSchema)
  : baseScheme;

// 自动推断的表单类型，会根据config自动包含/排除newsletter字段
type FinalFormType = z.infer<typeof scheme>;

解决方案2：用Reduce批量合并启用的Schema（适合多个动态字段） #

如果有多个需要根据配置启用的字段，用数组收集所有启用的子Schema，再通过reduce逐步合并，TypeScript会正确跟踪每次合并后的类型：

import { z } from "zod";

const baseScheme = z.object({
  firstname: z.string({ required_error: "Please enter a first name" }),
  lastname: z.string({ required_error: "Please enter a last name" }),
  email: z
    .string({ required_error: "Please enter an email address" })
    .email({ message: "Invalid email address" }),
});

// 定义所有可能的子Schema
const newsletterSchema = z.object({ newsletter: z.boolean().optional() });
const birthdateSchema = z.object({ birthdate: z.date({ required_error: "Please enter your birthdate" }) });

// 根据配置收集需要启用的Schema
const enabledSubSchemas = [];
if (config.signupForm.fields.newsletter.enabled) {
  enabledSubSchemas.push(newsletterSchema);
}
if (config.signupForm.fields.birthdate.enabled) {
  enabledSubSchemas.push(birthdateSchema);
}

// 逐步合并所有启用的Schema
const scheme = enabledSubSchemas.reduce((currentSchema, subSchema) => {
  return currentSchema.merge(subSchema);
}, baseScheme);

// 自动推断最终表单类型
type FinalFormType = z.infer<typeof scheme>;

关键注意事项 #

• 避免使用let变量存储动态扩展的Schema：let的类型一旦被初始赋值确定，后续扩展不会自动更新类型。
• 依赖TypeScript自动推断：不要手动指定FinalFormType，而是通过z.infer<typeof scheme>让类型系统自动生成，完全避免手动维护的错误。
• 确保远程配置的类型正确：如果config是从远程获取的，要为其定义准确的TypeScript类型（比如const config: RemoteConfig = await fetchConfig()），这样TypeScript才能正确判断条件分支的有效性。

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