Тут мне подкинули один интересный вопрос, что завтипы(тип зависящий от значения) в С++ невозможны в принципе, однако, сдаётся мне что принципиальная возможность сделать завтип всё же есть, ну хотя бы например такой: forall i: usigned int, int[i], однако чтобы заставить это работать, каждый раз нужно перекомпилировать исходный код с "завтипами" и подсоединять к работающему приложению. Куда смотреть чтобы такое наколдовать?