使用内存安全的 Circle C++ 增强 C++ 的安全性

为了解决 C++ 中普遍存在的内存安全问题，本文提出了一种名为 Circle C++ 的 C++ 超集语言，该语言提供了一个严格安全的子集，并支持与现有 C++ 代码的互操作性。Circle C++ 引入了借用检查、所有权对象模型、选择类型和模式匹配等特性，以解决 C++ 中与生命周期安全、空指针、联合类型、线程安全和运行时检查相关的安全问题。文章还讨论了采用内存安全语言的必要性，并呼吁业界重视 C++ 的安全问题，采取行动解决根本的内存安全问题，以避免 C++ 被淘汰的命运。