标签: c++ template-meta-programming turing-complete
我经常听说C ++模板是Turing完整的。这是什么意思?
我之前的搜索引导我链接[1]和[2],这些链接很好,但他们没有回答我的要求。
它能够通过简单地使用引用自己的模板并使用模板专门化来做出决策来表达一般递归。
递归和决策是否相当于图灵的完整性?
有人可以在编程方面(不是从计算机科学方面)打破图灵完整性的要求吗?