内存安全

科技半导体

Goose编程语言发布:性能超越C++和Rust,实现零注解内存安全

Goose是一种新的系统编程语言,在性能和内存安全方面取得突破。根据基准测试,该语言在16项测试中比手工优化的C++快1.16倍,比最佳安全Rust实现快1.12倍,同时内存使用分别降低1.3倍和1.2倍。

科技半导体

C++26引入标准库硬化特性

C++26标准引入Standard Library Hardening特性,通过在编译时启用检查模式,将原本导致未定义行为的标准库前置条件违反转变为可检测的、具有终止语义的失败。该特性包括边界检查、容器空状态检查等功能,由P3471、P3697、P3878三个提案定义。

科技人工智能

CobaltC 1.0.0规范发布 欲成C语言继任者

CobaltC编程语言设计团队发布了CobaltC 1.0.0规范,这是一套新的静态类型系统编程语言规范,设计已冻结。该语言提供显式所有权、确定性销毁、编译器检查的借用、推断生命周期、显式可空性和边界安全等核心特性,旨在实现强内存安全和可预测的资源管理,不依赖垃圾回收。

科技人工智能

Zig编程语言2026年开发日志发布 多项核心功能迎来重大更新

Zig编程语言项目发布了2026年开发日志,在编译器、构建系统和内存安全等方面推出了一系列重要改进。其中,为std.ArrayList添加的指针稳定性锁成为一项关键安全功能,用户需调用lockPointers()和unlockPointers()方法来保证内存安全,在锁定状态下调用orderedRemove()和po…

科技人工智能

内存安全技术方案争议:Rust与替代方案的对比

围绕编程语言的内存安全实现方式,技术社区正在进行讨论。争议的焦点涉及Rust语言的安全性评价,以及Fil-C、Zig等替代方案提出的不同技术路线。