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

 

C++

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

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

Язык

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

Поддержка языка Поддержка типа (базовые типы, RTTI, свойства типов)     Макросы тестирования функциональности библиотеки (C++20) Управление динамической памятью Программные утилиты Обработка ошибок Поддержка сопрограмм (C++20) Вариативные функции is_constant_evaluated (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) expected (C++23) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

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

• библиотеки для поддержки языка;
• библиотеки общего назначения.

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

Библиотеки поддержки языка предоставляют классы и функции, тесно связанные с возможностями языка и служащие для поддержки общих языковых идиом.

Подержка типов

Базовые типы (например, std::size_t, std::nullptr_t), RTTI (например, std::type_info), свойства типа (например, std::is_integral, std::rank)

Контекст оценки константы

Определены в заголовочном файле <type_traits>
is_constant_evaluated (C++20)	определяет, происходит ли вызов в контексте вычисления константы (функция)

Свойства реализации

Заголовок <version> предоставляет зависящую от реализации информацию о стандартной библиотеке C++ (такую как номер версии и дата выпуска). Он также объявляет макросы тестирования возможностей библиотеки.

(начиная с C++20)

Программные утилиты

• Прерывание (например, std::abort, std::atexit)
• Окружение (например, std::system)
• Сигналы (например, std::raise)

Динамическое управление памятью

• Умные указатели (например, std::shared_ptr).
• Распределители (например, std::allocator или std::pmr::memory_resource).
• Управление памятью в стиле C (например, std::malloc).

Доступ к объекту

Определены в заголовочном файле <new>
launder (C++17)	барьер оптимизации указателя (шаблон функции)

Обработка ошибок

• Исключения (например, std::exception, std::terminate).
• Утверждения (например, assert).
• Утверждения момента компиляции (static_assert).

Сбор информации об исходном коде

Определены в заголовочном файле <source_location>
source_location (C++20)	класс, предоставляющий информацию об исходном коде, такую как имена файлов, номера строк и имена функций (класс)

Списки инициализации

Определены в заголовочном файле <initializer_list>
initializer_list (C++11)	создаёт временный массив в списке инициализации, а затем ссылается на него (шаблон класса)

Трёхстороннее сравнение

Определены в заголовочном файле <compare>
three_way_comparable three_way_comparable_with (C++20)	указывает, что оператор <=> даёт согласованный результат для данных типов (концепт)
partial_ordering (C++20)	тип результата трёхстороннего сравнения, который поддерживает все 6 операторов, не подлежит замене и допускает несравнимые значения (класс)
weak_ordering (C++20)	тип результата трёхстороннего сравнения, который поддерживает все 6 операторов и не подлежит замене (класс)
strong_ordering (C++20)	тип результата трёхстороннего сравнения, который поддерживает все 6 операторов и может быть заменён (класс)
is_eq is_neq is_lt is_lteq is_gt is_gteq (C++20)	именованные функции сравнения (функция)
compare_three_way (C++20)	реализация объекта функции x <=> y (класс)
compare_three_way_result (C++20)	получает тип результата оператора трёхстороннего сравнения <=> для заданных типов (шаблон класса)
common_comparison_category (C++20)	самая сильная категория сравнения, в которую можно преобразовать все указанные типы (шаблон класса)
strong_order (C++20)	выполняет трёхстороннее сравнение и возвращает результат типа std::strong_ordering (объект точки настройки)
weak_order (C++20)	выполняет трёхстороннее сравнение и возвращает результат типа std::weak_ordering (объект точки настройки)
partial_order (C++20)	выполняет трёхстороннее сравнение и возвращает результат типа std::partial_ordering (объект точки настройки)
compare_strong_order_fallback (C++20)	выполняет трёхстороннее сравнение и возвращает результат типа std::strong_ordering, даже если operator<=> недоступен (объект точки настройки)
compare_weak_order_fallback (C++20)	выполняет трёхстороннее сравнение и возвращает результат типа std::weak_ordering, даже если operator<=> недоступен (объект точки настройки)
compare_partial_order_fallback (C++20)	выполняет трёхстороннее сравнение и возвращает результат типа std::partial_ordering, даже если operator<=> недоступен (объект точки настройки)

Поддержка сопрограмм

Типы для поддержки сопрограмм, например std::coroutine_traits, std::coroutine_handle.

(начиная с C++20)

Вариативные функции

Поддержка функций, которые принимают произвольное число параметров (например, через va_start, va_arg, va_end).

Утилиты общего назначения

Обмен и операции над типами

Определены в заголовочном файле <utility>
swap	меняет местами значения двух объектов (шаблон функции)
exchange (C++14)	заменяет аргумент новым значением и возвращает его предыдущее значение (шаблон функции)
forward (C++11)	пересылает аргумент функции (шаблон функции)
move (C++11)	получает ссылку на rvalue (шаблон функции)
move_if_noexcept (C++11)	получает ссылку rvalue, если конструктор перемещения не бросает исключение (шаблон функции)
as_const (C++17)	получает ссылку на константу её аргумента (шаблон функции)
declval (C++11)	получает ссылку на свой аргумент для использования в невычисленном контексте (шаблон функции)
to_underlying (C++23)	преобразует перечисление в его базовый тип (шаблон функции)
Определены в заголовочном файле <concepts>
ranges::swap (C++20)	обменивает значения двух объектов (объект точки настройки)

