2026 年 6 月 28 日新消息埃文·奥瓦迪亚带来消息Ante 朝着不出现运行时崩溃融合引用计数和借用检查迈出第一步。这意味着未来能更轻松使用不同编程方法如用引用计数为游戏做原型再迁移到借用检查代码。此前主流编程语言如 Rust、Swift 尝试融合但未成功Rust 使用 Rc 搭配 RefCell 不当会崩溃Swift 新借用系统有运行时检查且使用不当会崩溃。Ante 简介Ante 旨在成为更简单的 Rust是内存和线程安全的系统编程语言采用单所有权和借用检查机制值内联存储。用户可通过 shared 关键字选择引用计数。其平衡红黑树代码简洁优美比 C、Rust 版本小且拥有共享可变性能力可变借用引用计数数据时无运行时错误。形状稳定性Ante 有形状稳定性概念对形状稳定对象的引用始终有效代码可安全拥有对同一结构体多个可变借用引用。如 heal 函数可将同一 Entity 作为两个参数操作内存安全。还可同时拥有对结构体及其字段的多个可变借用引用这与 Rust、Swift 不同。引用计数Ante 中类型定义前加 shared 会自动引用计数shared mut 类型可在不锁定下修改字段如 set_fuel 函数对 Spaceship 操作无 Rust、Swift 相关崩溃风险。更明确的语法使用 Rc Spaceship 语法替代 shared mut type 语法糖示例代码展示了两者转换区别。联合体联合体适合提速但不安全内存安全编程语言难支持。Ante 示例中对 Engine 联合体操作可能致段错误Ante 拒绝编译此类代码规则是对联合体 mut 借用引用不能为变体创建 mut 借用引用与结构体规则相反。唯一引用uniq 表示排他性可变引用变量含 uniq Spaceship 是该 Spaceship 唯一可用引用可指向联合体内容。唯一引用如何助力联合体允许对联合体字段任意修改不安全编程语言通常用引用计数或禁止共享可变性解决。Ante 可安全拥有指向联合体内容可变引用无需额外运行时开销靠临时唯一引用转换机制。唯一引用转换Ante 只要在作用域内不访问其他可能引用对象内容就可临时获取唯一引用。示例展示了唯一引用存在范围及限制使用其他可能间接引用对象的局部变量会编译错误不包含引用的内容如整数可使用。跨函数调用示例展示函数调用中 mut 到 uniq 转换编译器检查调用点参数是否含可能引用对象内容。返回值mut 到 uniq 转换不能从函数返回唯一引用可指定返回局部唯一引用。我认为 Ante 找到了新思路Ante 可将 RC 引用临时转换为唯一借用引用但需类型分析较脆弱。创造者杰克在找更好方法有借鉴分组借用和 Flix 引用思路、运行时选项、编译器跟踪等有前景的选择也可能有类似 Pony iso 权限等其他选择难点是让其更易用。更宏观的视角内存安全设计领域有有趣变化曾认为共享可变借用不可能现在 Ante、Vale、分组借用、Rust 的 GhostCell 出现例外暗示统一原则存在。总结新技术是爬上山顶看清内存安全领域的工具持续添加工具会找到重大进展。可关注文章并订阅相关平台访问 Ante 官网和 Discord 社区了解开发进展。附录与 Rust 的 Cell 对比对比 Ante 和 Rust 使用 Cell 程序Rust 给定 Rc 无法获取可追加操作的 mut String需替换默认值再换回来有创建默认实例、忘记换回值、值被替换时被读取等缺点Ante 可临时获取引用且编译器确保他人不能访问。
