https://www.youtube.com/watch?v=6nsyX37nsRs
Если вкратце, программист описывает некий метакласс (например, Value или BitFields), в нём определяет определяет констрейнты, связанные с этим метаклассом, какие методы/поля надо ещё добавить, а потом компилятор соответствующим образом модифицирует AST для экземпляров этого метакласса:
metaclass_sample.png (, : 1340)
Подробности описаны здесь.
Всё бы ничего, но в стандарт это затащат не раньше 23-го года. А то и 26-го. До этого ещё static reflection должны принять и всё такое. В общем, долго ещё ждать. А вот пощупать уже сейчас хочется, поэтому решил я из своего автопрограммиста сделать автометапрограммиста. Чтобы мог похожую функциональность предоставить в рамках актуальных стандартов всем желающим, а не только тем, кто сидит на кастомных сборках clang'а. Пока предполагаю, что код, который нужно будет непосредственно писать разработчику, будет выглядеть как-то так:
<{CODE_COLLAPSE_OFF}><{CODE_WRAP_OFF}>
// Объявление метакласса
METACLASS_DECL(interface)
{
enum Type
{
One = 1,
Two,
Three
};
static void generate(interface* instance)
{
// Проверка свойств конкретного инстанса метакласса
compiler.require(instance != nullptr, "Class instance is NULL!");
// Инжект в тело метакласса какого-то кода
META_INJECT {int member;};
}
};
// Инстанс метакласса
METACLASS_INST(interface, IObject)
{
public:
int AddRef();
int Release();
IObject* QueryInterface(uint32_t ifaceId);
};
C constexpr-вычислениями чуть другое. Компиляторную бомбу всё равно ещё можно сделать, но так или иначе, компилятор уже не только компилятор, но и интерпретатор, который тупо интерпретирует им самим же построенное AST. Поэтому всё становится проще, как с точки зрения программирования, так и с точки зрения компиляции. И эта часть языка (и стандарта) развивается очень активно - с constexpr-функций снимается всё больше ограничений (вспомни, какими они были в 11-ом стандарте), в двадцатом уже обещают строгий constexpr (который constexpr!), выполняющийся либо строго в компайл-тайм, либо не выполняющийся вообще. 
Ну а примеры... Вот, скажем, задачка с visitor'ом:
Идея оч-оч интересная. Но не покидает ощущение де жа вю!!!
