六种 TypeScript 校验方案实测：难点是让它们说同一件事

📋 概述

作者维护 is-kit，长期在「要不要上 schema 库」这条边界上纠结，于是换了个问法：这些库到底是不是在解决同一个问题。他用同一个 User 类型和同一套运行时规则（id 是字符串、name 为 1 到 100 个 UTF-16 编码单元、age 为 18 到 120 的整数、role 只允许 admin 或 user、额外键在根和 profile 内都要拒绝、不做类型转换），分别用手写守卫、is-kit、Runtypes、Valibot、Zod、ArkType 和 typia 实现，再编译、用同一批夹具测试、测量独立浏览器打包体积、跑一个稳态基准。最难的不是让七个方案编译通过，而是让它们表达同一件事：「最长 100 字符的字符串」在不同库里意味着不同的运行时契约，Zod 内置长度按 Unicode 码点算，为保住 UTF-16 口径只能用 refine 手写。