tuples.h

Go to the documentation of this file.

 
#include "elementa/license.inc"
#include "elementa/checks.inc"
 
#ifndef ELEMENTA_ADTS_TUPLES_H
#define ELEMENTA_ADTS_TUPLES_H
 
 
#include <tuple>
#include <utility> 
#include <type_traits>
 
 
namespace elementa
{
 
namespace adts
{
 
/* ***************************************************************************
 
    Template functions: for_each_tuple, for_each_rev_tuple
 
    These are taken from 
    https://stackoverflow.com/questions/1198260/how-can-you-iterate-over-the-elements-of-an-stdtuple
 
*******************************************************************************/
 
 
template<std::size_t I = 0, typename FuncT, typename... Tp>
inline 
typename std::enable_if<I == sizeof...(Tp), void>::type 
for_each_tuple(std::tuple<Tp...> &, FuncT) 
  { }
 
 
template<std::size_t I = 0, typename FuncT, typename... Tp>
inline 
typename std::enable_if<I < sizeof...(Tp), void>::type 
for_each_tuple(std::tuple<Tp...>& t, FuncT f)
  { f(std::get<I>(t)); for_each_tuple<I + 1, FuncT, Tp...>(t, f); }
 
 
 
template<std::size_t I = 0, typename FuncT, typename... Tp>
inline 
typename std::enable_if<I == sizeof...(Tp), void>::type 
for_each_rev_tuple(std::tuple<Tp...> &, FuncT)
  { }
 
 
template<std::size_t I = 0, typename FuncT, typename... Tp>
inline 
typename std::enable_if<(I < sizeof...(Tp)), void>::type 
for_each_rev_tuple(std::tuple<Tp...>& t, FuncT f)
  { for_each_rev_tuple<I + 1, FuncT, Tp...>(t, f); f(std::get<I>(t)); }
 
 
 
/* ***************************************************************************
 
    Template function: is_tuple
 
*******************************************************************************/
 
template<typename T> 
struct is_tuple : std::false_type 
{};
 
template<typename... Ts> 
struct is_tuple<std::tuple<Ts...>> : std::true_type 
{};
 
 // tuples
 
 
} // end adts namespace
 
} // end elementa namespace
 
 
#endif