Используйте шаблоны (обычно псевдонимы шаблонов) для вычисления типов во время компиляции

Причина

Метапрограммирование шаблонов — единственный непосредственно поддерживаемый и сколько-нибудь принципиальный способ генерации типов во время компиляции.

Примечание

Техники «трейтов» в основном заменены псевдонимами шаблонов для вычисления типов и constexpr-функциями для вычисления значений.

Пример

??? big object / small object optimization

Контроль

???