xentara::utils::tools::Allocator Concept Reference

A concept for pointers that can be nulled. More...

#include <tools/Concepts.hpp>

Concept definition

template<typename Type, typename ValueType>
concept xentara::utils::tools::Allocator =  std::regular<Type> && requires(Type allocator)
{
    typename Type::value_type;
    requires std::same_as<typename Type::value_type, ValueType>;
 
    requires requires(typename std::allocator_traits<Type>::size_type size, typename std::allocator_traits<Type>::pointer pointer)
    {
        { allocator.allocate(size) } -> std::convertible_to<typename std::allocator_traits<Type>::pointer>;
        { allocator.deallocate(pointer, size) };
    };
}

Detailed Description

A concept for pointers that can be nulled.