{"id":2540,"date":"2021-09-19T09:39:30","date_gmt":"2021-09-19T04:09:30","guid":{"rendered":"https:\/\/www.rangakrish.com\/?p=2540"},"modified":"2021-09-19T09:39:30","modified_gmt":"2021-09-19T04:09:30","slug":"c-20-concepts","status":"publish","type":"post","link":"https:\/\/www.rangakrish.com\/index.php\/2021\/09\/19\/c-20-concepts\/","title":{"rendered":"C++ 20: Concepts"},"content":{"rendered":"

Concepts<\/strong><\/em>, introduced in C++20<\/strong><\/em>, are predicates that act as contraints on template parameters. As you would expect, the nice thing is that the constraint checking happens as part of template instantiation at compile time and not at run time!<\/p>\n

Since templates can have type as well as non-type parameters, Concepts<\/strong><\/em> can be applied to both these parameter categories.<\/p>\n

Let us first look at an example where a Concept<\/strong><\/em> is associated with a type parameter:<\/p>\n

\"Constraint<\/a>
Constraint on Type<\/strong><\/figcaption><\/figure>\n

In this example, we are defining a Concept<\/strong><\/em> that requires a type to be of “pointer”<\/strong><\/em>. This makes use of the standard library predicate is_pointer_v<T><\/strong><\/em>.\u00a0<\/span><\/p>\n

Lines 14 – 18 define a function “foo”<\/strong><\/em> that takes a PointerType<\/strong><\/em> argument. Notice how the template declaration constrains the type argument.<\/p>\n

Interestingly, there are 3 other equivalent ways to specify the constraint:<\/p>\n

\"Alternative<\/a>
Alternative Syntax<\/strong><\/figcaption><\/figure>\n

The following code fragment shows how we can call the “foo”<\/strong><\/em> function by passing pointers.\u00a0<\/span><\/p>\n

\"Calling<\/a>
Calling “foo()”<\/strong><\/figcaption><\/figure>\n

Any attempt to pass a non-pointer will trigger compiler error. So if we uncomment line 70, we will get a compiler error like the following:<\/p>\n

\"Invalid<\/a>
Invalid Argument Type Error<\/strong><\/figcaption><\/figure>\n

Our next example is about defining a Concept<\/strong><\/em> that applies to a non-type<\/strong><\/em> template argument.<\/p>\n

\"Concept<\/a>
Concept Applied to Non-type<\/strong><\/figcaption><\/figure>\n

Here, we are defining a predicate on an integer, constraining it to be between 5 and 10 (both included).\u00a0 <\/span>Notice the use of nested<\/strong><\/em> “requires”<\/strong><\/em>.<\/p>\n

Lines 72-73 show how this is used.<\/p>\n

\"Example\"<\/a>
Example<\/strong><\/figcaption><\/figure>\n

If we uncomment lines 74 and 75, we will get a compiler error:<\/p>\n

\"Compiler<\/a>
Compiler Error<\/strong><\/figcaption><\/figure>\n

As I mentioned earlier,\u00a0Concepts<\/strong><\/em> are checked at compile-time, and that is a great thing!<\/p>\n

Concepts<\/strong><\/em> are a major addition to C++20<\/strong><\/em> and I have just scratched the surface. For a formal reference, please visit this page<\/strong><\/em><\/a>.<\/p>\n

You can download the example file here<\/strong><\/em><\/a>. I used Visual Studio Pro 2019 Version 16.11.2<\/strong><\/em> for compiling the example. It is important to select “ISO C++20 Standard”<\/strong><\/em> as the “C++ Language Standard”<\/strong><\/em> property when building the project.<\/p>\n

Have a nice weekend!<\/p>\n","protected":false},"excerpt":{"rendered":"

Concepts, introduced in C++20, are predicates that act as contraints on template parameters. As you would expect, the nice thing is that the constraint checking happens as part of template instantiation at compile time and not at run time! Since templates can have type as well as non-type parameters, Concepts can be applied to both […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[49,17],"tags":[293,294],"class_list":["post-2540","post","type-post","status-publish","format-standard","hentry","category-c","category-programming","tag-c-20","tag-concepts"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p9OLnF-EY","jetpack-related-posts":[{"id":3675,"url":"https:\/\/www.rangakrish.com\/index.php\/2025\/04\/24\/interfaces-without-inheritance-comparing-c-and-common-lisp\/","url_meta":{"origin":2540,"position":0},"title":"Interfaces Without Inheritance: Comparing C++ and Common Lisp","author":"admin","date":"April 24, 2025","format":false,"excerpt":"Clean interface design is a crucial aspect of software engineering since it enables code flexibility, reuse, and maintainability. Developers who prefer an object-oriented approach typically rely on inheritance to define the interface and thus establish type relationships. While this can lead to a good design if approached carefully, detractors of\u2026","rel":"","context":"In "C++"","block_context":{"text":"C++","link":"https:\/\/www.rangakrish.com\/index.php\/category\/c\/"},"img":{"alt_text":"Rectangle and Circle Defined","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2025\/04\/cpp2-251x300.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":2804,"url":"https:\/\/www.rangakrish.com\/index.php\/2022\/05\/15\/students-assessment-advisor-in-prolog\/","url_meta":{"origin":2540,"position":1},"title":"Students Assessment Advisor in Prolog","author":"admin","date":"May 15, 2022","format":false,"excerpt":"A close relative of mine teaches Maths to school students in different Grades. During a casual chat some time ago, he mentioned that he was trying to adopt an automated approach to selecting assignment problems based on each student's performance so far. Obviously, there are many ways in which this\u2026","rel":"","context":"In "Programming"","block_context":{"text":"Programming","link":"https:\/\/www.rangakrish.com\/index.php\/category\/programming\/"},"img":{"alt_text":"Concept Dependencies","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2022\/05\/Concept-Dependencies-300x128.jpg?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2022\/05\/Concept-Dependencies-300x128.jpg?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2022\/05\/Concept-Dependencies-300x128.jpg?resize=525%2C300&ssl=1 1.5x"},"classes":[]},{"id":2975,"url":"https:\/\/www.rangakrish.com\/index.php\/2022\/12\/25\/stdtie\/","url_meta":{"origin":2540,"position":2},"title":"Std::tie","author":"admin","date":"December 25, 2022","format":false,"excerpt":"std::tuple is a widely used abstraction in C++ and has been around since C++11. It is a generalization of std::pair. std::tie is convenient when we want to create a tuple of lvalue references to existing variables. It is a function template commonly used to unpack a tuple into individual objects.\u2026","rel":"","context":"In "C++"","block_context":{"text":"C++","link":"https:\/\/www.rangakrish.com\/index.php\/category\/c\/"},"img":{"alt_text":"std::tie Example","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2022\/12\/Example1-300x142.jpg?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2022\/12\/Example1-300x142.jpg?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2022\/12\/Example1-300x142.jpg?resize=525%2C300&ssl=1 1.5x"},"classes":[]},{"id":2668,"url":"https:\/\/www.rangakrish.com\/index.php\/2022\/01\/23\/template-mixins-in-d-programming-language\/","url_meta":{"origin":2540,"position":3},"title":"Template Mixins in D Programming Language","author":"admin","date":"January 23, 2022","format":false,"excerpt":"When I heard the name Mixin\u00a0for the first time in the context of Dlang, I imagined it would be something similar to the mixins\u00a0of Common Lisp, but I was completely wrong!\u00a0 Mixins are a very interesting feature of D language. They allow code to be \"injected\" into the source at\u2026","rel":"","context":"In "D Language"","block_context":{"text":"D Language","link":"https:\/\/www.rangakrish.com\/index.php\/category\/d-language\/"},"img":{"alt_text":"Simple Template Mixin","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2022\/01\/Defn-300x98.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":2722,"url":"https:\/\/www.rangakrish.com\/index.php\/2022\/03\/06\/lazy-parameter-evaluation-in-d-language\/","url_meta":{"origin":2540,"position":4},"title":"Lazy Parameter Evaluation in D Language","author":"admin","date":"March 6, 2022","format":false,"excerpt":"Languages such as C\/C++ and Java follow an\u00a0\"eager\" argument evaluation approach, where function arguments are evaluated before the function is entered. Of course, there are idioms and tricks that one can use to force \"lazy\" evaluation. The primary benefit of \"lazy\" parameter evaluation is that the parameter is evaluated only\u2026","rel":"","context":"In "D Language"","block_context":{"text":"D Language","link":"https:\/\/www.rangakrish.com\/index.php\/category\/d-language\/"},"img":{"alt_text":"Example Program","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2022\/03\/eagercode-237x300.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":2162,"url":"https:\/\/www.rangakrish.com\/index.php\/2020\/10\/11\/template-based-text-generation-part-2\/","url_meta":{"origin":2540,"position":5},"title":"Template-based Text Generation – Part 2","author":"admin","date":"October 11, 2020","format":false,"excerpt":"In my previous article, I showed how \u201ciLangGen\u201d framework facilitates text generation using templates. I talked about the various \u201cpatterns\u201d that can be used in a template. However, in that article, I did not go into the details of the \u201cEmbedded Template\u201d pattern. That is the focus of today\u2019s article.\u2026","rel":"","context":"In "LISP"","block_context":{"text":"LISP","link":"https:\/\/www.rangakrish.com\/index.php\/category\/lisp\/"},"img":{"alt_text":"Main Template","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2020\/10\/main-template-300x137.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]}],"_links":{"self":[{"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/posts\/2540","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/comments?post=2540"}],"version-history":[{"count":0,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/posts\/2540\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/media?parent=2540"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/categories?post=2540"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/tags?post=2540"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}