InfoQ
·
Safe C++：一种使C++内存安全的新提案
💡
原文英文，约500词，阅读约需2分钟。
📝
内容提要
Safe C++提案由Sean Baxter和Christian Mazakas提出，旨在扩展C++，使其具备类似Rust的安全性。通过引入安全上下文，Safe C++仅允许使用严格安全的C++子集，解决内存不安全问题，并提供现有代码与新特性共存的迁移路径。该提案尚未完成，仍需解决设计问题。
🎯
关键要点
- Safe C++提案旨在扩展C++，使其具备类似Rust的安全性。
- 提案由Sean Baxter和Christian Mazakas提出，旨在解决C++内存不安全问题。
- Safe C++引入安全上下文，仅允许使用严格安全的C++子集。
- 提案提供现有代码与新特性共存的迁移路径，支持逐步迁移。
- Safe C++禁止可能导致生命周期安全、类型安全或线程安全未定义行为的操作。
- 提案包括模式匹配、选择类型和借用等新特性，以提高语言表达能力。
- Safe C++采用类似Rust的发送和同步类型特征，以确保线程安全。
- 提案引入显式引用变更和对象重定位模型，适应C++程序员的习惯。
- Safe C++的定义尚未完成，仍需解决多个设计问题。
- Safe C++并不是唯一的安全C++变更方案，ISO委员会也在研究其他提案。
➡️
