Zod中指定ZodType后无法访问.shape属性的解决方案

问题根源 #

你把LoadSort的schema显式标注为z.ZodType<LoadSort>后，TypeScript会将schema的类型收窄到所有Zod schema的基类ZodType——而这个基类并没有.shape属性，.shape是ZodObject这类具体schema类型特有的成员。循环依赖场景下无法依赖Zod的自动推断，所以需要在保留显式类型约束的同时，保留具体schema的类型信息。

规范解决方法 #

方法1：标注为具体的Zod对象类型 #

不要使用通用的z.ZodType<LoadSort>，直接将schema标注为z.ZodObject<typeof loadSortShape>，同时通过z.infer关联你的LoadSort类型，保证类型一致性：

// 先定义LoadSort类型（循环依赖场景下可提前声明）
type LoadSort = {
  field: string;
  direction: 'asc' | 'desc';
};

// 定义schema的结构
const loadSortShape = {
  field: z.string(),
  direction: z.enum(['asc', 'desc']),
};

// 显式标注为ZodObject类型，同时确保推断类型与LoadSort匹配
const loadSortSchema: z.ZodObject<typeof loadSortShape> = z.object(loadSortShape);

// 可选：验证类型一致性，无报错则说明匹配
type AssertEqual<T, U> = T extends U ? U extends T ? true : never : never;
type _ = AssertEqual<LoadSort, z.infer<typeof loadSortSchema>>;

// 现在可以正常访问.shape
console.log(loadSortSchema.shape.field);

方法2：用Zod Lazy处理循环依赖+精准类型标注 #

如果循环依赖是因为schema之间互相引用，使用z.lazy()配合具体类型标注：

// 提前声明类型和schema变量
type LoadSort = {
  field: string;
  direction: 'asc' | 'desc';
  nested?: LoadSort;
};

let loadSortSchema: z.ZodObject<{
  field: z.ZodString;
  direction: z.ZodEnum<['asc', 'desc']>;
  nested: z.ZodOptional<z.ZodType<LoadSort>>;
}>;

// 用lazy解决循环引用
loadSortSchema = z.object({
  field: z.string(),
  direction: z.enum(['asc', 'desc']),
  nested: z.lazy(() => loadSortSchema).optional(),
});

// 正常访问.shape
console.log(loadSortSchema.shape.nested);

方法3：更规范的类型断言（替代自定义断言） #

如果必须保留z.ZodType<LoadSort>的约束，同时要访问.shape，可以将schema断言为具体的ZodObject类型，比自定义断言更简洁可控：

const loadSortSchema: z.ZodType<LoadSort> = z.object({
  field: z.string(),
  direction: z.enum(['asc', 'desc']),
}) as z.ZodObject<{
  field: z.ZodString;
  direction: z.ZodEnum<['asc', 'desc']>;
}>;

// 访问.shape时的精准断言
console.log((loadSortSchema as z.ZodObject<typeof loadSortSchema.shape>).shape.field);

关于你的临时解决方案 #

你用自定义断言函数能生效，本质是告诉TypeScript这个z.ZodType<LoadSort>其实是ZodObject类型。上面的规范方法要么通过精准标注避免类型丢失，要么通过受控断言实现同样效果，更符合Zod的类型设计逻辑。

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