C++ Handbook

Header Reference: <type_traits>

Header Reference: <type_traits>

Compile-time type queries, transformations, and trait utilities from <type_traits>.

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: <type_traits>

Main facility groups

What this header is for

Use <type_traits> when generic code must branch, constrain, or transform types at compile time.

Common patterns

Notes

Minimal example

#include <type-traits>

int main() {
    // Start with the primary facility from <type-traits>.
    // 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 ``.