Safe C++: Language Extensions for Memory Safety

Re:Safe C++: Language Extensions for Memory Safety by pornel on Thursday September 12, 2024 @09:51PM (#41527383)

This is based on circle, which looks very Rust-like, and is probably the most sound design of all the contenders for the next C++. It has an actual safe-only mode, with strict aliasing, no uninit memory, and loans tracked via control-flow graph.

Many other "safe" C++ extensions just add basic bounds checking, and end at "we have smart pointers, what else do you want!?!??!?"

[ Parent | on HN ]

Re:Safe C++: Language Extensions for Memory Safety by ladyanita22 on Friday September 13, 2024 @01:50AM (#41528338)

But I understand that if this proposal makes the cut, other compilers would implement it too and make this universal. Seeing this seems to implement all of Rust’s safety features, this would seem like a win here.

[ Parent | on HN ]

Re:Safe C++: Language Extensions for Memory Safety by pornel on Friday September 13, 2024 @08:12AM (#41530440)

It is, although "nobody's going to rewrite millions lines of code" applies to C++ too, not only Rust.

You won't be able to just slap `#pragma safe` on top of every file and have the problem solved. It does require use of different design patterns and structuring data in a way that works with borrowing.

[ Parent | on HN ]