<experimental/ranges/concepts>
template< class T > concept bool Semiregular = Copyable<T> && DefaultConstructible<T>;
Semiregular 概念指定类型为可复制和可默认构造。表现类似如 int 的内建类型的类型满足该概念,但它们可能不支持以 == 比较。
Semiregular
int
==