Несколько библиотек генерируют структуры потока управления из шаблонов, например, таблица рассылки для «сейфа» switch
«или шаблоны посетителей.
Кто-нибудь измерил использование стековой памяти такими структурами или опубликовал что-нибудь об их взаимодействии или общей возможности оптимизации хвостового вызова?
Я рассматриваю рекурсивную стратегию времени выполнения, то есть создание цикла из шаблона. Если он не может полагаться на оптимизацию хвостового вызова, он неизбежно переполнит стек.
Задача ещё не решена.
Других решений пока нет …