At this point you're basically writing a garbage collector. Which you might as well do with raw pointers, if it's a part of the language, and it will be more efficient.