Raw pointers are still common in modern C++ and those are of course not memory safe. Reasonable memory safety out of C++ would require rigorously adhering to a

Raw pointers are still common in modern C++ and those are of course not memory safe. Reasonable memory safety out of C++ would require rigorously adhering to a subset of the language, adding bounds checking to all containers, forbidding implicit type casting, etc.