{"id":5841,"date":"2020-01-30T20:51:14","date_gmt":"2020-01-30T20:51:14","guid":{"rendered":"https:\/\/www.modernescpp.com\/index.php\/c-20-define-the-concept-regular-and-semiregular\/"},"modified":"2023-06-26T09:55:44","modified_gmt":"2023-06-26T09:55:44","slug":"c-20-define-the-concept-regular-and-semiregular","status":"publish","type":"post","link":"https:\/\/www.modernescpp.com\/index.php\/c-20-define-the-concept-regular-and-semiregular\/","title":{"rendered":"C++20: Define the Concept Regular and SemiRegular"},"content":{"rendered":"

When you want to define a concrete type that works well in the C++ ecosystem, you should define a type that “behaves link an <\/span>int<\/span>“. Formally, your concrete type should be regular. In this post, I define the concepts <\/span>Regular<\/span> and <\/span>SemiRegular<\/span>.<\/span><\/p>\n

<\/p>\n

 <\/p>\n

\"TimelineCpp20Concepts\"<\/p>\n

Regular<\/span> and SemiRegular<\/span> are essential ideas in C++. Sorry, I have to say concepts. For example, the rule T.46 from the C++ Core Guidelines: T.46: Require template arguments to be at least Regular <\/span>or SemiRegular<\/span><\/a>. Only one important question is left to answer: What are Regular<\/span> or SemiRegular<\/span> types? Before I dive into the details, this is the informal answer:  <\/p>\n