Целочисленные функции сравнения

Определены в заголовочном файле <utility>
cmp_equal cmp_not_equal cmp_less cmp_greater cmp_less_equal cmp_greater_equal (C++20)	сравнивает два целых значения без изменения значения, вызванного преобразованием (шаблон функции)
in_range (C++20)	проверяет, находится ли целочисленное значение в диапазоне заданного целочисленного типа (шаблон функции)

Операторы отношения

Определены в заголовочном файле <utility>
Определены в пространстве имён std::rel_ops
operator!= operator> operator<= operator>= (устарело в C++20)	автоматически генерирует операторы сравнения на основе определённых пользователем operator== и operator< (шаблон функции)

Пары и кортежи

Определены в заголовочном файле <utility>
pair	реализует двойной кортеж, т.е. пару значений (шаблон класса)
piecewise_construct (C++11)	объект типа piecewise_construct_t, используемый для устранения неоднозначности функций для кусочного построения (константа)
integer_sequence (C++14)	реализует последовательность целых чисел на этапе компиляции (шаблон класса)
Определены в заголовочном файле <tuple>
tuple (C++11)	реализует контейнер фиксированного размера, который содержит элементы, возможно, разных типов (шаблон класса)
apply (C++17)	вызывает функцию с кортежем аргументов (шаблон функции)
make_from_tuple (C++17)	создаёт объект с кортежем аргументов (шаблон функции)
Определены в заголовочном файле <tuple>
Определены в заголовочном файле <utility>
Определены в заголовочном файле <array>
Определены в заголовочном файле <ranges>
tuple_size (C++11)	получает количество элементов кортежного типа (шаблон класса)
tuple_element (C++11)	получает типы элементов кортежного типа (шаблон класса)

Типы сумм и удаляемые оболочки типов

Определены в заголовочном файле <optional>
optional (C++17)	обёртка, которая может содержать или не содержать объект (шаблон класса)
Определены в заголовочном файле <expected>
expected (C++23)	оболочка, содержащая либо ожидаемое значение, либо значение ошибки (шаблон класса)
Определены в заголовочном файле <variant>
variant (C++17)	типобезопасное размеченное объединение (шаблон класса)
Определены в заголовочном файле <any>
any (C++17)	объекты, содержащие экземпляры любого CopyConstructible типа. (класс)
Определены в заголовочном файле <utility>
in_place in_place_type in_place_index in_place_t in_place_type_t in_place_index_t (C++17)	метка конструирования на месте (шаблон класса)

Набор битов

Определены в заголовочном файле <bitset>
bitset	реализует битовый массив постоянной длины (класс)

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

• Частичное применение функции (например, std::bind) и сопутствующие утилиты: утилиты для привязки, такие как std::ref и std::placeholders
• Полиморфные оболочки функций: std::function
• Предопределённые функторы (например, std::plus, std::equal_to)
• Метод преобразователей функций std::mem_fn.

Поддержка хеширования

Определены в заголовочном файле <functional>
hash (C++11)	Объект хеш-функции (шаблон класса)

Дата и время

• Отслеживание времени (например, std::chrono::time_point, std::chrono::duration)
• Дата и время в стиле C (например, std::time, std::clock)

Элементарные преобразования строк

В дополнение к сложным анализаторам и средствам форматирования, зависящим от локали, предоставляемым библиотекой C++ Ввода/Вывода, библиотекой C Ввода/Вывода, Конвертерами строк C++ и Конвертерами строк C, заголовок <charconv> предоставляет лёгкие, не зависящие от локали, не выделяющие память, не выбрасывающие исключения парсеры и средства форматирования для арифметических типов.

Определены в заголовочном файле <charconv>
to_chars (C++17)	преобразует целое число или значение с плавающей точкой в последовательность символов (функция)
from_chars (C++17)	преобразует последовательность символов в целое число или значение с плавающей точкой (функция)
chars_format (C++17)	определяет форматирование для std::to_chars и std::from_chars (перечисление)

Библиотека форматирования

Средства для безопасного форматирования строк.

Определены в заголовочном файле <format>
format (C++20)	сохраняет форматированное представление аргументов в новой строке (шаблон функции)
format_to (C++20)	записывает форматированное представление своих аргументов через итератор вывода (шаблон функции)
format_to_n (C++20)	записывает форматированное представление своих аргументов через итератор вывода, не превышая заданного размера (шаблон функции)
formatted_size (C++20)	определяет количество символов, необходимых для хранения форматированного представления его аргументов (шаблон функции)
vformat (C++20)	не шаблонный variant std::format с использованием представления аргументов с удалением типа (функция)
vformat_to (C++20)	не шаблонный variant std::format_to с использованием представления аргументов с удалением типа (шаблон функции)
formatter (C++20)	шаблон класса, который определяет правила форматирования для данного типа (шаблон класса)
format_error (C++20)	тип исключения, возникающий при ошибках форматирования (класс)

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

Документация по C для Библиотека утилит