图灵机:但为什么要使用模板元编程？

Question

我是最后一年的工科学生.我和我的朋友们已经决定我们的最后一年项目是"使用模板元编程模拟图灵机".

我理解什么是"图灵机"和"模板元编程",但我的问题是,如果我们设计没有TMP的图灵机,模拟会很繁琐吗？如果我们使用TMP,我们可以获得哪些优势？如果我们不使用TMP但使用传统方法,我们会错过/获得什么？

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

Answer 1

为什么人们会实现使用模板元编程图灵机的首要原因是不是因为它比"普通" C++(它不是)比较容易,但要证明C++模板图灵完整.

Answer 2

我认为使用模板元编程设计图灵机模拟没有优势。它实际上更像是将双手绑在背后，用牙齿夹住金属箔的击剑。

您这样做的原因是要熟悉 C++ 模板系统的强大功能，并证明 C++ 模板（以及 C++ 编译器）是图灵完备的。