std::invoke, std::invoke_r

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов(C++20)

Библиотека метапрограммирования(C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов(C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения(C++11)

Атомарные операции(C++11)

Библиотека поддержки конкуренции(C++11)

Библиотека файловой системы(C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм(C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) 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_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Функциональные объекты Библиотека форматирования(C++20) bitset hash (C++11) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения 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) Операции обмена и типа 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) Общие лексические типы 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) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

Объекты функции

Функции обёртки function (C++11) move_only_function (C++23) copyable_function (C++26) function_ref (C++26) mem_fn (C++11) bad_function_call (C++11)	Применение частичных функций bind_frontbind_back (C++20)(C++23) bind (C++11) is_bind_expression (C++11) is_placeholder (C++11) _1, _2, _3, ... (C++11)
Вызов функции invokeinvoke_r (C++17)(C++23) Объект идентичности функции identity (C++20)	Обёртки ссылок reference_wrapper (C++11) refcref (C++11)(C++11) unwrap_referenceunwrap_ref_decay (C++20)(C++20)
Обёртки операторов plus minus negate multiplies    divides modulus bit_and bit_or bit_not (C++14)   bit_xor equal_to not_equal_to greater less greater_equal less_equal logical_and logical_or logical_not	Прозрачные обёртки операторов plus<> (C++14) minus<> (C++14) negate<> (C++14) multiplies<> (C++14)   divides<> (C++14) modulus<> (C++14) bit_and<> (C++14) bit_or<> (C++14) bit_not<> (C++14) bit_xor<> (C++14) equal_to<> (C++14) not_equal_to<> (C++14) greater<> (C++14) less<> (C++14) greater_equal<> (C++14) less_equal<> (C++14) logical_and<> (C++14) logical_or<> (C++14) logical_not<> (C++14)
Отрицатели not_fn (C++17) Искатели default_searcher (C++17) boyer_moore_searcher (C++17) boyer_moore_horspool_searcher (C++17)	Ограниченные компараторы ranges::equal_to (C++20) ranges::not_equal_to (C++20) ranges::greater (C++20) ranges::less (C++20) ranges::greater_equal (C++20) ranges::less_equal (C++20) compare_three_way (C++20)
Старые привязки и адаптеры
unary_function (до C++17*) binary_function (до C++17*) ptr_fun (до C++17*) pointer_to_unary_function (до C++17*) pointer_to_binary_function (до C++17*) mem_fun (до C++17*) mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (до C++17*)(до C++17*)(до C++17*)(до C++17*) not1 (до C++20*) not2 (до C++20*)	binder1stbinder2nd (до C++17*)(до C++17*) bind1stbind2nd (до C++17*)(до C++17*) mem_fun_ref (до C++17*) mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (до C++17*)(до C++17*)(до C++17*)(до C++17*) unary_negate (до C++20*) binary_negate (до C++20*)

 

Определено в заголовочном файле <functional>
	(1)
template<class F, class... Args> std::invoke_result_t<F, Args...>     invoke( F&& f, Args&&... args)noexcept(/* смотрите ниже */);			(начиная с C++17) (до C++20)
template<class F, class... Args> constexprstd::invoke_result_t<F, Args...>     invoke( F&& f, Args&&... args)noexcept(/* смотрите ниже */);			(начиная с C++20)
template<class R, class F, class... Args> constexpr R invoke_r( F&& f, Args&&... args)noexcept(/* смотрите ниже */);		(2)	(начиная с C++23)

1) Вызвать объект Callablef с параметрами args, как INVOKE(std::forward<F>(f), std::forward<Args>(args)...). Эта перегрузка участвует в разрешении перегрузки, только если std::is_invocable_v<F, Args...> равно true.

2) Вызвать объект Callablef с параметрами args, как INVOKE<R>(std::forward<F>(f), std::forward<Args>(args)...). Эта перегрузка участвует в разрешении перегрузки, только если std::is_invocable_r_v<R, F, Args...> равно true.

Параметры

f	—	Callable объект для вызова
args	—	аргументы для передачи f

Возвращаемое значение

1) Значение, возвращаемое f.

2) Значение, возвращаемое f, неявно преобразуется в R, если R не равно void. Иначе ничего.

