tuple_utility.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2022 deCODE Genetics
// Copyright (c) 2006-2020, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2020, Knut Reinert & MPI für molekulare Genetik
// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
// shipped with this file and also available at: https://github.com/biocpp/biocpp-core/blob/main/LICENSE.md
// -----------------------------------------------------------------------------------------------------
 
#pragma once
 
#include <utility>
 
#include <bio/meta/concept/tuple.hpp>
#include <bio/meta/pod_tuple.hpp>
#include <bio/meta/type_list/traits.hpp>
 
namespace bio::meta::detail
{
 
template <size_t beg, template <typename...> typename tuple_t, size_t... Is, typename... ts>
    requires(tuple_like<tuple_t<ts...>> && tuple_like<tuple_t<>>)
constexpr auto tuple_split(tuple_t<ts...> const & t, std::index_sequence<Is...> const & BIOCPP_DOXYGEN_ONLY(idx))
{
    return tuple_t<std::tuple_element_t<beg + Is, tuple_t<ts...>>...>{std::get<beg + Is>(t)...};
}
 
template <size_t beg, template <typename...> typename tuple_t, size_t... Is, typename... ts>
    requires(tuple_like<tuple_t<ts...>> && tuple_like<tuple_t<>>)
constexpr auto tuple_split(tuple_t<ts...> && t, std::index_sequence<Is...> const & BIOCPP_DOXYGEN_ONLY(idx))
{
    return tuple_t<std::tuple_element_t<beg + Is, tuple_t<ts...>>...>{std::move(std::get<beg + Is>(t))...};
}
} // namespace bio::meta::detail
 
namespace bio::meta
{
template <size_t pivot_c, template <typename...> typename tuple_t, typename... ts>
    requires tuple_like<tuple_t<ts...>>
constexpr auto tuple_split(tuple_t<ts...> const & t)
{
    static_assert(pivot_c <= sizeof...(ts));
 
    return tuple_t{detail::tuple_split<0>(t, std::make_index_sequence<pivot_c>{}),
                   detail::tuple_split<pivot_c>(t, std::make_index_sequence<sizeof...(ts) - pivot_c>{})};
}
 
template <size_t pivot_c, template <typename...> typename tuple_t, typename... ts>
    requires tuple_like<tuple_t<ts...>>
constexpr auto tuple_split(tuple_t<ts...> && t)
{
    static_assert(pivot_c <= sizeof...(ts));
 
    //NOLINTBEGIN(bugprone-use-after-move)
    return tuple_t{detail::tuple_split<0>(std::move(t), std::make_index_sequence<pivot_c>{}),
                   detail::tuple_split<pivot_c>(std::move(t), std::make_index_sequence<sizeof...(ts) - pivot_c>{})};
    //NOLINTEND(bugprone-use-after-move)
}
 
template <typename pivot_t, tuple_like tuple_t>
constexpr auto tuple_split(tuple_t && t)
{
    constexpr size_t pivot_c = list_traits::find<pivot_t, detail::tuple_type_list_t<std::remove_cvref_t<tuple_t>>>;
 
    static_assert(pivot_c <= std::tuple_size_v<std::remove_cvref_t<tuple_t>>);
 
    return tuple_split<pivot_c>(std::forward<tuple_t>(t));
}
 
template <tuple_like tuple_t>
constexpr auto tuple_pop_front(tuple_t && t)
{
    static_assert(std::tuple_size_v<std::remove_cvref_t<tuple_t>> > 0);
 
    return std::get<1>(tuple_split<1>(std::forward<tuple_t>(t)));
}
 
} // namespace bio::meta