StormByte::Type::HasPushBack Concept Reference

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

#include <StormByte/type_traits/containers.hxx>

Concept definition

template<typename C>
concept StormByte::Type::HasPushBack = 
            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_back(v);
                } ||
                requires(std::remove_cvref_t<C>& c,
                        typename std::remove_cvref_t<C>::value_type&& v) {
                    c.push_back(std::move(v));
                }
            )

Detailed Description

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

Template Parameters

C	Container type (cv/ref ignored).

True if either push_back(const value_type&) or push_back(value_type&&) is valid. The const-ref-only check rejected std::vector<std::unique_ptr<T>>.

Typical matches: std::vector, std::deque, std::list.

static_assert(Type::HasPushBack<std::vector<int>>);
static_assert(Type::HasPushBack<std::vector<std::unique_ptr<int>>>);