All this makes sense, except that programming microcontrollers without C++ leaves you in a world of pain. Most of what one uses C++ for, in that environment, happens at compile time, automating stuff that is bound to go wrong if you keep trying to do it by hand.

So, no virtual functions, no memory allocations, no smart pointers, probably no exceptions. But, templates that earn their keep. The normal experience with C++ done well is no need for debugging. Debugging microcontroller code is a royal pain, so preventing whole orders of possible bugs is worth a lot.