std:: invocable, std:: regular_invocable

Определено в заголовке <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 было сохраняющим равенство и не модифицировало ни объект функции, ни аргументы.

Содержание 1 Сохранение равенства 2 Примечания 3 Ссылки 4 Смотрите также 5 Внешние ссылки

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

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

Примечания

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

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

Ссылки

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

is_invocable is_invocable_r is_nothrow_invocable is_nothrow_invocable_r (C++17)

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

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

Шуточный пример генератора случайных чисел , который удовлетворяет как invocable , так и regular_invocable .