CobaltC：借鉴Rust所有权模型的C后继语言

SilentLambda 发布附录文章，介绍系统编程语言 CobaltC 的设计与实现。CobaltC 采用 C 系表面语法，把所有权、生命周期、别名与可变性等不变量嵌入类型系统，由编译器强制检查，而不是依赖程序员自行约定。 示例中，一段“分配—别名—释放—使用”的 C 程序在 CobaltC 中会在运行前被拒绝，并给出 diag.destroy-while-aliased 诊断；同时，CobaltC 允许指向同一数组不同元素的多个可变引用。 该附录文章称，其目标是在书的理论范围内演示一门内存安全的 C 后继语言应如何划定语义边界，而非提供可直接替代 ISO 级标准的实现。

AI 根据报道生成 · 45 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。