Valibot 函数模式类型推断问题解析

Valibot 是一个强大的 TypeScript 数据验证库，它允许开发者定义数据模式并进行类型安全的验证。在使用 Valibot 定义函数模式时，开发者可能会遇到一个常见的类型推断问题：无论函数参数和返回值如何定义，推断出的类型总是 (...args: unknown[]) => unknown。

问题现象

当开发者尝试使用 Valibot 定义函数模式时，通常会这样编写代码：

const func = v.pipe(
    v.function(),
    v.args(v.tuple([v.string()])),
    v.returns(v.number())
);

然后尝试获取输入类型：

type FUNC = v.InferInput<typeof func>; // 结果为 (...args: unknown[]) => unknown

这显然不是开发者期望的结果，开发者期望的类型应该是 (arg: string) => number。

问题原因

这个问题的根源在于 Valibot 的类型系统设计。v.args 和 v.returns 实际上是转换操作（transformation actions），它们将传入的模式包装到一个验证函数中，该函数在执行时强制执行类型安全。因此，当使用 InferInput 时，Valibot 返回的是最宽松的函数类型。

解决方案

要获取正确的函数类型，开发者应该使用 InferOutput 而不是 InferInput：

type FUNC = v.InferOutput<typeof func>; // 现在会得到正确的 (arg: string) => number

深入理解

Valibot 的这种设计实际上反映了其类型系统的两个层面：

1. 输入类型（Input Type）：表示最宽松的、可能被验证函数接受的原始输入类型
2. 输出类型（Output Type）：表示经过验证和转换后的最终类型

对于函数模式来说：

• InferInput 给出的是验证前的原始函数类型
• InferOutput 给出的是经过参数和返回值验证后的精确函数类型

最佳实践

在使用 Valibot 定义函数模式时，建议：

1. 始终使用 InferOutput 来获取精确的函数类型
2. 如果确实需要获取输入类型，理解它代表的是最宽松的可能输入
3. 在类型定义处添加注释，说明使用的是输入还是输出类型

// 获取经过验证后的精确函数类型
type ValidatedFunc = v.InferOutput<typeof func>;

通过这种方式，开发者可以充分利用 Valibot 的类型系统，同时避免类型推断上的困惑。