c++ - 图灵机 : But why use template metaprogramming?

Question

我是最后一年的工程专业学生。我和我的 friend 们决定我们的最后一年项目是“使用模板元编程模拟图灵机”。

我明白什么是“图灵机”和“模板元编程”，但我的问题是如果我们设计没有 TMP 的图灵机，为什么模拟会很乏味？如果我们使用 TMP，我们可以获得什么优势？如果我们不使用 TMP 而使用传统方法，我们会失去/获得什么？

关于我们将如何进行的任何建议？

Answer 1

人们使用模板元编程实现图灵机的主要原因不是因为它比“普通”C++ 更容易(事实并非如此)，而是为了证明 C++ 模板是图灵完备的。