aboutsummaryrefslogtreecommitdiffstats
path: root/include/estd/apply.hpp
blob: 743cce6db8002ad8bb2913309a219e464807a9e9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
/**
 * \file
 * \brief apply() header
 *
 * \author Copyright (C) 2015 Kamil Szczygiel http://www.distortec.com http://www.freddiechopin.info
 *
 * \par License
 * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not
 * distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
 */

#ifndef ESTD_APPLY_HPP_
#define ESTD_APPLY_HPP_

#include "estd/IntegerSequence.hpp"
#include "estd/invoke.hpp"

#include <tuple>

namespace estd
{

namespace internal
{

/**
 * \brief Implementation of apply()
 *
 * \tparam Function is the function object that will be invoked
 * \tparam Tuple is the type of tuple of arguments
 * \tparam Indexes is a sequence of std::size_t indexes for \a Tuple
 *
 * \param [in] function is the function object that will be executed
 * \param [in] tuple is the tuple of arguments
 *
 * \return value returned by call to \a function with arguments from \a tuple
 */

template<typename Function, typename Tuple, std::size_t... Indexes>
constexpr auto apply(Function&& function, Tuple&& tuple, estd::IndexSequence<Indexes...>) ->
		decltype(estd::invoke(std::forward<Function>(function), std::get<Indexes>(std::forward<Tuple>(tuple))...))
{
	return estd::invoke(std::forward<Function>(function), std::get<Indexes>(std::forward<Tuple>(tuple))...);
}

} // namespace internal

/**
 * \brief Invokes callable object with a tuple of arguments.
 *
 * Implementation inspired by http://en.cppreference.com/w/cpp/experimental/apply
 *
 * \tparam Function is the function object that will be invoked
 * \tparam Tuple is the type of tuple of arguments
 *
 * \param [in] function is the function object that will be executed
 * \param [in] tuple is the tuple of arguments
 *
 * \return value returned by call to \a function with arguments from \a tuple
 */

template <typename Function, typename Tuple>
constexpr auto apply(Function&& function, Tuple&& tuple) ->
		decltype(internal::apply(std::forward<Function>(function), std::forward<Tuple>(tuple),
				estd::MakeIndexSequence<std::tuple_size<typename std::decay<Tuple>::type>{}>{}))
{
	return internal::apply(std::forward<Function>(function), std::forward<Tuple>(tuple),
			estd::MakeIndexSequence<std::tuple_size<typename std::decay<Tuple>::type>{}>{});
}

}	// namespace estd

#endif	// ESTD_APPLY_HPP_