tetl-docs/tuple__cat_8hpp_source.html

// SPDX-License-Identifier: BSL-1.0


#ifndef TETL_TUPLE_TUPLE_CAT_HPP

#define TETL_TUPLE_TUPLE_CAT_HPP


#include <etl/_cstddef/size_t.hpp>

#include <etl/_tuple/forward_as_tuple.hpp>

#include <etl/_tuple/tuple_like.hpp>

#include <etl/_tuple/tuple_size.hpp>

#include <etl/_type_traits/remove_reference.hpp>

#include <etl/_utility/forward.hpp>

#include <etl/_utility/index_sequence.hpp>


namespace etl {


namespace detail {


inline constexpr struct tuple_cat {

    template <etl::tuple_like T1, etl::tuple_like T2, etl::size_t... I1, etl::size_t... I2>

    [[nodiscard]] constexpr auto

    concat(T1&& t1, T2&& t2, etl::index_sequence<I1...> /*i1*/, etl::index_sequence<I2...> /*i2*/) const

    {

        using etl::get;

        return etl::forward_as_tuple(get<I1>(etl::forward<T1>(t1))..., get<I2>(etl::forward<T2>(t2))...);

    }


    template <etl::tuple_like Result>

    [[nodiscard]] constexpr auto operator()(Result&& result) const

    {

        return [&]<etl::size_t... Is>(etl::index_sequence<Is...> /*is*/) {

            using etl::get;

            return etl::tuple{get<Is>(etl::forward<Result>(result))...};

        }(etl::make_index_sequence<etl::tuple_size_v<etl::remove_reference_t<Result>>>{});

    }


    template <etl::tuple_like Result, etl::tuple_like Head, etl::tuple_like... Tail>

    [[nodiscard]] constexpr auto operator()(Result&& result, Head&& head, Tail&&... tail) const

    {

        constexpr auto idx1 = etl::make_index_sequence<etl::tuple_size_v<etl::remove_reference_t<Result>>>{};

        constexpr auto idx2 = etl::make_index_sequence<etl::tuple_size_v<etl::remove_reference_t<Head>>>{};

        return (*this)(

            concat(etl::forward<Result>(result), etl::forward<Head>(head), idx1, idx2),

            etl::forward<Tail>(tail)...

        );

    }

} tuple_cat;


} // namespace detail


template <etl::tuple_like... Tuples>


[[nodiscard]] constexpr auto tuple_cat(Tuples&&... ts)

{

    return etl::detail::tuple_cat(etl::forward<Tuples>(ts)...);

}


} // namespace etl


#endif // TETL_TUPLE_TUPLE_CAT_HPP

forward.hpp

forward_as_tuple.hpp

index_sequence.hpp

etl
Definition adjacent_find.hpp:8

etl::make_index_sequence
etl::make_integer_sequence< etl::size_t, Size > make_index_sequence
Definition index_sequence.hpp:15

etl::get
constexpr auto get(complex< X > &z) noexcept -> X &
Definition complex.hpp:92

etl::tuple_cat
constexpr auto tuple_cat(Tuples &&... ts)
Definition tuple_cat.hpp:51

etl::index_sequence
etl::integer_sequence< etl::size_t, Ints... > index_sequence
Definition index_sequence.hpp:12

etl::forward_as_tuple
constexpr auto forward_as_tuple(Args &&... args) noexcept -> etl::tuple< Args &&... >
Constructs a tuple of references to the arguments in args suitable for forwarding as an argument to a...
Definition forward_as_tuple.hpp:18

etl::forward
constexpr auto forward(remove_reference_t< T > &param) noexcept -> T &&
Forwards lvalues as either lvalues or as rvalues, depending on T. When t is a forwarding reference (a...
Definition forward.hpp:18

etl::size_t
TETL_BUILTIN_SIZET size_t
etl::size_t is the unsigned integer type of the result of the sizeof operator.
Definition size_t.hpp:14

remove_reference.hpp

size_t.hpp

tuple_like.hpp

tuple_size.hpp