Type-Fest 项目中 Schema 类型对数组内部对象类型的支持优化

在 TypeScript 类型工具库 Type-Fest 中，Schema 类型是一个强大的工具，用于定义数据结构及其可能的操作标记。最近社区发现了一个关于数组类型处理的优化点，特别是在处理包含对象元素的数组时。

当前 Schema 类型的实现在处理数组时，会将整个数组视为一个单一的可标记单元。这意味着当开发者定义一个包含对象数组的结构时，只能对整个数组应用统一的标记（如 'mask'、'hide' 或 'show'），而无法对数组中的每个对象元素单独指定标记。

举例来说，如果有一个用户数据结构包含姓名数组，每个姓名对象有 firstname 和 lastname 属性。按照当前实现，开发者只能对整个 names 数组应用统一标记，而无法对数组中的每个姓名对象单独控制标记行为。

更理想的实现方式应该是允许开发者对数组中的每个元素进行细粒度控制。对于对象数组，应该能够为数组中的每个对象元素单独指定标记；对于基本类型数组，则应该允许为每个数组元素指定标记。

这种改进将使 Schema 类型在处理复杂数据结构时更加灵活和实用。开发者可以精确控制数据中每个部分的标记行为，而不是被迫对整个集合应用相同的标记规则。

从技术实现角度来看，这种改进需要对 Schema 类型的条件类型逻辑进行调整，特别是处理数组类型的部分。需要递归地处理数组元素类型，并为每个元素类型应用相同的标记类型约束。

这种改进不仅提升了类型系统的表达能力，也使 API 设计更加符合开发者对细粒度控制的预期。它代表了类型工具向更精确、更符合直觉的方向发展，能够更好地满足实际业务场景中对数据标记的复杂需求。