Best introduction to C++ template metaprogramming? [closed]

by

[Answering my own question]

The best introductions I’ve found so far are chapter 10, “Static Metaprogramming in C++” from Generative Programming, Methods, Tools, and Applications by Krzysztof Czarnecki and Ulrich W. Eisenecker, ISBN-13: 9780201309775; and chapter 17, “Metaprograms” of C++ Templates: The Complete Guide by David Vandevoorder and Nicolai M. Josuttis, ISBN-13: 9780201734843.

alt text alt text alt text alt text

Todd Veldhuizen has an excellent tutorial here.

A good resource for C++ programming in general is Modern C++ Design by Andrei Alexandrescu, ISBN-13: 9780201704310. This book mixes a bit of metaprogramming with other template techniques. For metaprogramming in particular, see sections 2.1 “Compile-Time Assertions”, 2.4 “Mapping Integral Constants to Types”, 2.6 “Type Selection”, 2.7 “Detecting Convertibility and Inheritance at Compile Time”, 2.9 “NullType and EmptyType” and 2.10 “Type Traits”.

The best intermediate/advanced resource I’ve found is C++ Template Metaprogramming by David Abrahams and Aleksey Gurtovoy, ISBN-13: 9780321227256

If you’d prefer just one book, get C++ Templates: The Complete Guide since it is also the definitive reference for templates in general.

More Related Contents:

  1. Does C++ support compile-time counters?
  2. SFINAE to check for inherited member functions
  3. C++ SFINAE examples?
  4. Can you make custom operators in C++?
  5. C++: How to require that one template type is derived from the other
  6. How to know if a type is a specialization of std::vector?
  7. How can I expand call to variadic template base classes?
  8. Template Metaprogramming – Difference Between Using Enum Hack and Static Const
  9. C++11 is_same type trait for templates
  10. C++ Template Metaprogramming – Is it possible to output the generated code?
  11. calculating factorial using template meta-programming
  12. Obtain container type from (its) iterator type in C++ (STL)
  13. Template metaprogram converting type to unique number
  14. Why is partial specialization of a nested class template allowed, while complete isn’t?
  15. Difference of keywords ‘typename’ and ‘class’ in templates?
  16. C++ templates that accept only certain types
  17. Function passed as template argument
  18. How to easily map c++ enums to strings
  19. How to initialize std::array elegantly if T is not default constructible?
  20. Template issue causes linker error (C++) [duplicate]
  21. Template tuple – calling a function on each element
  22. Enumerate over an enum in C++
  23. Workaround for template argument deduction in non-deduced context
  24. Are C++ Templates just Macros in disguise?
  25. Is it possible to determine if a type is a scoped enumeration type?
  26. Restrict C++ Template Parameter to Subclass
  27. Two phase name lookup for C++ templates – Why?
  28. Template instantiation details of GCC and MS compilers
  29. How to typedef a template class? [duplicate]
  30. C++ template function compiles in header but not implementation

Leave a Comment