Исключения

1)

спецификация noexcept:  

noexcept(std::is_nothrow_invocable_v<F, Args...>)

2)

спецификация noexcept:  

noexcept(std::is_nothrow_invocable_r_v<R, F, Args...>)

Возможная реализация

invoke
namespace detail {template<class>constexprbool is_reference_wrapper_v =false;template<class U>constexprbool is_reference_wrapper_v<std::reference_wrapper<U>>=true;   template<class C, class Pointed, class T1, class... Args>constexpr decltype(auto) invoke_memptr(Pointed C::* f, T1&& t1, Args&&... args){ifconstexpr(std::is_function_v<Pointed>){ifconstexpr(std::is_base_of_v<C, std::decay_t<T1>>)return(std::forward<T1>(t1).*f)(std::forward<Args>(args)...);elseifconstexpr(is_reference_wrapper_v<std::decay_t<T1>>)return(t1.get().*f)(std::forward<Args>(args)...);elsereturn((*std::forward<T1>(t1)).*f)(std::forward<Args>(args)...);}else{ static_assert(std::is_object_v<Pointed>&& sizeof...(args)==0);ifconstexpr(std::is_base_of_v<C, std::decay_t<T1>>)returnstd::forward<T1>(t1).*f;elseifconstexpr(is_reference_wrapper_v<std::decay_t<T1>>)return t1.get().*f;elsereturn(*std::forward<T1>(t1)).*f;}}}// пространство имён detail   template<class F, class... Args>constexprstd::invoke_result_t<F, Args...> invoke(F&& f, Args&&... args)noexcept(std::is_nothrow_invocable_v<F, Args...>){ifconstexpr(std::is_member_pointer_v<std::decay_t<F>>)return detail::invoke_memptr(f, std::forward<Args>(args)...);elsereturnstd::forward<F>(f)(std::forward<Args>(args)...);}
invoke_r
template<class R, class F, class... Args> requires std::is_invocable_r_v<R, F, Args...>constexpr R invoke_r(F&& f, Args&&... args)noexcept(std::is_nothrow_invocable_r_v<R, F, Args...>){ifconstexpr(std::is_void_v<R>) std::invoke(std::forward<F>(f), std::forward<Args>(args)...);elsereturn std::invoke(std::forward<F>(f), std::forward<Args>(args)...);}

Примечание

Макрос тест функциональности	Значение	Стандарт	Комментарий
__cpp_lib_invoke	201411L	(C++17)	std::invoke
__cpp_lib_invoke_r	202106L	(C++23)	std::invoke_r

Пример

Запустить этот код

#include <functional>#include <iostream>#include <type_traits>   struct Foo { Foo(int num): num_(num){}void print_add(int i)const{std::cout<< num_+i <<'\n';}int num_;};   void print_num(int i){std::cout<< i <<'\n';}   struct PrintNum {void operator()(int i)const{std::cout<< i <<'\n';}};   int main(){// вызвать свободную функцию std::invoke(print_num, -9);   // вызвать лямбду std::invoke([](){ print_num(42);});   // вызвать функцию-элементconst Foo foo(314159); std::invoke(&Foo::print_add, foo, 1);   // вызвать (получить доступ к) элемент данныхstd::cout<<"num_: "<< std::invoke(&Foo::num_, foo)<<'\n';   // вызвать функциональный объект std::invoke(PrintNum(), 18);   # if defined(__cpp_lib_invoke_r)auto add =[](int x, int y){return x + y;};auto ret = std::invoke_r<float>(add, 11, 22); static_assert(std::is_same<decltype(ret), float>());std::cout<< ret <<'\n'; std::invoke_r<void>(print_num, 44);# endif}

Возможный вывод:

-9 42 314160 num_: 314159 18 33 44

Смотрите также

mem_fn (C++11)	создаёт объект функцию из указателя на элемент (шаблон функции)
result_ofinvoke_result (C++11)(удалено в C++20)(C++17)	выводит тип результата вызова вызываемого объекта с набором аргументов (шаблон класса)
is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)	проверяет, может ли тип быть вызван (как если бы std::invoke) с заданными типами аргументов (шаблон класса)
apply (C++17)	вызывает функцию с кортежем аргументов (шаблон функции)