Объекты функции

 

C++

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

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

Язык

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

Поддержка языка Поддержка типа (базовые типы, RTTI, свойства типов)     Макросы тестирования функциональности библиотеки (C++20) Управление динамической памятью Программные утилиты Обработка ошибок Поддержка сопрограмм (C++20) Вариативные функции launder (C++17) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Объекты функции bitset Библиотека форматирования (C++20) hash (C++11) integer_sequence (C++14) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) to_underlying (C++23) Общие лексические типы pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) Stacktrace stacktrace_entry (C++23) basic_stacktrace (C++23)

 

Объекты функции

Обёртки функций function (C++11) mem_fn (C++11) bad_function_call (C++11)	Частичное применение функций bind_front (C++20) bind (C++11) is_bind_expression (C++11) is_placeholder (C++11) _1, _2, _3, ... (C++11)
Вызов функции invokeinvoke_r (C++17)(C++23) Идентификация объекта функции identity (C++20)	Обёртки ссылок reference_wrapper (C++11) refcref (C++11)(C++11) unwrap_referenceunwrap_ref_decay (C++20)(C++20)
Обёртки операторов plus minus negate multiplies divides modulus bit_and bit_or bit_not (C++14) bit_xor equal_to not_equal_to greater less greater_equal less_equal logical_and logical_or logical_not	Прозрачные обёртки операторов plus<> (C++14) minus<> (C++14) negate<> (C++14) multiplies<> (C++14) divides<> (C++14) modulus<> (C++14) bit_and<> (C++14) bit_or<> (C++14) bit_not<> (C++14) bit_xor<> (C++14) equal_to<> (C++14) not_equal_to<> (C++14) greater<> (C++14) less<> (C++14) greater_equal<> (C++14) less_equal<> (C++14) logical_and<> (C++14) logical_or<> (C++14) logical_not<> (C++14)
Отрицатели not_fn (C++17) Поисковики default_searcher (C++17) boyer_moore_searcher (C++17) boyer_moore_horspool_searcher (C++17)	Компараторы с ограничениями ranges::equal_to (C++20) ranges::not_equal_to (C++20) ranges::greater (C++20) ranges::less (C++20) ranges::greater_equal (C++20) ranges::less_equal (C++20) compare_three_way (C++20)
Старые связыватели и адаптеры
unary_function (до C++17) binary_function (до C++17) ptr_fun (до C++17) pointer_to_unary_function (до C++17) pointer_to_binary_function (до C++17) mem_fun (до C++17) mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (до C++17)(до C++17)(до C++17)(до C++17) not1 (до C++20) not2 (до C++20)	binder1stbinder2nd (до C++17)(до C++17) bind1stbind2nd (до C++17)(до C++17) mem_fun_ref (до C++17) mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (до C++17)(до C++17)(до C++17)(до C++17) unary_negate (до C++20) binary_negate (до C++20)

 

Объект функция, это любой объект, для которого определён оператор вызова функции. C++ предоставляет множество встроенных объектов функций, а также поддержку для создания и управления новыми объектами функциями.

Обёртки функций

std::function обеспечивает поддержку для хранения произвольных объектов функций.

function (C++11)	обёртывает вызываемый объект любого типа с указанной сигнатурой вызова функции (шаблон класса)
bad_function_call (C++11)	исключение, возникающее при вызове пустой std::function (класс)
mem_fn (C++11)	создаёт объект функции из указателя на элемент (шаблон функции)

Вызов функции

std::invoke может вызывать любой Callable объект с заданными аргументами.

invoke invoke_r (C++17) (C++23)	вызывает любой Callable объект с данными аргументами и имеет возможность указать тип возврата (начиная с C++23) (шаблон функции)

Идентичность

std::identity это объект функции идентификации: он возвращает свой аргумент без изменений.

identity (C++20)	объект функция, который возвращает свой аргумент без изменений (класс)

Частичное применение функции

std::bind_front и std::bind обеспечивают поддержку частичного применения функции, то есть привязку аргументов к функциям для создания новых функций.

bind_front (C++20)	связывает переменное количество аргументов по порядку с объектом функцией (шаблон функции)
bind (C++11)	связывает один или несколько аргументов с объектом функцией (шаблон функции)
is_bind_expression (C++11)	указывает, что объект является выражением std::bind или может использоваться самостоятельно (шаблон класса)
is_placeholder (C++11)	указывает, что объект является стандартным заполнителем или может использоваться самостоятельно (шаблон класса)
Определены в пространстве имён std::placeholders
_1, _2, _3, _4, ... (C++11)	заполнители для несвязанных аргументов в выражении std::bind (константа)

Отрицатели

std::not_fn создаёт объект функции, который отрицает результат переданного ему вызываемого объекта.

not_fn (C++17)	создаёт объект функции, который возвращает дополнение результата объекта функции, который он содержит (шаблон функции)

Поисковые функции

Предусмотрены поисковые функции, реализующие несколько алгоритмов поиска по строкам, которые могут использоваться либо напрямую, либо с std::search.

default_searcher (C++17)	реализация алгоритма поиска стандартной библиотеки C++ (шаблон класса)
boyer_moore_searcher (C++17)	реализация алгоритма поиска Бойера-Мура (шаблон класса)
boyer_moore_horspool_searcher (C++17)	реализация алгоритма поиска Бойера-Мура-Хорспула (шаблон класса)

