ns_concept::IsContainerOf Concept Reference

Concept for containers holding a specific value type. More...

#include <concept.hpp>

Concept definition

template<typename T, typename U>
concept ns_concept::IsContainerOf =  requires
{
  typename T::value_type;
  requires std::same_as<typename T::value_type, U>;
  requires Iterable<T>;
}

Detailed Description

Concept for containers holding a specific value type.

Template Parameters

T	The container type
U	The expected value type

Checks if a container's value_type matches the specified type and is iterable.

Example:

template<IsContainerOf<int> Container>
int sum(const Container& c) {
  int total = 0;
  for (int val : c) total += val;
  return total;
}

Definition at line 257 of file concept.hpp.