Valibot 中如何优雅处理枚举类型与运行时校验

在 TypeScript 开发中，我们经常需要处理枚举类型的数据校验问题。Valibot 作为一个强大的数据校验库，提供了多种方式来处理这类场景。

类型与运行时的鸿沟

TypeScript 的类型系统在编译时会被擦除，这意味着像 'a' | 'b' | 'c' 这样的联合类型在运行时是不可用的。这是 TypeScript 的一个基本特性，也是许多开发者在使用类型系统时需要注意的地方。

解决方案一：从运行时推导类型

Valibot 推荐的做法是从运行时数据推导出类型：

import * as v from 'valibot';

// 定义运行时可用的选项数组
const options = ['a', 'b', 'c'] as const;

// 从运行时数据推导出类型
type Choices = typeof options[number];

// 创建校验器
const Schema = v.picklist(options);

这种方法确保了类型和运行时数据的一致性，是最安全可靠的方式。

解决方案二：使用 satisfies 进行类型验证

如果你已经有了一个类型定义，但需要确保运行时数据与之匹配，可以使用 satisfies 关键字：

import * as v from 'valibot';

// 预定义的类型
type Choices = 'a' | 'b' | 'c';

// 创建校验器并验证类型匹配
const Schema = v.picklist(['a', 'b', 'c']) satisfies v.GenericSchema<Choices>;

这种方式在已有类型定义的情况下非常有用，可以确保运行时数据与类型定义保持一致。

实际应用建议

1. 优先从运行时推导类型：这是最安全的做法，避免了类型和运行时数据不一致的风险。

2. 考虑代码生成工具：如果你使用的工具只生成类型定义，可以考虑修改工具使其同时生成运行时数据，或者编写辅助函数来提取类型中的值。

3. 保持一致性：无论采用哪种方式，最重要的是保持类型系统和运行时数据的一致性，这是 TypeScript 开发中的关键原则。

Valibot 的这种设计体现了类型安全与运行时校验的完美结合，为开发者提供了灵活而强大的工具来处理各种数据校验场景。