Precise garbage collection for C++ with stateful metaprogramming
To deal with circular references, a garbage collector has to keep track of all references between garbage collected objects. Typically, for statically typed language, a list of offsets to all references to other garbage…