Introduce ProtoAllocator type requirements.
JW to provide wording. For use in async.reqmts.async.alloc.
Also used elsewhere like in associated_allocator.
I think something like this:
A type A meets the proto-allocator requirements if
allocator_traits<A>::rebind_alloc<U> meets the allocator requirements,
where U is an object type. [Note: For example, std::allocator<void> meets
the proto-allocator requirements but not the allocator requirements. --end note]
The name quasi-allocator was also suggested.
Does it also need to list some other requirements from Allocator? I.e. that it be CopyConstructible, Destructible, etc., and maybe also: "No constructor, comparison operator, copy operation, move operation, or swap operation on these types shall exit via an exception."
Yes, good point.
I checked in some wording. Please take a look at the latest html on chriskohlhoff.github.io/asio-tr2.
Proto-allocator has grown on me. Sort of like proto stars.
On Sat, Mar 7, 2015, at 11:04 AM, Jonathan Wakely wrote:
Yes, good point.
Reply to this email directly or view it on GitHub: https://github.com/chriskohlhoff/asio-tr2/issues/28#issuecomment-77658959