std::experimental::invocation_type, std::experimental::raw_invocation_type

 

C++

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

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

Язык

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

Библиотека файловой системы (ТС файловой системы)

Основы библиотеки (ТС основ библиотеки)

Основы библиотеки 2 (ТС основ библиотеки v2)

Основы библиотеки 3 (ТС основы библиотеки v3)

Расширения для параллелизма (ТС параллелизма)

Расширения для параллелизма 2 (ТС параллелизма v2)

Расширения для конкуренции 2 (ТС конкуренции v2)

Концепты (ТС концепций)

Диапазоны (ТС диапазонов)

Рефлексия (ТС рефлексии)

Специальные математические функции (ТО специальные функции)

 

Основы библиотеки

experimental::optional

experimental::any

experimental::basic_string_view

experimental::sample

experimental::shared_ptr

experimental::weak_ptr

experimental::apply

experimental::invocation_typeexperimental::raw_invocation_type

experimental::search

experimental::default_searcherexperimental::make_default_searcher

experimental::boyer_moore_searcherexperimental::make_boyer_moore_searcher

experimental::boyer_moore_horspool_searcherexperimental::make_boyer_moore_horspool_searcher

Очистка типов и полиморфные аллокаторы

Шаблоны переменных для свойств типа

 

<tbody> </tbody>

Определено в заголовочном файле <experimental/type_traits>
template<class> struct raw_invocation_type; //не определено template<class Fn, class... ArgTypes> struct raw_invocation_type<Fn(ArgTypes...)>;	(1)	(ТС основ библиотеки)
template<class> struct invocation_type; //не определено template<class Fn, class... ArgTypes> struct invocation_type<Fn(ArgTypes...)>;	(2)	(ТС основ библиотеки)

Вычисляет параметры вызова, когда Fn вызывается с аргументами ArgTypes..., как в INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...), где INVOKE операция, определённая в Callable.

Параметры вызова выражения INVOKE(f, t1, t2, ..., tN) определяются следующим образом, где T1 (возможно, cv-квалифицированный) тип t1 и U1 есть T1&, если t1 левостороннее значение и T1&& в противном случае:

• Если f является указателем на функцию-элемент класса T, то параметрами вызова является U1, за которыми следуют параметры f соответствующие t2, ..., tN.
• Если N == 1 и f является указателем на данные-элементы класса T, тогда параметр вызова U1.
• Если f объект типа класса, тогда параметры вызова это параметры, соответствующие t1, ..., tN наилучше подходящей функции для аргументов t1, ..., tN среди операторов вызова функций и вызовов суррогатных функций f.
• Во всех остальных случаях параметры вызовов являются параметрами f соответствующие t1, ..., tN.

Если аргумент tI совпадает с многоточием в списке параметров функции, соответствующий параметр вызова является результатом применения продвижений аргументов по умолчанию к tI.

Fn и все типы в ArgTypes могут быть любым полным типом, массивом с неизвестной границей или (возможно, cv-квалифицированным) void.

Типы-элементы

Тип-элемент	Определение
raw_invocation_type<Fn(ArgTypes...)>::type	R(T1, T2, ...), где: R это std::result_of_t<Fn(ArgTypes...)> T1, T2, ... это параметры вызова для INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...), как определено выше. Определяется только в том случае, если Fn можно вызвать с аргументами ArgTypes... в неоценённом контексте.
invocation_type<Fn(ArgTypes...)>::type	R(U1, U2, ...), где R это std::result_of_t<Fn(ArgTypes...)> T1, T2, ... это параметры вызова для INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...), как определено выше A1, A2, ... обозначает ArgTypes... Ui это std::decay_t<Ai>, если std::declval<Ai>() является правосторонним значением и Ti иначе. Определяется только в том случае, если Fn можно вызвать с аргументами ArgTypes... в неоценённом контексте

Вспомогательные типы

<tbody> </tbody>

template< class T > using raw_invocation_type_t = typename raw_invocation_type<T>::type;		(ТС основ библиотеки)
template< class T > using invocation_type_t = typename invocation_type<T>::type;		(ТС основ библиотеки)

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

Документация C++ по ТС Рефлексии