Safe C++ proposal is not being continued
8 months ago
- #Programming Languages
- #Safety
- #C++
- Safe C++提案旨在为C++引入一个类似Rust安全保证的子集，同时保持对现有代码的兼容性。
- Safe C++要求通过安全上下文显式启用，支持渐进式采用并维持向后兼容。
- 该提案存在未解决问题，如借用检查的错误报告机制与模板的交互问题。
- C++安全与保密工作组最终决定优先发展'Profiles'方案，导致Safe C++被搁置。
- Profiles通过在编译时施加约束来确保安全，无需引入新语言特性。
- 与雄心勃勃的Safe C++相比，Profiles被视为更务实且易落地的安全方案。
- C++社区对采用类Rust安全模型表现抵触，更倾向通过Profiles实现渐进式改进。
- Profiles致力于将C++现有非正式安全实践标准化，聚焦约束而非新语义。
- 尽管Profiles提供的安全保障弱于Safe C++，但它代表了C++安全发展的现实路径。