std::apply
在头文件 <tuple> 中定义 |
||
template< class F, class Tuple > constexpr decltype(auto) apply( F&& f, Tuple&& t ); |
(自 C++17 起) (直至 C++23) |
|
template< class F, tuple-like Tuple > constexpr decltype(auto) apply( F&& f, Tuple&& t ) noexcept(/* see below */); |
(自 C++23 起) | |
使用 t 的元素作为参数,调用 Callable 对象 f。
给出如下定义的仅供说明的函数 apply-impl
template<class F,class Tuple, std::size_t... I>
constexpr decltype(auto)
apply-impl
(F&& f, Tuple&& t, std::index_sequence<I...>) // exposition only
{
return
INVOKE(std::forward<F>(f), std::get<I>(std::forward<Tuple>(t))...);
}
其效果等同于
return
apply-impl
(std::forward<F>(f), std::forward<Tuple>(t),
std::make_index_sequence<
std::tuple_size_v<std::decay_t<Tuple>>>{});.
内容 |
[编辑] 参数
f | - | Callable 对象将被调用 |
t | - | 元组,其元素将被用作 f 的参数 |
[编辑] 返回值
f 返回的值。
[编辑] 异常
(无) |
(直至 C++23) |
noexcept 规范:
noexcept( noexcept(std::invoke(std::forward<F>(f), 其中
|
(自 C++23 起) |
[编辑] 备注
|
(直至 C++23) |
|
(自 C++23 起) |
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_apply |
201603L | (C++17) | std::apply
|
[编辑] 示例
#include <iostream> #include <tuple> #include <utility> int add(int first, int second) { return first + second; } template<typename T> T add_generic(T first, T second) { return first + second; } auto add_lambda = [](auto first, auto second) { return first + second; }; template<typename... Ts> std::ostream& operator<<(std::ostream& os, std::tuple<Ts...> const& theTuple) { std::apply ( [&os](Ts const&... tupleArgs) { os << '['; std::size_t n{0}; ((os << tupleArgs << (++n != sizeof...(Ts) ? ", " : "")), ...); os << ']'; }, theTuple ); return os; } int main() { // OK std::cout << std::apply(add, std::pair(1, 2)) << '\n'; // Error: can't deduce the function type // std::cout << std::apply(add_generic, std::make_pair(2.0f, 3.0f)) << '\n'; // OK std::cout << std::apply(add_lambda, std::pair(2.0f, 3.0f)) << '\n'; // advanced example std::tuple myTuple{25, "Hello", 9.31f, 'c'}; std::cout << myTuple << '\n'; }
输出
3 5 [25, Hello, 9.31, c]
[编辑] 另见
(C++11) |
创建由参数类型定义的tuple 对象(函数模板) |
(C++11) |
创建一个包含转发引用的tuple (函数模板) |
(C++17) |
使用元组参数构造对象 (函数模板) |
(C++17)(C++23) |
使用给定参数调用任何可调用对象 并可以指定返回类型(自 C++23 起) (函数模板) |