std::invocable, std::regular_invocable

 

C++

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

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

Язык

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

Библиотека концептов

Основные концепты языка same_as derived_from convertible_to common_reference_with      common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

Концепты сравнения equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Концепты объектов movable copyable semiregular regular Вызываемые концепты invocableregular_invocable predicate relation equivalence_relation strict_weak_order

Концепты только для экспозиции boolean-testable

 

<tbody> </tbody>

Определено в заголовочном файле <concepts>
template< class F, class... Args > concept invocable = requires(F&& f, Args&&... args) { std::invoke(std::forward<F>(f), std::forward<Args>(args)...); /* не требуется сохранения равенства */ };		(начиная с C++20)
template< class F, class... Args > concept regular_invocable = std::invocable<F, Args...>;		(начиная с C++20)

Концепт invocable определяет, что вызываемый тип F может быть вызван с набором аргументов Args... с использованием шаблона функции std::invoke.

Концепт regular_invocable дополняет концепт invocable, требуя, чтобы выражение invoke сохраняло равенство и не изменяло ни объект функции, ни аргументы.

Сохранение равенства

Выражения, объявленные в выражениях requires концептов стандартной библиотеки, должны сохранять равенство (если не указано иное).

Примечание

Различие между invocable и regular_invocable чисто семантическое.

Генератор случайных чисел может соответствовать invocable, но не соответствовать regular_invocable (исключая комичные).

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

is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)

проверяет, может ли тип быть вызван (как если бы std::invoke) с заданными типами аргументов (шаблон класса)

Внешние ссылки

1.	Примечательный пример генератора случайных чисел, который соответствует как invocable, так и regular_invocable.