On 9/8/2011 2:56 AM, Christophe wrote:
Here the word "instance" is used, but is not defined. The user may think that a new instance is created when a simple copy of the RegionAllocator is performed, which is perfectly true, but do not apply to what is meant in this documentation. If the user was made to type instanciateAllocator, he could no longer say he had no idea what the word "instance" could mean in the documentation. newAllocator does not fulfill this.
Again, the semantics of RegionAllocator and RegionAllocatorStack are amazingly hard to describe formally but amazingly easy to illustrate by example. This is all demonstrated in the example code.
