On Sun, 28 Mar 2010 23:30:32 -0400, Robert Jacques <[email protected]>
wrote:
On Sun, 28 Mar 2010 16:16:41 -0300, Steven Schveighoffer
<[email protected]> wrote:
The current GC has a simple "type info" if you will -- contains
pointers or doesn't contain pointers. It doesn't mean we cannot add to
that. In fact, I think dsimcha has provided a way to have precise
scanning for heap-allocated types. I don't think a reasonably precise
GC is out of the question. However, it may be too much to require the
GC to do semantic analysis of enums for unions. Not impossible, but
probably not worth the effort and restrictions necessary.
Also, don't forget that classes have a bunch of runtime type info.
But the GC doesn't use/need this info (except to call the destructors).
At least the mark/sweep portion doesn't.
-Steve
