[concepts.object]

🔗

template<class T>
  concept movable = is_object_v<T> && move_constructible<T> &&
                    assignable_from<T&, T> && swappable<T>;
template<class T>
  concept copyable = copy_constructible<T> && movable<T> && assignable_from<T&, T&> &&
                     assignable_from<T&, const T&> && assignable_from<T&, const T>;
template<class T>
  concept semiregular = copyable<T> && default_initializable<T>;
template<class T>
  concept regular = semiregular<T> && equality_comparable<T>;

[Note 1:

The semiregular concept is modeled by types that behave similarly to fundamental types like int, except that they need not be comparable with ==.

— end note]

[Note 2:

The regular concept is modeled by types that behave similarly to fundamental types like int and that are comparable with ==.

— end note]