ArkType 2.0 RC版本中optional()和default()修饰符的重大变更解析

ArkType是一个强大的TypeScript类型校验库，在2.0.0.rc-30版本中对optional()和default()修饰符的使用方式做出了重大调整。这一变更虽然提升了类型系统的严谨性，但也带来了使用习惯上的改变，开发者需要特别注意。

变更内容

在2.0.0.rc-25及之前版本中，开发者可以链式调用optional()和default()修饰符：

const optBool = type({
  isRequest: type.boolean.optional().default(false)
});

但在2.0.0.rc-30版本中，这种链式调用方式被移除了。现在optional()和default()修饰符不能继续链式调用其他方法。

变更原因

这一变更是为了消除之前设计中的潜在问题。在旧版本中，optional和default作为元数据附加到类型上，但只有在作为对象属性使用时才会影响类型行为。这种设计可能导致一些难以发现的问题。

新版本要求开发者必须明确地在对象内部声明属性是可选的(optional)还是带有默认值的(defaultable)。这种设计更加透明和直观。

新版本的正确用法

在新版本中，defaultable属性已经隐含了optional特性，因此不需要同时使用两个修饰符：

const optBool = type({
  isRequest: type.boolean.default(false)
});

类型推断的变化

新版本中类型推断行为也有所调整：

• .infer表示类型的输出形式
• .inferIn表示类型的输入形式

对于带有默认值的属性：

• 输入类型(inferIn)是可选的
• 输出类型(infer)是必需的

对开发者的影响

这一变更虽然带来了更好的类型安全性，但也意味着：

1. 不能再创建独立的可选类型
2. optional和default修饰符只能在对象属性上下文中使用
3. 需要调整现有代码中使用链式调用的部分

版本兼容性说明

虽然这一变更出现在RC版本中似乎有些意外，但预发布版本(包括RC)本来就是用于在不稳定的阶段进行API调整的。开发团队表示这将是2.0版本最后的重大变更，之后将专注于文档完善和稳定版本发布。

总结

ArkType 2.0的这一变更虽然需要开发者调整现有代码，但带来了更合理、更安全的类型系统设计。建议开发者：

1. 移除不必要的optional和default链式调用
2. 根据实际需求选择使用default或optional修饰符
3. 注意区分infer和inferIn的不同行为
4. 及时更新代码以适应这一变更