Функциональные объекты

Операция INVOKE(f, arg_0, arg_1, arg_2, ..., arg_N), используемая только для описания, определяется следующим образом:

Пусть тип Obj является типом arg_0 без квалификаторов (то есть std::remove_cv<std::remove_reference<decltype(arg_0)>::type>::type) и obj — объектом типа Obj.

• Если f является указателем на функцию-член класса C, то INVOKE(f, obj, arg_1, arg_2, ..., arg_N) эквивалентно следующему:
• Если std::is_same<C, Obj>::value || std::is_base_of<C, Obj>::value — это true
• (obj.*f)(arg_1, arg_2, ..., arg_N) (вызов функции-члена для объекта).
• Если Obj является специализацией std::reference_wrapper
• (obj.get().*f)(arg_1, arg_2, ..., arg_N) (вызов функции-члена для специально указанного объекта).
• В противном случае
• ((*obj).*f)(arg_1, arg_2, ..., arg_N) (вызов функции-члена для разыменованного объекта).
• В противном случае, если N == 0 и f является указателем на член-данные класса C, то INVOKE(mptr, obj) эквивалентно следующему:
• Если std::is_same<C, Obj>::value || std::is_base_of<C, Obj>::value — это true
• obj.*mptr (доступ к члену-данным объекта).
• Если Obj является специализацией std::reference_wrapper
• obj.get().*mptr (доступ к члену-данным специально указанного объекта).
• В противном случае
• (*obj).*mptr (доступ к члену-данным разыменованного объекта).
• В противном случае
• INVOKE(f, arg_0, arg_1, arg_2, ..., arg_N) эквивалентно f(arg_0, arg_1, arg_2, ..., arg_N) (вызов вызываемого объекта).

Операция INVOKE<R>(f, arg_0, arg_1, arg_2, ..., arg_N), используемая только для описания, определяется следующим образом:

• Если R — это (возможно, cv-квалифицированный) void
• static_cast<void>(INVOKE(f, arg_0, arg_1, arg_2, ..., arg_N)).
• В противном случае
• INVOKE(f, arg_0, arg_1, arg_2, ..., arg_N) с неявным преобразованием в R.

Прозрачные функциональные объекты

Ассоциативные контейнеры и неупорядоченные ассоциативные контейнеры(начиная с C++20) предоставляют операции гетерогенного поиска и удаления(начиная с C++23), но они доступны только в том случае, если переданный тип функционального объекта T является прозрачным: квалифицированный идентификатор T::is_transparent корректен и обозначает тип.

Все типы прозрачных функциональных объектов стандартной библиотеки определяют вложенный тип is_transparent. Однако пользовательским типам прозрачных функциональных объектов не обязательно непосредственно предоставлять is_transparent в качестве вложенного типа: его можно определить в базовом классе, если T::is_transparent удовлетворяет указанному выше требованию прозрачности.

Специализации для void выводят типы параметров и возвращаемого значения из своих аргументов; все они являются прозрачными.

Функциональные объекты сравнения с ограничениями

Следующие функциональные объекты сравнения имеют ограничения.

• Операторы равенства (ranges::equal_to и ranges::not_equal_to) требуют, чтобы типы аргументов удовлетворяли концепту equality_comparable_with.
• Операторы отношения (ranges::less, ranges::greater, ranges::less_equal и ranges::greater_equal) требуют, чтобы типы аргументов удовлетворяли концепту totally_ordered_with.
• Оператор трёхстороннего сравнения (compare_three_way) требует, чтобы тип моделировал концепт three_way_comparable_with.

Все эти функциональные объекты являются прозрачными.

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

Следующие элементы, используемые только для описания, применяются несколькими компонентами стандартной библиотеки, но не входят в интерфейс стандартной библиотеки.

template< class Fn, class... Args >
concept /*callable*/ =
    requires (Fn&& fn, Args&&... args) {
        std::forward<Fn>(fn)(std::forward<Args>(args)...);
    };

template< class Fn, class... Args >
concept /*nothrow-callable*/ =
    /*callable*/<Fn, Args...> &&
    requires (Fn&& fn, Args&&... args) {
        { std::forward<Fn>(fn)(std::forward<Args>(args)...) } noexcept;
    };

template< class Fn, class... Args >
using /*call-result-t*/ = decltype(std::declval<Fn>()(std::declval<Args>()...));

template< const auto& T >
using /*decayed-typeof*/ = decltype(auto(T));