std::regular

 

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

Концепты сравнения equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Концепты объектов movable copyable semiregular regular Вызываемые концепты invocableregular_invocable predicate relation equivalence_relation strict_weak_order

Концепты только для экспозиции boolean-testable

 

Определено в заголовочном файле <concepts>
template<class T> concept regular =std::semiregular<T>&&std::equality_comparable<T>;		(начиная с C++20)

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

Пример

Запустить этот код

#include <concepts>#include <iostream>   template<std::regular T>struct Single { T value;friendbool operator==(const Single&, const Single&)=default;};   int main(){ Single<int> myInt1{4}; Single<int> myInt2; myInt2 = myInt1;   if(myInt1 == myInt2)std::cout<<"Равны\n";   std::cout<< myInt1.value<<' '<< myInt2.value<<'\n';}

Вывод:

Равны 4 4

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

semiregular (C++20)

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