BiteSizedChunks.comLearn one small thing at a time.

Courses Suggested Paths Pricing

Course contentsShowHide

599Function template deduction
600Explicit template arguments
601Template argument deduction rules
602Non-type template parameters
603auto as non-type template parameter
604Class types as non-type template parameters in C++20
605Template template parameters
606Default template arguments
607Class template argument deduction
608Deduction guides
609Alias templates
610Variable templates
611Member templates
612Template friend declarations
613Explicit instantiation
614extern template
615Implicit instantiation
616Template definitions in headers
617Code bloat from templates
618Dependent types and typename
619Partial specialization
620Full specialization
621Specializing functions versus overloading
622Template argument lists and angle brackets
623Perfect forwarding in templates
624Templates and inheritance
625Static members of class templates
626Variadic template parameter packs
627Pack expansion
628Fold expressions
629Parameter pack indexing in C++26
630Recursive variadic templates
631std::index_sequence
632std::integer_sequence
633Compile-time tuples
634Template instantiation depth limit
635Templates versus macros
636Concept definitions
637requires expressions
638Simple requirements
639Type requirements
640Compound requirements
641Nested requirements
642requires clauses
643Trailing requires clauses
644Constrained template parameters
645Abbreviated function templates
646Standard concepts in <concepts>
647std::same_as and std::derived_from
648std::convertible_to
649std::integral and std::floating_point
650std::regular and std::semiregular
651std::invocable and std::predicate
652std::totally_ordered
653Iterator concepts
654Range concepts
655Concept subsumption and atomic constraints
656Constraining class templates
657Constraining member functions
658Constraint normalization
659Concepts versus SFINAE
660Concept-based overloading
661Designing concept hierarchies
662Concept error messages
663Checking concepts with static_assert
664Concepts and auto parameters
665Type-constrained placeholders
666Substitution failure and SFINAE
667std::enable_if
668enable_if in return types
669enable_if in template parameters
670decltype-based SFINAE
671std::void_t and detection idiom
672std::is_detected
673<type_traits> overview
674std::is_same and is_base_of
675std::is_integral and is_floating_point
676std::is_pointer and is_reference
677std::is_trivially_copyable
678std::is_constructible family
679std::is_invocable
680std::conditional
681std::remove_reference and remove_cv
682std::decay
683std::common_type
684std::underlying_type
685std::result_of replaced by invoke_result
686std::declval
687std::is_aggregate
688std::is_layout_compatible
689std::is_corresponding_member
690Writing custom type traits
691Compile-time recursion
692Compile-time factorial and Fibonacci
693Type lists
694Type list algorithms
695Template metaprogramming with values
696Compile-time string handling
697Compile-time prime sieve
698Tag dispatch versus if constexpr
699Hana-style metaprogramming
700Boost.MP11
701Boost.Hana
702Boost.Mpl legacy
703Compile-time reflection with C++26
704Static reflection proposals
705Reflecting enumerators
706Reflection-driven serialization
707constexpr variables
708constexpr functions in C++11
709Relaxed constexpr in C++14
710constexpr if
711Constant-evaluated lambda closures in metaprogramming
712constexpr std::array
713constexpr std::string in C++20
714constexpr std::vector in C++20
715constexpr algorithms
716constexpr new and allocation
717constexpr virtual functions
718constexpr dynamic_cast and typeid
719constexpr try-blocks
720constexpr in C++23
721constexpr cmath in C++26
722consteval immediate functions
723constinit variables
724Compile-time lookup tables
725Compile-time hash functions
726Compile-time parsers
727Compile-time regular expressions with CTRE
728Compile-time format string checking
729Compile-time UUIDs
730Constant expression evaluator limits
731Detecting constant evaluation
732Undefined behavior in constant expressions
733Compile-time unit tests with static_assert
734Compile-time state machines
735Literal types
736User-defined literal types in constexpr

