шаблоны это компайл-тайм полиморфизм

Не только

что ещё?

ещё метапрограммирование

ну там два полиморфизма в одном - параметрический и адхок

Любое метратрограмиирование это вид полиморфизма. А представление структуры кода в виде объектов это рефлексия (чисто мое имхо)

рефлексия это представление программы о самой себе, как я понимаю

> метратрограмиирование это вид полиморфизма

разве?

А если взял чужую либу и ее через рефлексии рассматриваю?

что там полиморфного?

Ну я всегда считал что мета-программа это порождающий паттерн

справедливо, тогда это представление платформы о самой себе?

Изменение поведения в зависимости от "гипер-параметров"?

полиморфизм - не обязательно изменение поведения, это может быть наоборот одинаковое поведение для множества типов (т.е. параметрический полиморфизм)

Ну да. Не вижу противоречия
F(x)=const  всё-таки ф-ция от x

но в случае метапрограммирования о каком именно изменении поведения идёт речь? у функции тоже поведение может быть разное в зависимости от параметров

Грубо говоря обычный полиморфизм - это когда ваш тип высшего порядка не имеет права анализировать свой аргумент.
Т.е. есть параметрические типы данных, есть какие-то алиасы, которые анализировать свой аргумент не могут, могут только передать аргумент в какой-то другой тип высшего порядка.
Очевидно такая "тайплямбда" может определить не очень сложную логику, никакой интересной программы на ней не напишешь.
Но когда появляются match-types, type families вы можете определить тип высшего порядка, который будет анализировать структуры ваших аргументов нетривиальным образов.
Фактически это позволяет написать программу, вычисляющую типы сложным образом, что уже может быть использовано для вашего компилятора, когда к сложным типам цепляются сложные экземпляры.
Иными словами, это позволяет писать программы, которые будет запускать ваш компилятор, генерируя конструкты, которые будут использованы как часть ваших программ.
Если такие программы могут быть довольно сложными, это и можно назвать "метапрограммированием"
На матч-тайпах и семействах типов, такие программы могут с должными расширениями быть тюринг-полными, значит достаточно сложными

А может идти речь не об изменении. Может это просто сериалтзатор который для каждой модели код генерит

если сериализатор код генерит - значит он метапрограммированием занимается наверно

На с++ темплейты тоже тюринг полные, значит тоже достаточно сложные.
Сами по себе темплейты типами не являются, значит и ХКТ их назвать нельзя, но метапрограммированием можно