Я вообще стараюсь избегать std::variant + std::visit

Помнится видел библиотеки дающие возможность использовать мета-теги, нельзя с их помощью что нибудь в constexpr соорудить?

Это ровно ассиметрия между статической и динамической диспетчеризацией

Принципиально не устранимо

не, тут устранимая асимметрия между read и write

Можно по-разному под ковёр прятать

рой, не принимай близко к сердцу, но ты похоже немного выпал из контекста диалога

кусок с сериализацией варианта

Почему выпал то? Я предложил вариант из того что вспомнил, одна фича  в EnTT позволяет делать что-то типа тайпдефов, цепляя типы к именам (цеплять можно не только фундаментальные типы, но и классы и т.п.), зацепить несколько типов к определенному общему слово, а сверху попробовать мета-теги наложить и получится что-то типа type_"uint64_t", type_"string", правда я хз как это дело потом зацепить куда нибудь, как общий тип

и причём тут variant?

Я предложил замену variant'у

мне не нужна замена варианту, он отлично описывает ситуацию, когда требуется динамический полиморфизм на конечном множестве типов

А бинарь тестовый есть? Гляну что оно накомпилило

Вообщем, поинт ясен. Да, был бы полезен хелпер для variant, который бы рантаймовый index маппил бы в тип и вызывал шаблонный функтор.

угу, visit - частный случай использования такого хелпера

std::visit(visitor, v)

превращается в

MAGIC(v.index(), []<std::size_t I>() {
   visitor(std::get<I>(v));
})

Я с такой проблемой тоже в контексте сериализации сталкивался, писал руками, костыль назвал prelude::template_switch

мне советовали static_switch, но я остановился на runtime_unroll

При том у визита есть всё, что надо знать — список типов

Вообще хорошо бы PR на эту тему запилить