Loading [MathJax]/extensions/tex2jax.js
kumi v3.1.0
Exquisite Epidote
 
All Classes Namespaces Functions Variables Friends Modules Pages Concepts
Loading...
Searching...
No Matches

◆ apply()

template<typename Function , product_type Tuple>
requires _::supports_apply<Function&&, Tuple&&>
constexpr decltype(auto) kumi::apply ( Function &&  f,
Tuple &&  t 
)
constexprnoexcept

Invoke the Callable object f with a tuple of arguments.

Parameters
fCallable object to be invoked
tkumi::product_type whose elements to be used as arguments to f
Returns
The value returned by f.

Helper type

namespace kumi::result
{
template<typename Function, product_type Tuple> struct apply;
template<typename Function, product_type Tuple>
using apply_t = typename apply<Function,Tuple>::type;
}
constexpr decltype(auto) apply(Function &&f, Tuple &&t) noexcept(_::supports_nothrow_apply< Function &&, Tuple && >)
Invoke the Callable object f with a tuple of arguments.
Definition apply.hpp:63

Computes the return type of a call to kumi::apply

Example

#include <kumi/tuple.hpp>
#include <iostream>
template<kumi::product_type Tuple>
void print(std::ostream& os, Tuple const& t)
{
(
[&os](auto const&... args)
{
os << '[';
std::size_t n{0};
((os << args << (++n != kumi::size<Tuple>::value ? ", " : "")), ...);
os << ']';
}, t
);
os << '\n';
}
int main()
{
auto t = kumi::tuple{1,2.,3.f};
// Simple operation: sum all values
std::cout << kumi::apply( [](auto... m) { return (m + ...); }, t) << "\n";
// Advanced usage
print(std::cout, t);
}
constexpr auto from_tuple(tuple< Ts... > const &t)
Converts a kumi::tuple to an instance of an arbitrary type.
Definition convert.hpp:59
Computes the number of elements of a kumi::product_type.
Definition traits.hpp:45
Fixed-size collection of heterogeneous values.
Definition tuple.hpp:35