Мы знаем, что метапрограммирование шаблона C ++ завершено по Тьюрингу , но метапрограммирование препроцессора не .
C ++ 11 дает нам новую форму метапрограммирования: вычисление функций constexpr. Является ли эта форма вычислений полной по Тьюрингу? Я думаю, что, поскольку рекурсия и условный оператор (? :) разрешены в функциях constexpr, это было бы так, но я хотел бы, чтобы кто-то с большим опытом подтвердил.