значения) в С++ невозможны в принципе, однако, сдаётся мне что принципиальная возможность сделать завтип всё же есть, ну хотя бы например такой: forall i: usigned int, int[i], однако чтобы заставить это работать, каждый раз нужно перекомпилировать исходный код с "завтипами" и подсоединять к работающему приложению. Куда смотреть чтобы такое наколдовать?
а чем template<int i> struct foo {}; не тип зависящий от значения?
Тип зависящий от значения в С++ есть, это шаблонный класс (или тип) параметризированный шаблонным параметром-значением.
Используя std::any можно наколдовать любую динамическую скриптуху. Думаю и то что ты хочешь тоже можно
вчера @LL1_N_LL1_K_A приводил ссылку на clang jit https://arxiv.org/pdf/1904.08555.pdf
Оборачивать все в тип+предикат. Разница с настоящими завтипами будет в том, что для проверки программы без ее запуска нужен будет какой-то внешний тулинг
Обсуждают сегодня