Пространства имён
Варианты
Действия

std::apply

Материал из cppreference.com
< cpp‎ | utility
 
C++
Поддержка компилятором
Автономные и размещённые реализации
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Требования к именованию
Макросы тестирования функциональности (C++20)
Поддержка языка
Библиотека концептов (C++20)
Библиотека метапрограммирования (C++11)
Библиотека диагностики
Библиотека общих утилит
Библиотека строк
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека численных данных
Библиотека ввода/вывода
Библиотека локализаций
Регулярные выражения (C++11)
Атомарные операции (C++11)
Библиотека поддержки конкуренции (C++11)
Библиотека файловой системы (C++17)
Технические спецификации
Указатель символов
Внешние библиотеки
 
Библиотека утилит
Языковая поддержка
Поддержка типов (базовые типы, RTTI)
Макросы тестирования функциональности библиотеки (C++20)    
Управление динамической памятью
Программные утилиты
Поддержка сопрограмм (C++20)
Вариативные функции
(C++20)
(C++26)
(C++11)
(C++20)
Трёхстороннее сравнение (C++20)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)    
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
Общие утилиты
Дата и время
Функциональные объекты
Библиотека форматирования (C++20)
(C++11)
Операторы отношения (устарело в C++20)
Целочисленные функции сравнения
(C++20)(C++20)(C++20)    
(C++20)
Операции обмена и типа
(C++20)
(C++14)
(C++11)
(C++23)
(C++11)
(C++23)
(C++11)
(C++11)
(C++17)
Общие лексические типы
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++11)
apply
(C++17)
(C++17)
(C++23)
Элементарные преобразования строк
(C++17)
(C++17)
(C++17)
 
Определено в заголовочном файле <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(/* смотрите ниже */);
 (начиная с C++23)

Вызывает Callable объект f элементами t в качестве аргументов.

Дана функция только для описания apply-impl, определённая следующим образом: template<class F, tuple-like Tuple, std::size_t... I> // нет ограничений на Tuple до C++23
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), std::get<Is>(std::forward<Tuple>(t))...))

)

где Is... обозначает пакет параметров:

(начиная с C++23)

[править] Примечание

Tuple не обязательно должен быть std::tuple, вместо него может быть любой объект, поддерживающий std::get и std::tuple_size; в частности, могут использоваться std::array и std::pair.

(до C++23)

Tuple должен быть tuple-подобным, т.е. каждый тип в нём должен быть специализацией std::tuple или другим типом (например, std::array и std::pair), который моделирует tuple-like.

(начиная с 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, "Привет", 9.31f, 'c'};
    std::cout << myTuple << '\n';
}

Вывод: 

3
5
[25, Привет, 9.31, c]

[править] Смотрите также

(C++11)
 создаёт объект tuple типа, определённого типами аргументов
(шаблон функции) [править]
(C++11)
 создаёт tuple пересылалаемых ссылок
(шаблон функции) [править]
(C++17)
 создаёт объект с кортежем аргументов
(шаблон функции) [править]
(C++17)(C++23)
 вызывает любой Callable объект с данными аргументами и имеет возможность указать тип возврата (начиная с C++23)
(шаблон функции) [править]
Источник — «https://ru.cppreference.com/mwiki/index.php?title=cpp/utility/apply&oldid=64245»