Могут ли компиляторы идентифицировать проблемы рекурсии в метапрограммировании шаблона? ⇐ C++

[Anonymous]

В шаблоне мета программирования Если рекурсия неправильно реализована с полученным бесконечным циклом, может ли языковой компилятор обнаружить его? Или компилятор только что столкнется с возможным переполнением и сбоем стека? Я бы стал, что компилятор не может обнаружить это, потому что это нарушит нецелискую проблему остановки. Конечно, я мог бы попробовать это с помощью кода, но я хотел бы услышать более квалифицированное мышление в этом случае. < /P>

Редактировать: спасибо, ребята, я получаю Идея, что мой вывод в отношении аспекта теории вычислений TMP не был неправильным. Я также понимаю, что реализации компилятора могут иметь произвольные пределы глубины рекурсии (конечно, я повторяю, что я мог бы проверить эту вторую часть, но это была только моя боковая точка).

Подробнее здесь: https://stackoverflow.com/questions/108 ... rogramming