templa::concepts::AllocatorErasable Concept Reference

Concept checking if an object can be destroyed via an allocator. More...

#include <concepts.hpp>

Concept definition

template<class E, class T, class A>
concept templa::concepts::AllocatorErasable =  requires(A m, E *p) {
        requires std::same_as<typename T::allocator_type, typename std::allocator_traits<A>::rebind_alloc<E>>;
        std::allocator_traits<A>::destroy(m, p);
    }

Detailed Description

Concept checking if an object can be destroyed via an allocator.

Requires allocator A to be rebindable to E and supports destroy(m, p).

Template Parameters

E	Element type.
T	Container type.
A	Allocator type.