如何解决Node.js中Zod循环依赖导致类型为any的问题？

在Zod中定义递归/循环依赖的Schema时，直接照搬TypeScript接口的写法会因为值初始化顺序问题导致类型推导失败，最终输出any类型。这是因为Zod的Schema是运行时值，而TS接口是静态类型声明，两者的解析逻辑存在差异。

以下是两种可行的修复方法：

方法一：提前声明Schema变量 #

先声明eDBWhereSchema变量，让z.lazy能找到对应的引用，后续再完成赋值：

import { z } from "zod";

// 假设eDBClauseSchema已提前定义
const eDBClauseSchema = z.object({ /* 你的子句结构 */ });

// 先声明变量，指定类型（可选但能提升类型提示）
let eDBWhereSchema: z.ZodType<EDB_Where>;

const eDBAndSchema = z.object({
  and: z.array(z.lazy(() => eDBWhereSchema))
});

const eDBOrSchema = z.object({
  or: z.array(z.lazy(() => eDBWhereSchema))
});

// 完成eDBWhereSchema的定义
eDBWhereSchema = z.union([
  eDBAndSchema,
  eDBOrSchema,
  eDBClauseSchema
]);

// 对应的TS类型（和你原来的定义一致）
interface EDB_Clause { /* 子句类型 */ }
interface EDB_And { and: EDB_Where[] }
interface EDB_Or { or: EDB_Where[] }
type EDB_Where = EDB_And | EDB_Or | EDB_Clause;

方法二：内联定义递归结构 #

将and/or的Schema直接内联到eDBWhereSchema的union中，通过z.lazy直接引用自身，结构更紧凑：

import { z } from "zod";

const eDBClauseSchema = z.object({ /* 你的子句结构 */ });

interface EDB_Clause { /* 子句类型 */ }
interface EDB_And { and: EDB_Where[] }
interface EDB_Or { or: EDB_Where[] }
type EDB_Where = EDB_And | EDB_Or | EDB_Clause;

const eDBWhereSchema: z.ZodType<EDB_Where> = z.union([
  z.object({
    and: z.array(z.lazy(() => eDBWhereSchema))
  }),
  z.object({
    or: z.array(z.lazy(() => eDBWhereSchema))
  }),
  eDBClauseSchema
]);

核心原因说明 #

TypeScript接口是静态类型声明，类型系统会自动处理循环引用的解析；而Zod的Schema是运行时的值，必须确保在z.lazy回调执行时，被引用的Schema变量已经存在于作用域中。通过提前声明变量或内联递归结构，就能让Zod正确推导类型，避免any的出现。

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