599Function template deduction
600Explicit template arguments
601Template argument deduction rules
602Non-type template parameters
603auto as non-type template parameter
604Class types as non-type template parameters in C++20
605Template template parameters
606Default template arguments
607Class template argument deduction
608Deduction guides
609Alias templates
610Variable templates
611Member templates
612Template friend declarations
613Explicit instantiation
614extern template
615Implicit instantiation
616Template definitions in headers
617Code bloat from templates
618Dependent types and typename
619Partial specialization
620Full specialization
621Specializing functions versus overloading
622Template argument lists and angle brackets
623Perfect forwarding in templates
624Templates and inheritance
625Static members of class templates
626Variadic template parameter packs
627Pack expansion
628Fold expressions
629Parameter pack indexing in C++26
630Recursive variadic templates
631std::index_sequence
632std::integer_sequence
633Compile-time tuples
634Template instantiation depth limit
635Templates versus macros
636Concept definitions
637requires expressions
638Simple requirements
639Type requirements
640Compound requirements
641Nested requirements
642requires clauses
643Trailing requires clauses
644Constrained template parameters
645Abbreviated function templates
646Standard concepts in <concepts>
647std::same_as and std::derived_from
648std::convertible_to
649std::integral and std::floating_point
650std::regular and std::semiregular
651std::invocable and std::predicate
652std::totally_ordered
653Iterator concepts
654Range concepts
655Concept subsumption and atomic constraints
656Constraining class templates
657Constraining member functions
658Constraint normalization
659Concepts versus SFINAE
660Concept-based overloading
661Designing concept hierarchies
662Concept error messages
663Checking concepts with static_assert
664Concepts and auto parameters
665Type-constrained placeholders
666Substitution failure and SFINAE
667std::enable_if
668enable_if in return types
669enable_if in template parameters
670decltype-based SFINAE
671std::void_t and detection idiom
672std::is_detected
673<type_traits> overview
674std::is_same and is_base_of
675std::is_integral and is_floating_point
676std::is_pointer and is_reference
677std::is_trivially_copyable
678std::is_constructible family
679std::is_invocable
680std::conditional
681std::remove_reference and remove_cv
682std::decay
683std::common_type
684std::underlying_type
685std::result_of replaced by invoke_result
686std::declval
687std::is_aggregate
688std::is_layout_compatible
689std::is_corresponding_member
690Writing custom type traits
691Compile-time recursion
692Compile-time factorial and Fibonacci
693Type lists
694Type list algorithms
695Template metaprogramming with values
696Compile-time string handling
697Compile-time prime sieve
698Tag dispatch versus if constexpr
699Hana-style metaprogramming
700Boost.MP11
701Boost.Hana
702Boost.Mpl legacy
703Compile-time reflection with C++26
704Static reflection proposals
705Reflecting enumerators
706Reflection-driven serialization
707constexpr variables
708constexpr functions in C++11
709Relaxed constexpr in C++14
710constexpr if
711Constant-evaluated lambda closures in metaprogramming
712constexpr std::array
713constexpr std::string in C++20
714constexpr std::vector in C++20
715constexpr algorithms
716constexpr new and allocation
717constexpr virtual functions
718constexpr dynamic_cast and typeid
719constexpr try-blocks
720constexpr in C++23
721constexpr cmath in C++26
722consteval immediate functions
723constinit variables
724Compile-time lookup tables
725Compile-time hash functions
726Compile-time parsers
727Compile-time regular expressions with CTRE
728Compile-time format string checking
729Compile-time UUIDs
730Constant expression evaluator limits
731Detecting constant evaluation
732Undefined behavior in constant expressions
733Compile-time unit tests with static_assert
734Compile-time state machines
735Literal types
736User-defined literal types in constexpr

Search the C++ glossary

Lesson 734 of 2,476·10. Templates and Generic ProgrammingFree lesson

Compile-time state machines

Writing your lesson…

← Previous Next lesson →

© 2026 BiteSizedChunks.com. Learn one small thing at a time.

Glossary Contact Terms of Service Privacy Policy