Valibot 项目中的只读操作对 Map 和 Set 类型的增强支持

在 JavaScript 和 TypeScript 开发中，数据不可变性是一个重要的设计原则。Valibot 作为一个数据验证库，在其最新版本中针对只读操作进行了重要增强，特别是对 Map 和 Set 这两种集合类型的处理。

只读操作的原有限制

在 Valibot 的早期版本中，readonly 操作符虽然能够将对象标记为只读，但对于 Map 和 Set 类型的处理存在一定局限性。具体表现为：

1. 对于 Map 类型，使用 readonly 后会生成 Readonly<Map> 类型
2. 对于 Set 类型，同样会生成 Readonly<Set> 类型

这种处理方式虽然使集合的属性变为只读，但仍然允许调用修改集合内容的方法，如 clear()、set() 等。从类型安全的角度来看，这并不完全符合开发者对"只读"的预期。

新版改进方案

Valibot 在 v1.0.0-rc.2 版本中对此进行了重要改进：

1. 当对 Map 类型应用 readonly 操作时，现在会返回真正的 ReadonlyMap 类型
2. 同样地，对 Set 类型应用 readonly 操作时，会返回 ReadonlySet 类型

这种改进带来了更严格的类型检查，完全禁止了对集合内容的任何修改操作，包括：

• Map 的 set()、delete() 和 clear() 方法
• Set 的 add()、delete() 和 clear() 方法

实际应用示例

考虑以下数据验证场景：

const Schema = v.pipe(
  v.array(
    v.object({ id: v.string(), data: v.string() })
  ),
  v.transform((input) => new Map(input.map((item) => [item.id, item]))),
  v.readonly()
);

在改进后的版本中，当开发者尝试调用 result.clear() 时，TypeScript 会直接报错，而不是像之前版本那样允许调用但只是将方法标记为只读。

技术意义

这一改进具有以下技术优势：

1. 更强的类型安全：真正实现了集合的不可变性保证
2. 更好的开发者体验：编译时就能捕获意外的集合修改操作
3. 更符合函数式编程原则：支持不可变数据结构的传播
4. 与 TypeScript 标准库更好集成：直接使用标准的 ReadonlyMap 和 ReadonlySet 接口

总结

Valibot 对只读操作的这一增强，体现了其对类型安全和开发者体验的持续关注。对于重视数据不可变性的项目，特别是那些采用函数式编程风格或需要严格数据保护的场景，这一改进将提供更有力的支持。开发者现在可以更加自信地使用 Valibot 进行数据验证，确保关键数据集合在验证后不会被意外修改。