Как иметь статический счетчик для глобальных типов?

Мне нужен статический счетчик, который увеличивается каждый раз, когда я создаю другой тип, класс. Вот что я пробовал:

template <typename Type>
class Sequential_ID_Dispenser
{public:
    static inline int nextDispensed = 0;
    static int getID() { return nextDispensed++; }
};

struct DummyTypeForComponentIDs {}; // So that the same type is passed to getID()

template <typename T>
struct Component { 
    static inline int componentTypeID = Sequential_ID_Dispenser<DummyTypeForComponentIDs>::getID();
    
    
};

// The reason I've made it inherit like this is so that any time I add a new Component type/struct it'll automatically get an ID for that type
struct Hat : Component<Hat> {};
struct Tie : Component<Tie> {};

int main()
{
    

    int id = Hat::componentTypeID; // = 0
    id = Tie::componentTypeID; // = 1
}

Это работает. Но я хочу иметь возможность легко наследоваться от любого другого компонента, а это не работает, например:

template <typename T>
    struct Component { 
        static inline int componentTypeID = Sequential_ID_Dispenser<DummyTypeForComponentIDs>::getID();
   };

    struct Hat : Component<Hat> {};
    struct Tie : Component<Tie> {};
    struct BlueHat : Hat {};

int main()
{
    int id = Hat::componentTypeID; // = 0
    id = Tie::componentTypeID; // = 1
    
    id = BlueHat::componentTypeID; // = 0, gets the same number as struct Hat : Component<Hat>{}
}

Есть ли хорошее решение для этого? В идеале я хотел бы просто определить любую новую структуру, не передавая аргументы базовому конструктору. Я понимаю, что для этого у меня есть CRTP, это просто то, что я сделал, чтобы заставить его работать, но должен быть более простой способ, верно?

Обновлено: на самом деле я удивлен, что решение не проще, все, что мне нужно, это для каждого класса, который я создаю в глобальном пространстве имен, получить новый идентификатор, я думаю, либо время компиляции, либо время выполнения.