std::tuple_detail Namespace Reference

Typedef Documentation

tuple_leaf_t

template<std::size_t I, class Tuple>

using std::tuple_detail::tuple_leaf_t = tuple_leaf<I, tuple_element_t<I, Tuple>>

alias to the tuple leaf type at index I of a tuple

Template Parameters

I	leaf index
Tuple	tuple type, specialization of std::tuple

Function Documentation

__get_tuple_impl()

template<class>

auto std::tuple_detail::__get_tuple_impl ( ) -> void=delete

delete

poison pill declaration of __get_tuple_impl

This is to ensure that __get_tuple_impl only looks for a function declaration and does not pick up some other global object named __get_tuple_impl .

elements_equal()

template<std::size_t Idx, class... LTypes, class... RTypes, ::arene::base::constraints< enable_if_t< Idx==sizeof...(LTypes)> > = nullptr>

auto std::tuple_detail::elements_equal ( tuple< LTypes... > const & , tuple< RTypes... > const &  ) -> bool

constexprnoexcept

Check if element Idx and all subsequent elements of the two tuples are equal.

Template Parameters

Idx	The Idx to begin checking at
LTypes	The parameter types of the left tuple
RTypes	The parameter types of the right tuple

Returns

true if element Idx and all subsequent elements of the two tuples are equal

elements_less()

template<std::size_t Idx, class... LTypes, class... RTypes, ::arene::base::constraints< enable_if_t< Idx==sizeof...(LTypes)> > = nullptr>

auto std::tuple_detail::elements_less ( tuple< LTypes... > const & , tuple< RTypes... > const &  ) -> bool

constexprnoexcept

Check if the left tuple is less than the right tuple, starting at Idx and counting up.

Template Parameters

Idx	The Idx to begin checking at
LTypes	The parameter types of the left tuple
RTypes	The parameter types of the right tuple

Returns

true if get<Idx>(left) < get<Idx>(right) or if they're equal and elements_less<Idx + 1>(left, right)

memberwise_forward_assign()

template<class Dest, class Source, std::size_t... Indices>

void std::tuple_detail::memberwise_forward_assign	(	Dest &	dest,
		Source &&	source,
		index_sequence< Indices... >	)

helper used to implement move assignment

Template Parameters

Dest	The tuple to copy assign to
Source	The tuple to copy assign from
Indices	Parameter pack of indices for indexing the tuples

Parameters

dest	The destination tuple
source	The source tuple

memberwise_swap()

template<class Lhs, class Rhs, std::size_t... Indices>

void std::tuple_detail::memberwise_swap	(	Lhs &	lhs,
		Rhs &&	rhs,
		index_sequence< Indices... >	)

helper used to implement swap

Template Parameters

Lhs	The type of the first tuple to swap
Rhs	The type of the second tuple to swap
Indices	Parameter pack of indices for indexing the tuples

Parameters

lhs	The first tupe to swap
rhs	The second tupe to swap

Variable Documentation

all_elements_nothrow_equality_comparable_v

template<class LTuple, class RTuple>

bool std::tuple_detail::all_elements_nothrow_equality_comparable_v {false}

constexpr

A type trait to determine the noexcept specification of elementwise equality comparison.

Template Parameters

LTuple	The left tuple to elementwise compare
RTuple	The right tuple to elementwise compare

all_elements_nothrow_equality_comparable_v< tuple< LTypes... >, tuple< RTypes... > >

template<class... LTypes, class... RTypes>

bool std::tuple_detail::all_elements_nothrow_equality_comparable_v< tuple< LTypes... >, tuple< RTypes... > >

constexpr

Initial value:

{::arene::base::all_of_v<
    ::arene::base::is_nothrow_equality_comparable_v<LTypes, RTypes>...>}

A type trait to determine the noexcept specification of elementwise equality comparison.

Template Parameters

LTypes	The element types of the left tuple to elementwise compare
RTypes	The element types of the right tuple to elementwise compare

all_elements_nothrow_less_than_comparable_v

template<class LTuple, class RTuple>

bool std::tuple_detail::all_elements_nothrow_less_than_comparable_v {false}

constexpr

A type trait to determine the noexcept specification of elementwise less-than comparison.

Template Parameters

LTuple	The left tuple to elementwise compare
RTuple	The right tuple to elementwise compare

all_elements_nothrow_less_than_comparable_v< tuple< LTypes... >, tuple< RTypes... > >

template<class... LTypes, class... RTypes>

bool std::tuple_detail::all_elements_nothrow_less_than_comparable_v< tuple< LTypes... >, tuple< RTypes... > > {::arene::base::all_of_v<::arene::base::is_nothrow_less_than_comparable_v<LTypes, RTypes>...> && ::arene::base::all_of_v<::arene::base::is_nothrow_less_than_comparable_v<RTypes, LTypes>...>}

constexpr

A type trait to determine the noexcept specification of elementwise less-than comparison.

Template Parameters

LTypes	The element types of the left tuple to elementwise compare
RTypes	The element types of the right tuple to elementwise compare

bool

template<std::size_t Idx, class... LTypes, class... RTypes>

std::tuple_detail::bool

Initial value:

{
  return (get<Idx>(left) == get<Idx>(right)) && ::std::tuple_detail::elements_equal<Idx + 1UL>(left, right)

Check if element Idx and all subsequent elements of the two tuples are equal.

Check if the left tuple is less than the right tuple, starting at Idx and counting up.

Template Parameters

Idx	The Idx to begin checking at
LTypes	The parameter types of the left tuple
RTypes	The parameter types of the right tuple

Parameters

left	The left tuple
right	The right tuple

Returns

true if element Idx and all subsequent elements of the two tuples are equal

Template Parameters

Idx	The Idx to begin checking at
LTypes	The parameter types of the left tuple
RTypes	The parameter types of the right tuple

Parameters

left	The left tuple
right	The right tuple

Returns

true if get<Idx>(left) < get<Idx>(right) or if they're equal and elements_less<Idx + 1>(left, right)