I’m going to echo various interesting pieces of newsgroup discussion here. Check out the newsgroups for the full threads.
On comp.lang.c++.moderated, Dietmar Kuehl <firstname.lastname@example.org> wrote:
I have thought about integrating GC into C++ for quite some time. My personal conclusion was, however, that deterministic destruction and garbage collection don’t really mix. The major issue is that in a truly garbage collected system you could simple use whatever reference you get hold of. This promise does not hold if deterministic destructors are involved.
I would dispute that characterization of a “truly garbage-collected system” — it certainly doesn’t describe either Java or .NET. In Java and C#, you routinely have objects to which you still have references but whose lifetimes have ended via the Dispose and using patterns, and you have to know (or the member functions have to check) that you’re not using an already-disposed object.
The C++ destructor model is exactly the same as the Dispose and using patterns, except that it is far easier to use and a direct language feature and correct by default, instead of a coding pattern that is off by default and causing correctness or performance problems when it is forgotten.
So yes, in ISO C++ or Java or C# or C++ with C++/CLI, if you use a * or ^ or object reference to an object which has been Disposed/destroyed, you have exactly the same issue in all of those languages and environments: You need to be aware when pointers/references are invalidated. It’s just the same as C++’s plain old pointer invalidation problem.