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) | |
Вызовите Callable объект f с элементами t в качестве аргументов.
Дана функция только для экспозиции
apply-impl
, определённая следующим образом:
template
<
class
F,
class
Tuple,
std::
size_t
...
I
>
constexpr
decltype
(
auto
)
apply-impl
(
F
&&
f, Tuple
&&
t,
std::
index_sequence
<
I...
>
)
// только для демонстрации
{
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) |
| Макрос тестирования возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__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'; // Ошибка: невозможно вывести тип функции // 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'; // расширенный пример 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
из
forwarding references
(шаблон функции) |
|
(C++17)
|
создает объект с кортежем аргументов
(шаблон функции) |
|
(C++17)
(C++23)
|
вызывает любой
Callable
объект с заданными аргументами
и возможностью указания типа возвращаемого значения
(since C++23)
(шаблон функции) |