split

split_t kumi::split {}

inlineconstexprnodiscardnoexcept

Callable object splitting a product type into two.

Split a product type in two product_type containing all the elements before and after a given index. On record types, this function operates on elements as if they were ordered. The considered order is the order of declaration.

Note

This function will issue a compile time error if I0 is not in [0, sizeof...(Ts)[.

Header file

#include <kumi/algorithm/extract.hpp>

Call Signature

template<product_type T, std::size_t I0>
constexpr auto split(T && t, kumi::index_t<I0>) noexcept;

Parameters

• t: Product Type to extract elements from
• i0: Compile-time index of the split pivot

Return value

• A new tuple containing the two sub parts of t cut at i0

Helper type

    template<kumi::concepts::product_type T, std::size_t I0> struct split
    {
      using type = decltype(kumi::split(std::declval<T>(), kumi::index_t<I0>{}));
    };
 
    template<kumi::concepts::product_type T, std::size_t I0> using split_t = typename kumi::result::split<T, I0>::type;

Computes the return type of a call to kumi::split

Examples

Tuple

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  using namespace kumi::literals;
 
  kumi::tuple a = { 1, 2.3, 4.5f,'6',"7", short{89} };
 
  auto[first, second] = kumi::split(a, 3_c);
 
  std::cout << a      << "\n";
  std::cout << first  << "\n";
  std::cout << second << "\n";
}

Record

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  using namespace kumi::literals;
 
  kumi::record a = { "a"_id = 1, "b"_id = 2.3, "c"_id = 4.5f,"d"_id = '6',
                     "e"_id = "7", "f"_id = short{89} };
 
  auto[first, second] = kumi::split(a, 3_c);
 
  std::cout << a      << "\n";
  std::cout << first  << "\n";
  std::cout << second << "\n";
}