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

 

C++

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

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

Язык

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

Библиотека концептов

Основные концепты
same_as derived_from convertible_to common_reference_with common_with	integral signed_integral unsigned_integral floating_point swappableswappable_with	destructible constructible_from default_initializable move_constructible copy_constructible assignable_from
Сравнительные концепты
boolean	equality_comparableequality_comparable_with	totally_orderedtotally_ordered_with
Объектные концепты
movable copyable	semiregular regular
Функциональные концепты
invocableregular_invocable	predicate relation	equivalence_relation strict_weak_order

 

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

Большинство концептов стандартной библиотеки налагают как синтаксические, так и семантические требования. Говорят, что стандартный концепт удовлетворяется, если удовлетворяются его синтаксические требования, и моделируется, если он удовлетворяется, и его семантические требования (если таковые имеются) также выполняются.

Как правило, компилятор может проверить только синтаксические требования. Если достоверность или значение программы зависит от того, моделирует ли последовательность аргументов шаблона концепт, и концепт удовлетворяется, но не моделируется, или если семантическое требование не выполняется в точке использования, программа некорректна, диагностика не требуется.

Концепты
Определены в пространстве имён std
Основные языковые концепты
Определены в заголовочном файле <concepts>
same_as (C++20)	указывает, что тип совпадает с другим типом (концепт)
derived_from (C++20)	указывает, что тип является производным от другого типа (концепт)
convertible_to (C++20)	указывает, что тип неявно преобразуется в другой тип (концепт)
common_reference_with (C++20)	указывает, что два типа имеют общий ссылочный тип (концепт)
common_with (C++20)	указывает, что два типа имеют общий тип (концепт)
integral (C++20)	указывает, что тип является целым типом (концепт)
signed_integral (C++20)	указывает, что тип является целочисленным типом со знаком (концепт)
unsigned_integral (C++20)	указывает, что тип является целым беззнаковым типом (концепт)
floating_point (C++20)	указывает, что тип, это число с плавающей точкой (концепт)
assignable_from (C++20)	указывает, что типу может быть присвоен другой тип (концепт)
swappable swappable_with (C++20)	указывает, что тип можно поменять местами или что два типа можно поменять местами друг с другом (концепт)
destructible (C++20)	указывает, что объект данного типа может быть уничтожен (концепт)
constructible_from (C++20)	указывает, что переменная типа может быть создана из набора типов аргументов или привязана к ним (концепт)
default_initializable (C++20)	указывает, что объект типа может быть сконструирован по умолчанию (концепт)
move_constructible (C++20)	указывает, что объект типа может быть сконструирован перемещением (концепт)
copy_constructible (C++20)	указывает, что объект типа может быть создан копированием и перемещением (концепт)
Концепты сравнения
Определены в заголовочном файле <concepts>
boolean-testable (C++20)	указывает, что тип может использоваться в логических контекстах (концепт только для экспозиции)
equality_comparable equality_comparable_with (C++20)	указывает, что оператор == является отношением эквивалентности (концепт)
totally_ordered totally_ordered_with (C++20)	указывает, что операторы сравнения для типа дают общий порядок (концепт)
Определены в заголовочном файле <compare>
three_way_comparable three_way_comparable_with (C++20)	указывает, что оператор <=> даёт согласованный результат для данных типов (концепт)
Концепты объекта
Определены в заголовочном файле <concepts>
movable (C++20)	указывает, что объект типа можно перемещать и менять местами (концепт)
copyable (C++20)	указывает, что объект типа можно копировать, перемещать и менять местами (концепт)
semiregular (C++20)	указывает, что объект типа можно копировать, перемещать, менять местами и создавать по умолчанию (концепт)
regular (C++20)	указывает, что тип является регулярным, то есть одновременно semiregular и equality_comparable (концепт)
Вызываемые концепты
Определены в заголовочном файле <concepts>
invocable regular_invocable (C++20)	указывает, что вызываемый тип может быть вызван с заданным набором типов аргументов (концепт)
predicate (C++20)	указывает, что вызываемый тип является логическим предикатом (концепт)
relation (C++20)	указывает, что вызываемый тип является бинарным отношением (концепт)
equivalence_relation (C++20)	указывает, что relation накладывает отношение эквивалентности (концепт)
strict_weak_order (C++20)	указывает, что relation налагает строгий слабый порядок (концепт)
Точки кастомизации объектов
ranges::swap (C++20)	обменивает значения двух объектов (объект точки настройки)

Дополнительные концепты можно найти в библиотеке итераторов, библиотеке алгоритмов и библиотеке диапазонов.