实验 / 010
TypeScript / 输出边界对照
类型断言与对象校验分别会漏掉哪些无效输入?
实验结果
01 / 问题
类型断言与对象校验分别会漏掉哪些无效输入?
方法
32组合成输入交给断言、对象、原始JSON及既有Java四种入口;另离线重放一份历史真实响应。
结果
断言误接收22个、对象校验误接收4个;原始JSON与Java判定32/32一致。
观察
重复键在JSON.parse后消失;对象入口也无法核验原始字符串长度。历史围栏响应严格拒绝,显式适配重放通过。
结论
静态类型不代替运行时契约;结构正确不等于分类语义正确。
局限
刻意构造的边界,不是模型错误率;扁平契约,不是通用JSON解析器。无新增API调用。
复现
类型检查、37项测试与32组差分审计通过;Node26.8.2、TypeScript7.0.2、Java1.8.0_171。
继续探索
继续探索
- 工程案例
TypeScript 能保证模型输出正确吗?32组输入与 Java 校验器的边界对照
从类型断言、unknown到原始JSON:复现22个误接收、4个对象校验盲区,以及Java/TypeScript契约一致性的实际边界。