Zod泛型Schema的z.infer类型推断异常问题排查与解决

问题重现 #

尝试用Zod替代TypeScript接口，通过z.infer从Schema生成类型时，简单类型场景表现正常，但泛型场景出现两个异常：

• z.infer返回Zod原生类型（如ZodString而非string）
• 推断出的类型所有属性变为可选

示例代码：

泛型Zod Schema定义 #

const MainDish = <T extends Recipe>(type: T) =>
  z.object({
    drink: z.literal('water'),
    name: z.string(),
    ingredients: z.nativeEnum(RecipeIngredientsLookup[type]),
  });

type MainDishType<T extends Recipe> = z.infer<ReturnType<typeof MainDish<T>>>;

对比TypeScript接口（表现正常） #

interface OtherDish<T extends Recipe>{
  drink:'water',
  name:string,
  ingredient: keyof typeof RecipeIngredientsLookup[T]
} 

核心问题解答 #

1. 为什么推断出的属性全为可选？ #

TypeScript无法正确追踪泛型函数返回的Zod对象结构——当泛型参数绑定到函数的运行时参数时，TS无法提前确定返回的ZodObject的属性是否为必填项，因此默认将所有属性推断为可选。

2. 为什么类型推断为Zod原生类型（如ZodString）？ #

ReturnType<typeof MainDish<T>>的类型推断出现偏差：由于泛型参数的传递方式，TS将函数返回的Zod构造器类型（而非Schema对应的TS类型）传递给了z.infer，导致最终得到的是Zod的内部类型而非业务类型。

3. 如何保留泛型灵活性并生成正确类型？ #

通过调整泛型Schema的定义方式，让TypeScript能正确识别Zod Schema的结构，具体有两种可行方案：

解决方案 #

方案1：添加as const锁定Schema结构 #

在函数返回的Zod object后添加as const，强制TS追踪Schema的完整结构，避免模糊推断：

// 先定义依赖类型（示例）
type Recipe = 'pasta' | 'steak';
const RecipeIngredientsLookup = {
  pasta: { FLOUR: 'flour', EGG: 'egg' },
  steak: { BEEF: 'beef', SALT: 'salt' },
} as const;

// 修正后的泛型Schema
const MainDish = <T extends Recipe>(type: T) =>
  z.object({
    drink: z.literal('water'),
    name: z.string(),
    ingredients: z.nativeEnum(RecipeIngredientsLookup[type]),
  }) as const;

// 正确的类型推断
type MainDishType<T extends Recipe> = z.infer<ReturnType<typeof MainDish<T>>>;

// 测试：类型与OtherDish完全一致
type PastaDish = MainDishType<'pasta'>;
// 类型为：{ drink: 'water'; name: string; ingredients: 'FLOUR' | 'EGG'; }

方案2：将泛型参数作为Schema的类型参数 #

如果不需要运行时参数约束类型，可以直接将泛型参数绑定到Schema本身：

const MainDish = <T extends Recipe>() =>
  z.object({
    drink: z.literal('water'),
    name: z.string(),
    ingredients: z.nativeEnum(RecipeIngredientsLookup[T]),
  });

type MainDishType<T extends Recipe> = z.infer<ReturnType<typeof MainDish<T>>>;

效果验证 #

修正后的MainDishType会和OtherDish拥有完全一致的类型结构：属性均为必填，类型为对应的TS原生类型（如string而非ZodString），可以正常用于Angular FormGroup/FormControl的类型定义。

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