std::invocable, std::regular_invocable

template< class F, class... Args >
concept invocable =
    requires(F&& f, Args&&... args) {
        std::invoke(std::forward<F>(f), std::forward<Args>(args)...); 
            /* not required to be equality-preserving */
    };

template< class F, class... Args >
concept regular_invocable = std::invocable<F, Args...>;

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

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

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

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

Примечания

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

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

См. также

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