Concept definition

template<typename ContainerT>
concept Recognition::Utility::RangeContainer =  std::ranges::range<ContainerT>
                      && requires(ContainerT c) {
                             typename ContainerT::value_type;
                         }

Detailed Description

Concept for types that are ranges with an accessible value_type.

A type satisfies RangeContainer if:

It satisfies std::ranges::range
It has a nested value_type type alias

Template Parameters

ContainerT The container type to check.

Example Types

Types that satisfy this concept:

std::vector<T>
std::list<T>
std::set<T>
std::array<T, N>

static_assert(RangeContainer<std::vector<int>>);

static_assert(RangeContainer<std::list<std::string>>);

Since: 10.0.0