Комментарии 3
print какой-то не совсем времени компиляции. С каким-то рекурсивным дерганием cout и прочей лабудой. При том, что сравнительно несложно сделать constexpr строки, накидать опять же constexpr конкатенацию и сделать static_assert(false, constexpr_str) например. При большом желании можно обойтись в значительной мере магией variadic templates и иметь только constexpr-конверсию в char[] (а может и попросту const, не уверен)
Да, возможно. Главное вычислить конечное состояние ленты во время компиляции, распечатать ее — дело второе.
Нет, вру, static_assert понимает только литералы вторым аргументом. Все равно этот рекурсивный cout режет глаз. В общем сделал PR https://github.com/fnz/CTTM/pull/1
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Машина Тьюринга на шаблонах