Лол, в С++23 уже убирают поддержку Garbage Collection для core + library

https://en.cppreference.com/w/cpp/compiler_support

и правильно делают - оно мертворожденное

мне скорее интересно, какая была мотивация это добавлять. Почему бы и нет?)

нужно читать…

хах, одного автора угадал, даже не открывая бумагу

boehm?

конечно)

ну это было бы прикольно переключать флажок поддержки GC

Удобно было бы переходить из другого языка по типу Java, C#

N2310
Unlike other approaches, this makes it possible to garbage-collect objects allocated and manipulated by most legacy libraries. This makes it much easier to convert existing code to a garbage-collected environment. It also means that it can be used, for example, to “repair” legacy code with deficient memory management.

но корнями это все уходит аж в 96 год — N0932 (wg21.link не осилил, пришлось руками искать):
The ARM, "The C++ Programming Language (2nd edition)", and "The Design and Evolution of C++" all mention that automatic garbage collection of C++ is possible, but that an implementation is not required to provide a garbage collector. This is a proposal to make this explicit in the standard and to specify a couple of details of what it means to collect garbage.

Оберните код в теги: 3 символа ` до и после кода (в случае одиночной конструкции достаточно 1 ` с обеих сторон). Спасибо!

И сюда добрался...

Интересно...
А как бы это всё работало с остальным кодом, например,  с Сшным?

template <typename T>
struct Number : public Evaluable<T> {

  inline const static TypeTag type_tag = TypeTag::Builder<Number<T>>().super(Evaluable<T>::type_tag).build();

  const T value;

  inline explicit Number(T value) : value(std::move(value)) {}

  T Evaluate() const override {
    return value;
  }
};

почему type_tag даже не инициализируется? Причем у обычных классов все норм

Все инициализируется, не врите

нет, я сам был в шоке. Прологал метод build по тайп айди и там Number не встретился, причем если в коде где-то явно этот type_tag использовать то он инициализируется

А причем здесь классы? Тут нет классов

сложно объяснить причем тут это

Ваша ошибка в том, что вы считаете, что шаблоны классов должны вести себя так же, как и классы