Para fins de introspecção, às vezes eu queria atribuir automaticamente números de série a tipos ou algo semelhant

nfelizmente, a metaprogramação de modelos é essencialmente uma linguagem funcional e, como tal, carece de variáveis globais ou estados modificáveis que implementariam esse contado

Ou é

Exemplo de código por solicitação:

#include <iostream>

int const a = counter_read;
counter_inc;
counter_inc;
counter_inc;
counter_inc;
counter_inc;

int const b = counter_read;

int main() {
    std::cout << a << ' ' << b << '\n'; // print "0 5"

    counter_inc_t();
    counter_inc_t();
    counter_inc_t();

    std::cout << counter_read << '\n'; // print "8"

    struct {
        counter_inc_t d1;
        char x[ counter_read ];
        counter_inc_t d2;
        char y[ counter_read ];
    } ls;

    std::cout << sizeof ls.x << ' ' << sizeof ls.y << '\n'; // print "9 10"
}