[#BloombergLP-bdlma-GuardingAllocator]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bdlma.adoc[bdlma]::GuardingAllocator
:relfileprefix: ../../
:mrdocs:

This class defines a concrete thread&hyphen;safe &quot;guarding&quot; allocator mechanism that implements the `bslma&colon;&colon;Allocator` protocol, and adjoins a read&sol;write protected guard page to each block of memory returned by the `allocate` method&period; The guard page is placed immediately before or immediately following the block returned from `allocate` according to the `GuardPageLocation` enumerator value (optionally) supplied at construction&period; Note that, unlike many other allocators, an allocator cannot be (optionally) supplied at construction&semi; instead, a system facility is used that allocates blocks of memory in multiples of the system page size&period; Also note that this allocator is intended for debugging purposes _only_&period;

== Synopsis

Declared in `&lt;bdlma&lowbar;guardingallocator&period;h&gt;`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
class GuardingAllocator
    : public xref:BloombergLP/bslma/Allocator.adoc[bslma::Allocator]
----

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `xref:BloombergLP/bslma/Allocator.adoc[bslma::Allocator]`
| This protocol class provides a pure abstract interface and contract for clients and suppliers of raw memory&period; If the requested memory cannot be returned, the contract requires that an `std&colon;&colon;bad&lowbar;alloc` exception be thrown&period; Note that memory is guaranteed to be sufficiently aligned for any object of the requested size on the current platform, which may be less than the maximal alignment guarantee afforded by global `operator new`&period;
|===

== Type Aliases

[cols="1,4"]
|===
| Name| Description
| xref:BloombergLP/bslma/Allocator/size_type.adoc[`size&lowbar;type`] 
| Alias for an unsigned integral type capable of representing the number of bytes in this platform&apos;s virtual address space&period;
|===


== Enums

[cols="1,4"]
|===
| Name| Description
| xref:BloombergLP/bdlma/GuardingAllocator/GuardPageLocation.adoc[`GuardPageLocation`] 
| Enumerate the configuration options for `GuardingAllocator` that may be (optionally) supplied at construction&period;
|===


== Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:BloombergLP/bdlma/GuardingAllocator/2constructor.adoc[`GuardingAllocator`]         [.small]#[constructor]#
| Create a guarding allocator&period; Optionally specify a `guardLocation` indicating where read&sol;write protected guard pages should be placed with respect to the memory blocks returned by the `allocate` method&period; If `guardLocation` is not specified, guard pages are placed immediately following the memory blocks returned by `allocate`&period;
| xref:BloombergLP/bdlma/GuardingAllocator/2destructor.adoc[`&#126;GuardingAllocator`] [.small]#[destructor]# [.small]#[virtual]#
| Destroy this allocator object&period; Note that destroying this allocator has no effect on any outstanding allocated memory&period;
| xref:BloombergLP/bslma/Allocator/operator_assign.adoc[`operator&equals;`] 
| 
| xref:BloombergLP/bdlma/GuardingAllocator/allocate-07.adoc[`allocate`] 
| `allocate` overloads
| xref:BloombergLP/bdlma/GuardingAllocator/deallocate-03.adoc[`deallocate`] 
| Return the memory block at the specified `address` back to this allocator&period; If `address` is 0, this method has no effect&period; Otherwise, the guard page associated with `address` is unprotected and also deallocated&period; The behavior is undefined unless `address` was returned by `allocate` and has not already been deallocated&period;
| xref:BloombergLP/bslma/Allocator/deleteObject-09.adoc[`deleteObject`] 
| `deleteObject` overloads
| xref:BloombergLP/bslma/Allocator/deleteObjectRaw-06f.adoc[`deleteObjectRaw`] 
| `deleteObjectRaw` overloads
| xref:BloombergLP/bslma/Allocator/is_equal.adoc[`is&lowbar;equal`] 
| 
|===


== Static Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:BloombergLP/bslma/Allocator/throwBadAlloc.adoc[`throwBadAlloc`] 
| Throw `std&colon;&colon;bad&lowbar;alloc` if exceptions are enabled or abort the program otherwise&period; Derived classes and helper functions will typically call this function when they are unable to satisfy an allocation request&period; This function never returns&period;
|===


== Protected Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:BloombergLP/bslma/Allocator/do_allocate.adoc[`do&lowbar;allocate`]  [.small]#[virtual]#
| Return a newly allocated block of memory of (at least) the specified positive `bytes` and having at least the specified `alignment`&period; Unless overriden in a derived class, the return value is `this&hyphen;&gt;allocate(bytes)`&period; If this allocator cannot return the requested number of bytes or cannot satisfy the alignment request, then it will throw a `std&colon;&colon;bad&lowbar;alloc` exception in an exception&hyphen;enabled build, or else will abort the program in a non&hyphen;exception build&period; Unless overriden in a derived class, this function will forward the allocation request to the `allocate` virtual function, padding `bytes` and adjusting the return value as necessary to ensure sufficient alignment&period; Note that if `bytes` is `0`, the same non&hyphen;null value will be returned every time&period;
| xref:BloombergLP/bslma/Allocator/do_deallocate.adoc[`do&lowbar;deallocate`]  [.small]#[virtual]#
| Return the memory block at the specified `p` address, having the specified `bytes` and specified `alignment`, back to this allocator&period; Unless overriden in a derived class, this function will forward the deallocation request to the `deallocate` virtual function, padding `bytes` and adjusting `p` as necessary to account for `alignment` values other than the natural alignment for an object of size `bytes`&period; The behavior is undefined unless `address` is a block allocated from this allocator object using the same `bytes` and `alignment` and not already deallocated&period;
| xref:BloombergLP/bslma/Allocator/do_is_equal.adoc[`do&lowbar;is&lowbar;equal`]  [.small]#[virtual]#
| Return `true` if this allocator is equal to the specified `other` allocator, meaning (at least) that a memory block allocated by one can be deallocated by the other&semi; otherwise return `false`&period; Unless overriden, this method returns `this &equals;&equals; &amp;other`&period;
|===



[.small]#Created with https://www.mrdocs.com[MrDocs]#
