Grindstone::Memory::Allocators::is_allocator Concept Reference

A dynamic allocator represented by a linked list. More...

#include <AllocatorConcept.hpp>

Concept definition

template<typename Allocator>
concept is_allocator = requires(Allocator a, typename Allocator::value_type* p) {
        { a.allocate(0) } -> std::same_as<decltype(p)>;
        { a.deallocate(p, 0) } -> std::same_as<void>;
    }

Detailed Description

A dynamic allocator represented by a linked list.

Memory in a dynamic allocator can be allocated and deallocated freely, with no restrictions. Allocations have a header that points to the next block of memory, and so free memory can be found in between allocated blocks of memory.