Not trivially, no. Even if you try to avoid "raw pointers", C++ is an unsafe language by design, and it's non-trivial to turn it into a verifiably safe one: *

Not trivially, no. Even if you try to avoid "raw pointers", C++ is an unsafe language by design, and it's non-trivial to turn it into a verifiably safe one: * Even smart pointers are still pointers, which are trivial to access after release by mistake; and references are only safe as long as the caller still exists. C++ does not have anything like Rust's borrow checker. * C++ threads allow race conditions that can screw up even smart pointers. * Plenty of libraries (C and C++), which are usually impossible to avoid and completely impractical to vet, will still use raw pointers. Generally, the word "trivial" and C++ don't go well together.