C++ Class Template Argument Deduction - History, Uses, & Enabling it for Classes

on YouTube ↗01h 03m

" summary

C++17 CTAD explains why the language now fills class template arguments for you, how the compiler generates implicit vs explicit deduction guides, and when to write guides yourself (iterator_traits and allocator_traits examples, std::vector demos). It shows tools and practices: run compile‑fail tests, use static_assert same_type to check results, and constrain guides with Concepts or SFINAE. It reports that CTAD reduces boilerplate, that implicit guides are compiler‑generated and not editable, and that C++20 adds alias/aggregate/inherited‑ctor CTAD.

AI-written summary · about

" chapters (44)

1. 0:00Intro
2. 0:26About Me
3. 2:10What is Class Template Argument Deduction
4. 4:37Class Template Argument Definition
5. 4:57Default Class Template Argument
6. 5:12Template Argument Deduction
7. 6:47Template Argument Deduction History
8. 7:19Class Template Argument Deduction
9. 9:06Why are you doing this
10. 9:32What does CTAD do
11. 9:50CTAD fills in the template arguments
12. 11:15CTAD makes make functions less necessary
13. 12:40How does it work
14. 13:10Deduction
15. 15:16Deduction Guide Example
16. 16:21How does this work
17. 17:43Its hard to understand
18. 18:23Definition of Vector
19. 18:45Constructors to Vector
20. 26:56Iterators
21. 27:43Template Parameters
22. 29:09Allocators
23. 29:42Values
24. 29:57Default Values
25. 30:57Compiler Time
26. 32:01Writing Deduction Guides for Classes
27. 35:52Compile Fail Tests
28. 36:10Add Deduction Guides
29. 36:25Existential Questions
30. 39:33assertSameType
31. 40:00assertSameType Example
32. 41:38SharedPointer Example
33. 43:15Can You Edit Deduction Guides
34. 45:25Shared Pointer
35. 46:40Implicit Deduction Guides
36. 47:11Alias Template Deduction Guides
37. 48:09Aggregate Template Deduction Guides
38. 48:40Inheritance of Deduction Guides
39. 49:23Summary
40. 50:53Misdeduction
41. 52:05Unreasonable Strings
42. 52:49Cons
43. 53:05Ambiguity
44. 54:36Questions

" related talks

• 01h 10mType Deduction and Why You CareScott Meyers · CppCon 2014
• 01h 11mC++20 Templates: The next level: Concepts and moreAndreas Fertig · CppCon 2021
• 01h 03mTemplates Made Easy with C++20Roth Michaels · Meeting C++ 2024
• 01h 01mBack to Basics: Templates (part 1 of 2)Bob Steagall · CppCon 2021
• 01h 04mC++ ConceptsNicolai M. Josuttis · Meeting C++ 2024
• 01h 02mBack to Basics: Forwarding References - How to Forward Parameters in Modern C++Mateusz Pusz · CppCon 2023
• 01h 03mTemplate Metaprogramming: Practical ApplicationJody Hagins · CppCon 2021
• 01h 01mBack to Basics: Concepts in C++Nicolai M. Josuttis · CppCon 2024