Обёртки ссылок

Обёртки ссылок позволяют сохранять ссылочные аргументы в копируемых объектах функциях:

reference_wrapper (C++11)	обёртка ссылок CopyConstructible и CopyAssignable (шаблон класса)
ref cref (C++11) (C++11)	создаёт std::reference_wrapper с типом, выведенным из его аргумента (шаблон функции)
unwrap_reference unwrap_ref_decay (C++20) (C++20)	получает ссылочный тип, заключённый в std::reference_wrapper (шаблон класса)

Объекты функции операторы

C++ определяет несколько объектов функций, которые представляют общие арифметические и логические операции:

Арифметические операции
plus	объект функция, реализующий x + y (шаблон класса)
minus	объект функция, реализующий x - y (шаблон класса)
multiplies	объект функция, реализующий x * y (шаблон класса)
divides	объект функция, реализующий x / y (шаблон класса)
modulus	объект функция, реализующий x % y (шаблон класса)
negate	объект функция, реализующий -x (шаблон класса)
Сравнения
equal_to	объект функция, реализующий x == y (шаблон класса)
not_equal_to	объект функция, реализующий x != y (шаблон класса)
greater	объект функция, реализующий x > y (шаблон класса)
less	объект функции, реализующий x < y (шаблон класса)
greater_equal	объект функция, реализующий x >= y (шаблон класса)
less_equal	объект функция, реализующий x <= y (шаблон класса)
Логические операции
logical_and	объект функция, реализующий x && y (шаблон класса)
logical_or	объект функция, реализующий x || y (шаблон класса)
logical_not	объект функция, реализующий !x (шаблон класса)
Побитовые операции
bit_and	объект функция, реализующий x & y (шаблон класса)
bit_or	объект функция, реализующий x | y (шаблон класса)
bit_xor	объект функция, реализующий x ^ y (шаблон класса)
bit_not (C++14)	объект функция, реализующий ~x (шаблон класса)

Объекты функции ограниченного сравнения

C++20 определяет набор объектов функций ограниченного сравнения. Операторы равенства (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.

ranges::equal_to (C++20)	объект функция, реализующий x == y (класс)
ranges::not_equal_to (C++20)	объект функция, реализующий x != y (класс)
ranges::less (C++20)	объект функция, реализующий x < y (класс)
ranges::greater (C++20)	объект функция, реализующий x > y (класс)
ranges::less_equal (C++20)	объект функция, реализующий x <= y (класс)
ranges::greater_equal (C++20)	объект функция, реализующий x >= y (класс)
compare_three_way (C++20)	реализация объекта функции x <=> y (класс)

Старые привязки и адаптеры

Несколько утилит, которые обеспечивали раннюю функциональную поддержку, устарели в C++11 и удалены в C++17 (старые отрицатели устарели в C++17 и удалены в C++20):

Основа
unary_function (устарело в C++11) (убрано в C++17)	совместимый с адаптором базовый класс унарной функции (шаблон класса)
binary_function (deprecated in C++11) (убрано в C++17)	совместимый с адаптером базовый класс двоичной функции (шаблон класса)
Привязки
binder1st binder2nd (устарело в C++11)(убрано в C++17)	объект функции, содержащий двоичную функцию и один из её аргументов (шаблон класса)
bind1st bind2nd (устарело в C++11)(убрано в C++17)	связывает один аргумент с двоичной функцией (шаблон функции)
Адаптоты функций
pointer_to_unary_function (устарело в C++11) (убрано в C++17)	совместимая с адаптором обёртка для указателя на унарную функцию (шаблон класса)
pointer_to_binary_function (устарело в C++11) (убрано в C++17)	совместимая с адаптором обёртка для указателя на двоичную функцию (шаблон класса)
ptr_fun (устарело в C++11) (убрано в C++17)	создаёт совместимую с адаптором обёртку объекта функции из указателя на функцию (шаблон функции)
mem_fun_t mem_fun1_t const_mem_fun_t const_mem_fun1_t (устарело в C++11) (убрано в C++17)	оболочка для указателя на нульарную или унарную функцию-элемент, вызываемую с указателем на объект (шаблон класса)
mem_fun (устарело в C++11) (убрано в C++17)	создаёт оболочку из указателя на функцию-элемент, вызываемую через указатель на объект (шаблон функции)
mem_fun_ref_t mem_fun1_ref_t const_mem_fun_ref_t const_mem_fun1_ref_t (устарело в C++11) (убрано в C++17)	оболочка для указателя на нульарную или унарную функцию-элемент, вызываемую со ссылкой на объект (шаблон класса)
mem_fun_ref (устарело в C++11) (убрано в C++17)	создаёт оболочку из указателя на функцию-элемент, вызываемую со ссылкой на объект (шаблон функции)
unary_negate (устарело в C++17) (убрано в C++20)	обёртка объекта функции, возвращающая дополнение к унарному предикату, содержащемуся в ней (шаблон класса)
binary_negate (deprecated in C++17) (убрано в C++20)	объект функции-обёртки, возвращающий дополнение к содержащемуся в нём двоичному предикату (шаблон класса)
not1 (устарело в C++17) (убрано в C++20)	создаёт пользовательский объект std::unary_negate (шаблон функции)
not2 (устарело в C++17) (убрано в C++20)	создаёт пользовательский объект std::binary_negate (шаблон функции)