C++ Handbook

Header Reference: <concepts>

Header Reference: <concepts>

Standard concepts and comparison constraints used to write clearer constrained templates.

How to use this reference page

Use reference pages to confirm names, categories, nearby facilities, and the constraints that matter before writing or reviewing code.

  • Scan the top of the page first to identify the primary types, functions, or algorithm families involved.
  • Use the nearby-page links when your question is really about a companion header, related algorithm family, or broader subsystem.
  • Validate tricky behavior with a small compileable example before relying on memory for details like invalidation, ordering, allocation, or lifetime rules.

What header pages are for

Header reference pages are meant to answer a practical question quickly: what this header provides, when to reach for it, and which usage rules are easiest to get wrong.

  • Start here when you already know roughly which header you need but want a fast operational summary.
  • Use the example section below as a minimal pattern, then adapt it to your real container, ownership, text, or concurrency workflow.
  • Jump to broader index pages when you need exhaustive coverage rather than a header-focused summary.

Header Reference: <concepts>

Main facilities

What this header is for

Use <concepts> to express template requirements directly in signatures instead of burying them in substitution failures.

Common patterns

Notes

Minimal example

#include <concepts>

int main() {
    // Start with the primary facility from <concepts>.
    // Then verify lifetime, invalidation, ordering, or error-handling rules.
    return 0;
}

What to verify before relying on this header

  • Whether the type models ownership, borrowing, type erasure, value transport, or a compile-time constraint.
  • Which operations are constant time versus potentially allocating, dispatching, or instantiating more template machinery than expected.
  • How the facility composes with nearby headers like ``, ``, ``, or ``.