ArkType 中负长度约束的错误消息优化分析

问题背景

在 TypeScript 类型校验库 ArkType 的最新版本中，当开发者尝试为数组类型设置负数的长度约束时（如 minLength: -1），系统会抛出运行时错误。当前错误消息提示为"bound must be an integer (was -1)"，这在技术准确性上存在一定误导性。

当前实现分析

ArkType 内部通过 writeNegativeLengthBoundMessage 函数生成这一错误消息。该函数接收两个参数：kind（表示是"min"还是"max"长度约束）和limit（用户设置的具体值）。当前实现简单地检查了值是否为整数，但未明确区分负整数的情况。

问题本质

实际上，长度约束的核心要求是：

1. 必须为整数（因为长度不能是小数）
2. 必须为非负数（因为长度概念本身不允许负值）

当前错误消息只强调了第一个条件，忽略了第二个更关键的限制条件。当用户输入-1这样的负整数时，虽然技术上满足"整数"条件，但违反了"非负"这一更基本的约束。

改进方案

建议将错误消息修改为"bound must be a positive integer (was -1)"，这样能够：

1. 明确表达两个必要条件（整数+正数）
2. 避免用户误以为问题仅出在类型上（整数/非整数）
3. 更准确地引导开发者解决问题

技术影响评估

这一修改属于错误消息的优化，不会影响：

• 类型系统的核心逻辑
• 运行时校验行为
• 现有API的兼容性

但能显著提升开发者体验，特别是在调试阶段，更清晰明确的错误消息可以节省大量排查时间。

最佳实践建议

对于类似的范围约束校验，建议开发者在实现时考虑：

1. 明确区分不同类型的不合法输入（如非整数、负数、超出范围等）
2. 错误消息应尽可能具体，直接指出问题本质
3. 保持错误消息的一致性和可操作性

ArkType 作为类型校验工具，这类细节优化对于提升整体使用体验至关重要。