使用zodResolver时遭遇“类型实例化过深且可能无限”错误的解决方案咨询

这个错误大概率是包版本不兼容导致的，结合你的依赖版本来看，问题很明确：@hookform/resolvers v5.x是专门为react-hook-form v8.x设计的，而你用的还是react-hook-form v7.57.0，两者的类型系统不匹配，触发了TypeScript的无限类型推导问题。下面是具体的解决方案和优化建议：

1. 优先解决版本兼容性问题 #

这是最直接的修复方式，有两种选择：

• 降级@hookform/resolvers到v3.x：v3.x版本是适配react-hook-form v7.x的稳定版本，执行安装命令：

  npm install @hookform/resolvers@^3.3.4
  # 或者用yarn
  yarn add @hookform/resolvers@^3.3.4
  

• 升级react-hook-form到v8.x：如果你的项目允许升级，直接升级到最新的v8版本，配合@hookform/resolvers v5.x使用，还能获得react-hook-form的最新特性：

  npm install react-hook-form@^8.0.0
  # 或者用yarn
  yarn add react-hook-form@^8.0.0
  

  升级后注意检查useForm的API变化（比如v8里defaultValues的处理略有不同，但你的代码改动应该很小）。

2. 优化Zod Schema的写法（辅助修复） #

如果调整版本后还有类型问题，或者想让你的schema类型推导更清晰，可以优化schema的定义方式：
避免用...baseSchema.shape扩展对象，改用Zod提供的extend方法，这样类型推导更直接，减少TS的计算负担：

import z from "zod";

const baseSchema = z.object({
  type: z.string(),
  name: z.string()
});

// 改用extend方法扩展baseSchema
const aSchema = baseSchema.extend({
  type: z.literal("a"),
  a: z.string()
});

const bSchema = baseSchema.extend({
  type: z.literal("b"),
  b: z.string()
});

export const formSchema = z.discriminatedUnion("type", [aSchema, bSchema]);

这种写法和你原来的逻辑完全一致，但Zod会更高效地处理类型组合，避免潜在的类型推导卡顿。

3. 临时Workaround（不推荐） #

如果暂时无法调整版本，可以尝试给zodResolver加类型断言跳过检查，但这会丢失类型安全，是下策：

const { register, watch } = useForm<FormSchemaType>({
  resolver: zodResolver(formSchema) as any
});

为什么会出现这个错误？ #

@hookform/resolvers v5.x的类型定义是基于react-hook-form v8的内部类型设计的，而v7和v8的表单核心类型结构差异很大。当你把v5的resolver传给v7的useForm时，TypeScript在尝试适配这两套类型系统时，会陷入循环推导，最终抛出“类型实例化过深且可能无限”的错误。

内容来源于stack exchange