StormByte::Type::HasPushFront Concept Reference

StormByte::Type::Container that accepts push_front of a value_type. More...

#include <StormByte/type_traits/containers.hxx>

Concept definition

template<typename C>
concept StormByte::Type::HasPushFront = 
            Container<std::remove_cvref_t<C>> &&
            (
                requires(std::remove_cvref_t<C>& c,
                        typename std::remove_cvref_t<C>::value_type const& v) {
                    c.push_front(v);
                } ||
                requires(std::remove_cvref_t<C>& c,
                        typename std::remove_cvref_t<C>::value_type&& v) {
                    c.push_front(std::move(v));
                }
            )

Detailed Description

StormByte::Type::Container that accepts push_front of a value_type.

Template Parameters

C	Container type (cv/ref ignored).

Same const-ref / rvalue split as StormByte::Type::HasPushBack. Typical matches: std::deque, std::list. std::vector does not match.

static_assert(Type::HasPushFront<std::deque<int>>);
static_assert(!Type::HasPushFront<std::vector<int>>);