Шаблонное метапрограммирование

Шаблонное метапрограммирование — это семейство техник для создания новых типов и вычисления значений во время компиляции. Шаблоны C++ являются универсальными, если нет ограничений на количество рекурсивных инстанциаций и количество разрешённых переменных состояния. Эрвин Унрух первым продемонстрировал шаблонное метапрограммирование на встрече комитета, попросив компилятор вывести простые числа в сообщения об ошибках. Стандарт рекомендует поддержку компилятора по крайней мере 1024 уровней рекурсивной инстанциации, а бесконечная рекурсия в инстанциациях шаблонов является неопределённым поведением.

Внешние ссылки