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

Вычисляет параметры вызова, когда 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.

[править] Типы-элементы

[править] Вспомогательные типы

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

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