Am 13.01.2014 23:55, schrieb Walter Bright:
I agree, but I was trying to correct the misperception that current D does not allow a moving collector.
Current D does not allow a moving collector because of the lack of compiler support. It is still not possible to identify all pointers percicesly, especially those on the stack. Also when you want to implement a semi-space GC everything _must_ be moveable. Pinning is not an option for a semi-space GC. There for current D does not allow the implementation of semi-space GC without some changes to the spec. (E.g. structs / classes containing unions _must_ provide a custom scanning function).
