) (C++20)  |  specifies that a type is derived from another type   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_derived_from&action=edit)  
[ convertible_to  ](/w/cpp/concepts/convertible_to "cpp/concepts/convertible to") (C++20)  |  specifies that a type is implicitly convertible to another type   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_convertible_to&action=edit)  
[ common_reference_with  ](/w/cpp/concepts/common_reference_with "cpp/concepts/common reference with") (C++20)  |  specifies that two types share a common reference type   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_common_reference_with&action=edit)  
[ common_with  ](/w/cpp/concepts/common_with "cpp/concepts/common with") (C++20)  |  specifies that two types share a common type   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_common_with&action=edit)  
[ integral  ](/w/cpp/concepts/integral "cpp/concepts/integral") (C++20)  |  specifies that a type is an integral type   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_integral&action=edit)  
[ signed_integral  ](/w/cpp/concepts/signed_integral "cpp/concepts/signed integral") (C++20)  |  specifies that a type is an integral type that is signed   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_signed_integral&action=edit)  
[ unsigned_integral  ](/w/cpp/concepts/unsigned_integral "cpp/concepts/unsigned integral") (C++20)  |  specifies that a type is an integral type that is unsigned   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_unsigned_integral&action=edit)  
[ floating_point  ](/w/cpp/concepts/floating_point "cpp/concepts/floating point") (C++20)  |  specifies that a type is a floating-point type   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_floating_point&action=edit)  
[ assignable_from  ](/w/cpp/concepts/assignable_from "cpp/concepts/assignable from") (C++20)  |  specifies that a type is assignable from another type   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_assignable_from&action=edit)  
[ swappable  swappable_with  ](/w/cpp/concepts/swappable "cpp/concepts/swappable") (C++20)  |  specifies that a type can be swapped or that two types can be swapped with each other   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_swappable&action=edit)  
[ destructible  ](/w/cpp/concepts/destructible "cpp/concepts/destructible") (C++20)  |  specifies that an object of the type can be destroyed   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_destructible&action=edit)  
[ constructible_from  ](/w/cpp/concepts/constructible_from "cpp/concepts/constructible from") (C++20)  |  specifies that a variable of the type can be constructed from or bound to a set of argument types   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_constructible_from&action=edit)  
[ default_initializable  ](/w/cpp/concepts/default_initializable "cpp/concepts/default initializable") (C++20)  |  specifies that an object of a type can be default constructed   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_default_initializable&action=edit)  
[ move_constructible  ](/w/cpp/concepts/move_constructible "cpp/concepts/move constructible") (C++20)  |  specifies that an object of a type can be move constructed   
(concept)  [ [edit]
](https://en.cppreference.com/mwiki/index.php?title=Template:cpp/concepts/dsc_move_constructible&action=edit)  
[ copy_constructible  ](/w/cpp/concepts