In this case perhaps it would make sense for students to learn Rust first. Much of what is undefined behaviour in C/C++ is a compiler error in Rust (perfect for this approach).

Students can then move on to C/C++ using a different approach, but already having learnt most of the concepts.