История изменений

Я к тому это и написал, что при усложнении вашего СУВТ и попытке избежать избыточности вы получите тот же оверхед.

Считаю что enum + union не может быть оверхедом, без него нельзя будет вызвать метод если тип не известен, альтернатива это виртуальные методы, но там тоже нужно хранить таблицу с ними, по любому придется хранить дополнительную информацию, без нее никак в этой реальности.

Без массивов никакие проверки не вызываются, это я выше продемонстрировал.

Я к тому это и написал, что при усложнении вашего СУВТ и попытке избежать избыточности вы получите тот же оверхед.

Считаю что enum + union не может быть оверхедом, без него нельзя будет вызвать метод если тип не известен, альтернатива это виртуальные методы, но там тоже нужно хранить таблицу с ними, по любому придется хранить дополнительную информацию, без нее никак в этой реальности.