Version 5.0 The LEDA User Manual

4.10 Memory Allocator ( leda allocator )
1. Definition
An instance A of the data type leda allocator is a memory allocator according to the
C++standard. leda allocator is the standard compliant interface to the LEDA memory
management.
#include < LEDA/system/allocator.h >
2. Types
Local types are size type, difference type, value type, pointer, reference, const pointer, and
const reference.
template
leda allocator:: rebind
allows the construction of a derived allocator:
leda allocator:: template rebind:: other
is the type leda allocator.
3. Creation
leda allocator A; introduces a variable A of type leda allocator.
4. Operations
pointer A.allocate(size type n, const pointer = 0)
void A.deallocate(pointer p, size type n)
pointer A.address(reference r)
returns a pointer to a newly allocated memory range of
size n ∗ sizeof (T ).
deallocates a memory range of n ∗ sizeof (T ) starting at
p. Precondition: the memory range was obtained via
allocate(n).
returns &r.
const pointer A.address(const reference r)
returns &r.
void A.construct(pointer p, const reference r)
void A.destroy(pointer p)
makes an inplace new new( (void∗)p ) T (r).
destroys the object referenced via p by calling p →
∼T ( ).