Skip to content

言容 1.0.0

Latest

Choose a tag to compare

@LiuXiu233 LiuXiu233 released this 16 Jul 06:52
26f1222

言容 1.0.0

摘要

1.0.0 定义言容首个稳定公共 API:六类有界容器、确定顺序、空值安全结果、显式资源预算,以及不会修改来源列的集合与变换算法。

容器

  • 栈、队列、双端队列、有序集合和优先队列新增限制为最大项,默认硬边界为 100000 项。
  • 栈、队列、双端队列和优先队列新增结构化无异常移出或查看入口。
  • 双端队列改为双缓冲与半量重平衡,两端操作保持摊还常数时间。
  • 稳定优先队列新增取出项查看项、有序快照和安全优先级范围。
  • LRU 新增尝试读取尝试查看读取或写入详情、剩余容量和项快照;读取会触碰,只看不会触碰。

算法

  • 新增对称差拉链全部划分分组频次旋转稳定排序
  • 原有与新增算法都有同名受限入口,支持输入、输出和通用相等比较预算。
  • 稳定排序使用归并排序,拒绝非逻辑、自反或运行中发现的双向矛盾比较器。
  • 所有算法返回新外层列,不修改来源;顺序由首次出现、输入顺序或稳定比较明确决定。

错误与安全

  • 公开错误详情,稳定恢复YANRONG_逻辑代码并保留源误诊断。
  • 无异常入口统一返回{「成功」,「值」,「错误」},真实空值不再与失败混淆。
  • 容器、优先级、输入、输出、比较和回调错误都在修改公开状态前失败。
  • 包无第三方依赖,也无文件、网络、环境、进程或原生扩展权限。

兼容性与迁移

  • 最低言序为 1.1.6,构建目标为字节码。
  • 0.1 的核心类与八个算法入口保持名称、参数顺序和基本结果语义。
  • 队列内部压缩和 LRU 内部键位不再公开;请使用正常队列操作和缓存查询 API。
  • 超过安全边界的旧调用现在返回YANRONG_LIMIT,应按业务规模分批或收紧上游输入。
  • 建议锁定v1.0.0,版本范围使用^1.0,并提交言序.lock

验证

  • 7 个规格文卷通过,覆盖正常、边界、空值、错误、无效配置、容量、资源、回调、稳定顺序、往返和失败原子性。
  • 全部规格、3 个示例和 4 个性能回归文卷均通过字节码 VM 执行。
  • 7 个规格与 3 个示例的树解释器和字节码 VM 可观察结果完全一致。
  • 全部言序文卷通过格式与静态检查,生成 API 无漂移。
  • 默认 VM 步数预算内完成 4096 次双端交错操作、1024 项稳定排序、768 项频次和 128 个互异值去重。
  • 锁图重建与 Release YXB 构建通过。

已知限制

  • 泛型集合相等不使用哈希,有序集合、LRU、去重、分组和频次最坏为二次时间,并受比较预算保护。
  • 快照和算法结果为浅外层复制,不递归复制复合项目。
  • 言容只能检查比较器的返回类型、自反性和已遇到值对的双向矛盾,无法证明任意回调的传递性或纯度。