Введение в метапрограммирование

Метапрограммирование — это программирование при помощи шаблонов, так что вычисления и проверки выполняются во время компиляции. Рассмотрим некоторые простые случаи:

• Вычисления на шаблонах. Рекурсивные шаблоны.
• Вычисление типа при помощи decltype.
• Type traits, std::is_same.
• Проверки времени компиляции (static_assert).