kumi::is_container< T > Struct Template Reference

Traits detecting types behaving like a kumi::container. More...

#include <kumi/utils/traits.hpp>

Detailed Description

template<typename T>
struct kumi::is_container< T >

Traits detecting types behaving like a kumi::container.

To be treated like a container, a user defined type must expose a type and a statically know size encoded in the type. It shall also provide general container utilities.

Note

The type shall be templated on the type and the size to be picked up.

Helper value

template<typename T> inline constexpr auto is_container = is_container<T>::value;

Example:

#include <kumi/kumi.hpp>
#include <iostream>
#include <array>
#include <span>
#include <vector>
 
static_assert(kumi::concepts::static_container<std::array<int,10>>);
static_assert(kumi::concepts::product_type<std::array<int,10>>);
 
static_assert(kumi::concepts::static_container<std::span<int,10>>);
static_assert(!kumi::concepts::product_type<std::span<int,10>>);
 
static_assert(!kumi::concepts::static_container<std::span<int>>);
static_assert(!kumi::concepts::static_container<std::vector<int>>);
 
int main()
{
  auto data = std::array{1,2,3,4,5,6,7,8,9,10};
  kumi::for_each([](auto elt){ std::cout << elt << ", "; }, data);
  std::cout << "\n";
    
  auto my_span = std::span(data);
  kumi::for_each([](auto elt){ std::cout << elt << ", "; }, kumi::to_tuple(my_span));
}