C Template Metaprogramming Concepts Site

Passing types ( int , std::vector ) into templates as if they were data. 2. Metafunctions

This is a fundamental rule used to "sift" through template overloads. If a template fails to compile during the substitution of types, the compiler doesn't crash—it simply ignores that specific overload and looks for another that works. This is the backbone of and library-level introspection. 4. Type Traits C Template Metaprogramming Concepts

In standard C++, a function takes values and returns a value. In TMP, a takes types or constants and "returns" a new type or constant. Passing types ( int , std::vector ) into