std.allocator needs your help

[bearophile]

Andrei Alexandrescu:

> Also, I hope we'll be able to allow allocators to define 
> Pointer(T), Ref(T) etc. that supplant replacements for the 
> built-in notions of pointer, reference etc. Then, user code 
> that uses these notions instead of the built-in ones will be 
> guaranteed some nice properties (e.g. automatic reference 
> counting). Unfortunately I don't see a way for an allocator to 
> enforce that its users don't do illegal things such as escaping 
> addresses etc. So it would be a discipline-backed scheme. 
> Notable beneficiaries will be containers.

Adding some compiler help is not forbidden. (Also for reference 
counting).

Bye,
bearophile