Template Metaprogramming: Type Traits (part 2 of 2)

on YouTube ↗59m

" summary

Continues implementing standard type traits from first half by showing concrete code: counts like 14 primary type categories, examples needing up to 12 or 64 specializations motivate abstractions such as remove_cv composition and alias-template meta‑functions; builds is_same, is_floating_point, is_integral, is_array, is_pointer and shows reducing dozens of specializations to a few composed meta‑functions; demonstrates overload resolution, decltype/declval in unevaluated contexts, and SFINAE (substitution failure is not an error) to detect classes versus other categories; notes some traits require compiler intrinsics.

AI-written summary · about

" chapters (16)

1. 0:00Start
2. 0:36Primary type categories is_class
3. 3:21is_null_pointer
4. 6:33Metafunction Abstractions
5. 8:10Code Review
6. 8:51A Step In The Right Direction
7. 10:42remove_volatile
8. 14:00remove_cv
9. 22:15is_floating_point: redux
10. 23:16is_integral: redux
11. 26:50is_array
12. 31:59is_pointer
13. 33:44is_union
14. 36:40is_class_or_union
15. 39:44Function Overload Resolution
16. 44:02SFINAE

" related talks

• 01h 07mBack to Basics: Templates (part 2 of 2)Bob Steagall · CppCon 2021
• 59mModern Template Metaprogramming: A Compendium, Part IIWalter E. Brown · CppCon 2014
• 01h 01mThe promise of static reflection in C++26: Type Traits without compiler intrinsicsAndrei Zissu · Meeting C++ 2025
• 41mTemplate meta-programming: Why you must get itManuel Sanchez · Meeting C++ 2015
• 22mTraits and You: A Deep DiveNell Shamrell-Harrington · Rust Belt Rust 2017
• 49mA new look at TMPIvan Čukić · Meeting C++ 2018
• 53mFrom C++ Templates to C++ Concepts - Metaprogramming: an Amazing JourneyAlex Dathskovsky · CppCon 2022
• 01h 37mExtending and Simplifying C++: Thoughts on Pattern Matching using `is` and `as`Herb Sutter · CppCon 2021