Forcing weak-pure

[Steven Schveighoffer]

On Wed, 26 Mar 2014 10:36:45 -0400, Kagamin <spam at here.lot> wrote:

> On Tuesday, 25 March 2014 at 23:30:28 UTC, Artur Skawina wrote:
>> It's ok to treat allocator and factory functions as pure, because those  
>> really
>> are logically pure, ie can't affect any /visible/ state and return  
>> results that
>> are unique.
>
> Allocators don't return unique results, GC being the primary example.

I think you misunderstand. The result is uniquely referenced, meaning no  
other pointers to the data are present (except the all-seeing heap).

Multiple calls to the allocator may return different results, and each  
result is uniquely referenced.

-Steve