tuple.h

Go to the documentation of this file.

#pragma once
 
#include "fl/stl/adl_barrier.h"
#include "fl/stl/cstddef.h"
#include "fl/stl/type_traits.h"
#include "fl/stl/noexcept.h"
 
namespace fl {
 
// Forward declaration
template<typename... Ts> struct tuple;
 
// Empty-tuple specialization
template<>
struct tuple<> {};
 
// Recursive tuple: head + tail
template<typename Head, typename... Tail>
struct tuple<Head, Tail...> {
    Head head;
    tuple<Tail...> tail;
 
    tuple() = default;
 
    tuple(const Head& h, const Tail&... t) FL_NO_EXCEPT
      : head(h), tail(t...) {}
 
    // Only enable rvalue constructor when Head is not a reference
    // (prevents overload ambiguity when Head = const T&)
    template<typename H = Head, typename... T,
             typename = typename enable_if<!is_reference<H>::value>::type>
    tuple(H&& h, T&&... t) FL_NO_EXCEPT
      : head(fl::forward<H>(h)), tail(fl::forward<T>(t)...) {}
};
 
// tuple_size
template<typename T>
struct tuple_size;
 
template<typename... Ts>
struct tuple_size< tuple<Ts...> > {
    // Use enum instead of static constexpr to avoid ODR-use issues in C++11
    enum : size_t { value = sizeof...(Ts) };
    using value_type = size_t;
    using type = tuple_size;
    constexpr operator value_type() const FL_NO_EXCEPT { return value; }
    constexpr value_type operator()() const FL_NO_EXCEPT { return value; }
};
 
// tuple_element
template<size_t I, typename Tuple>
struct tuple_element;
 
template<typename Head, typename... Tail>
struct tuple_element<0, tuple<Head, Tail...>> {
    using type = Head;
};
 
template<size_t I, typename Head, typename... Tail>
struct tuple_element<I, tuple<Head, Tail...>>
  : tuple_element<I-1, tuple<Tail...>> {};
 
// get<I>(tuple)
template<size_t I, typename Head, typename... Tail>
typename enable_if<I == 0, Head&>::type
get(tuple<Head, Tail...>& t) FL_NO_EXCEPT {
    return t.head;
}
 
template<size_t I, typename Head, typename... Tail>
typename enable_if<I != 0, typename tuple_element<I, tuple<Head, Tail...>>::type&>::type
get(tuple<Head, Tail...>& t) FL_NO_EXCEPT {
    return get<I-1>(t.tail);
}
 
// const overloads
template<size_t I, typename Head, typename... Tail>
typename enable_if<I == 0, const Head&>::type
get(const tuple<Head, Tail...>& t) FL_NO_EXCEPT {
    return t.head;
}
 
template<size_t I, typename Head, typename... Tail>
typename enable_if<I != 0, const typename tuple_element<I, tuple<Head, Tail...>>::type&>::type
get(const tuple<Head, Tail...>& t) FL_NO_EXCEPT {
    return get<I-1>(t.tail);
}
 
// rvalue overloads
template<size_t I, typename Head, typename... Tail>
typename enable_if<I == 0, Head&&>::type
get(tuple<Head, Tail...>&& t) FL_NO_EXCEPT {
    return fl::move(t.head);
}
 
template<size_t I, typename Head, typename... Tail>
typename enable_if<I != 0, typename tuple_element<I, tuple<Head, Tail...>>::type&&>::type
get(tuple<Head, Tail...>&& t) FL_NO_EXCEPT {
    return get<I-1>(fl::move(t.tail));
}
 
namespace adl_barrier {  // see fl/stl/adl_barrier.h
// make_tuple
template<typename... Ts>
tuple<typename fl::decay<Ts>::type...>
make_tuple(Ts&&... args) FL_NO_EXCEPT {
    return tuple<typename fl::decay<Ts>::type...>(fl::forward<Ts>(args)...);
}
}  // namespace adl_barrier
 
// C++11 requires out-of-class definitions for static constexpr members that are ODR-used
// tuple_size<tuple<Ts...>>::value is inherited from integral_constant<size_t, sizeof...(Ts)>
// which means we need to define integral_constant<T, v>::value
// This is actually defined in type_traits.h where integral_constant is declared
 
} // namespace fl