Mantine表单库中zodResolver类型推断问题解析

在使用Mantine表单库时，开发者可能会遇到一个关于类型推断的有趣问题。当结合zod验证库使用时，表单值的类型推断可能会出现不符合预期的行为。

问题现象

在使用useForm钩子配合zodResolver时，开发者期望表单值的类型能够自动从zod schema中推断出来。例如：

const form = useForm({
  mode: 'uncontrolled',
  validate: zodResolver(schema), // schema是一个zod schema对象
});

// 期望values能自动推断出schema定义的类型
form.onSubmit((values) => { ... });

然而实际上，values的类型会被推断为Record<string, any>，而不是从zod schema中推断出的精确类型。

技术背景

这个问题涉及到TypeScript的类型推断机制和Mantine表单库的设计选择。Mantine的zodResolver函数当前类型定义为：

function zodResolver<T extends Record<string, any>>(
  schema: ZodSchema<T>
): (values: T) => FormErrors;

这种定义方式虽然能够工作，但丢失了从zod schema自动推断类型的能力。

解决方案

Mantine团队指出，这个问题实际上是"按设计工作"的。因为useForm钩子设计上要求必须提供initialValues或显式指定类型参数，这是为了保证表单功能的完整性。

正确的使用方式有两种：

1. 通过泛型参数显式指定类型：

type FormValues = z.infer<typeof schema>;

const form = useForm<FormValues>({
  // 配置项
});

2. 通过initialValues隐式推断类型：

const form = useForm({
  initialValues: {
    // 符合schema结构的初始值
  },
  validate: zodResolver(schema),
});

深入理解

这种设计选择有几个技术考量：

1. 表单完整性：Mantine的表单功能大多依赖于初始值，显式要求类型或初始值可以避免运行时错误。

2. 类型安全：虽然从技术上讲可以从验证函数推断类型，但这会增加类型系统的复杂性，并可能导致边缘情况。

3. 明确性优于隐式：显式指定类型使代码更易于理解和维护。

最佳实践

对于使用Mantine表单和zod的开发者，建议：

1. 始终为表单定义明确的类型，可以使用z.infer从schema提取类型。

2. 尽可能提供初始值，这不仅有助于类型推断，也是表单正常工作所必需的。

3. 考虑将表单类型定义集中管理，便于维护和重用。

通过遵循这些模式，开发者可以充分利用TypeScript的类型系统，同时确保表单功能的完整性。