std::apply

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Biblioteca de macros de prueba de característica(C++20) Servicios del programa Apoyo de corrutinas(C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Servicios generales Objetos función Manipulación de bits(C++20) bitset hash (C++11) Operadores relacionales(en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Intercambio y operaciones de tipos swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Tipos vocabulario comunes pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

Definido en el archivo de encabezado <tuple>
template<class F, class Tuple> constexpr decltype(auto) apply(F&& f, Tuple&& t);		(desde C++17)

Invoca al objeto invocable (Callable) f con una tupla de argumentos.

Parámetros

f	-	El objeto invocable (Callable) a ser invocado.
t	-	Tupla cuyos elementos serán usados como argumentos para f.

Valor de retorno

El valor devuelto por f.

Notas

La tupla no tiene que ser necesariamente std::tuple, y en su lugar puede ser cualquier cosa que soporte std::get y std::tuple_size; en particular, pueden usarse std::array y std::pair.

Posible implementación

namespace detail {template<class F, class Tuple, std::size_t... I>constexpr decltype(auto) apply_impl(F&& f, Tuple&& t, std::index_sequence<I...>){// Esta implementación es válida desde C++20 (vía P1065R2)// En C++17, aquí se necesita una contraparte constexpr de std::invokereturnstd::invoke(std::forward<F>(f), std::get<I>(std::forward<Tuple>(t))...);}}// namespace detail   template<class F, class Tuple>constexpr decltype(auto) apply(F&& f, Tuple&& t){return detail::apply_impl(std::forward<F>(f), std::forward<Tuple>(t), std::make_index_sequence<std::tuple_size_v<std::remove_reference_t<Tuple>>>{});}

Ejemplo

Ejecuta este código

#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(){// de acuerdostd::cout<< std::apply(add, std::pair(1, 2))<<'\n';   // ERROR: no puede deducirse el tipo de función// std::cout << std::apply(add_generic, std::make_pair(2.0f, 3.0f)) << '\n';    // de acuerdostd::cout<< std::apply(add_lambda, std::pair(2.0f, 3.0f))<<'\n';   // ejemplo avanzadostd::tuple myTuple(25, "Hola", 9.31f, 'c');std::cout<< myTuple <<'\n';   }

Salida:

3 5 [25, Hola, 9.31, c]

Véase también

make_tuple	Crea un objeto de tupla del tipo definido por los tipos de argumentos. (plantilla de función)
forward_as_tuple	Crea una tupla de referencias r-valor. (plantilla de función)
make_from_tuple (C++17)	Construye un objeto con una tupla de argumentos. (plantilla de función)
invokeinvoke_r (C++17)(C++23)	Invoca cualquier objeto Callable con los argumentos dados y la posibilidad de especificar el tipo de retorno.(desde C++23) (plantilla de función)