c++ - Is it safe to delete a NULL pointer? - Stack Overflow
Is it safe to delete a NULL pointer? And is it a good coding style? ... @Damon However, despite these abrogations of your draconian ownership rules, lock free structures are provably more robust than lock based ones....