#####  [ cppreference.com ](/)

[ Log in ](/mwiki/index.php?title=Special:UserLogin&returnto=cpp%2Fconcepts
"You are encouraged to log in; however, it is not mandatory \[o\]")

#####  Namespaces

  * [ Page ](/w/cpp/concepts "View the content page \[c\]")
  * [ Discussion ](/w/Talk:cpp/concepts "Discussion about the content page \[t\]")

#####  Variants

#####  Views

  * [ View ](/w/cpp/concepts)
  * [ Edit ](/mwiki/index.php?title=cpp/concepts&action=edit "You can edit this page. Please use the preview button before saving \[e\]")
  * [ History ](/mwiki/index.php?title=cpp/concepts&action=history "Past revisions of this page \[h\]")

#####  Actions

#  Concepts library  (since C++20)

From cppreference.com

< [ cpp ](/w/cpp "cpp")

[ C++ ](/w/cpp "cpp")

[ Compiler support ](/w/cpp/compiler_support "cpp/compiler support")  
---  
[ Freestanding and hosted ](/w/cpp/freestanding "cpp/freestanding")  
[ Language ](/w/cpp/language "cpp/language")  
[ Standard library ](/w/cpp/standard_library "cpp/standard library")  
[ Standard library headers ](/w/cpp/header "cpp/header")  
[ Named requirements ](/w/cpp/named_req "cpp/named req")  
[ Feature test macros ](/w/cpp/feature_test "cpp/feature test") (C++20)  
[ Language support library ](/w/cpp/utility#Language_support "cpp/utility")  
**Concepts library** (C++20)  
[ Metaprogramming library ](/w/cpp/meta "cpp/meta") (C++11)  
[ Diagnostics library ](/w/cpp/error "cpp/error")  
[ General utilities library ](/w/cpp/utility "cpp/utility")  
[ Strings library ](/w/cpp/string "cpp/string")  
[ Containers library ](/w/cpp/container "cpp/container")  
[ Iterators library ](/w/cpp/iterator "cpp/iterator")  
[ Ranges library ](/w/cpp/ranges "cpp/ranges") (C++20)  
[ Algorithms library ](/w/cpp/algorithm "cpp/algorithm")  
[ Numerics library ](/w/cpp/numeric "cpp/numeric")  
[ Localizations library ](/w/cpp/locale "cpp/locale")  
[ Input/output library ](/w/cpp/io "cpp/io")  
[ Filesystem library ](/w/cpp/filesystem "cpp/filesystem") (C++17)  
[ Regular expressions library ](/w/cpp/regex "cpp/regex") (C++11)  
[ Concurrency support library ](/w/cpp/thread "cpp/thread") (C++11)  
[ Technical specifications ](/w/cpp/experimental "cpp/experimental")  
[ Symbols index ](/w/cpp/symbol_index "cpp/symbol index")  
[ External libraries ](/w/cpp/links/libs "cpp/links/libs")  
  
[ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/navbar_content&action=edit)

**Concepts library**

|  Core language concepts  
---  
[ same_as  ](/w/cpp/concepts/same_as "cpp/concepts/same as")  
[ derived_from  ](/w/cpp/concepts/derived_from "cpp/concepts/derived from")  
[ convertible_to  ](/w/cpp/concepts/convertible_to "cpp/concepts/convertible
to")  
[ common_reference_with  ](/w/cpp/concepts/common_reference_with
"cpp/concepts/common reference with")  
[ common_with  ](/w/cpp/concepts/common_with "cpp/concepts/common with")  
[ integral  ](/w/cpp/concepts/integral "cpp/concepts/integral")  
[ signed_integral  ](/w/cpp/concepts/signed_integral "cpp/concepts/signed
integral")  
[ unsigned_integral  ](/w/cpp/concepts/unsigned_integral
"cpp/concepts/unsigned integral")  
[ floating_point  ](/w/cpp/concepts/floating_point "cpp/concepts/floating
point")  
[ swappable  swappable_with  ](/w/cpp/concepts/swappable
"cpp/concepts/swappable")  
[ destructible  ](/w/cpp/concepts/destructible "cpp/concepts/destructible")  
[ constructible_from  ](/w/cpp/concepts/constructible_from
"cpp/concepts/constructible from")  
[ default_initializable  ](/w/cpp/concepts/default_initializable
"cpp/concepts/default initializable")  
[ move_constructible  ](/w/cpp/concepts/move_constructible "cpp/concepts/move
constructible")  
[ copy_constructible  ](/w/cpp/concepts/copy_constructible "cpp/concepts/copy
constructible")  
[ assignable_from  ](/w/cpp/concepts/assignable_from "cpp/concepts/assignable
from")  
  
|  Comparison concepts  
---  
[ equality_comparable  equality_comparable_with
](/w/cpp/concepts/equality_compar