Concept definition

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

Detailed Description

Associative StormByte::Type::Container that accepts insert of a value_type.

Template Parameters

C	Container type (cv/ref ignored).

Requires StormByte::Type::HasKeyType or StormByte::Type::HasMappedType so positional insert(iterator, value) on std::vector does not satisfy this on any standard library. Accepts const-ref or rvalue insert.

Typical matches: std::map, std::set, std::unordered_map, std::unordered_set.

static_assert(Type::HasInsert<std::map<int, int>>);
static_assert(Type::HasInsert<std::set<int>>);
static_assert(!Type::HasInsert<std::vector<int>>);