模板超程式設計

模板超程式設計是一系列在編譯時建立新型別和計算值的技術。如果對遞迴例項化和允許的狀態變數的數量沒有限制，C++ 模板是圖靈完備的。Erwin Unruh 是第一個在委員會會議上演示模板超程式設計的人，他透過指示編譯器在錯誤訊息中打印出素數。標準建議實現至少支援 1024 層遞迴例項化，模板例項化中的無限遞迴是未定義行為。

外部連結

1.	David Vandevoorde, Nicolai M. Josuttis, Douglas Gregor (2017), C++ 模板 - 完整指南，第 2 版。
2.	Wikibook: 模板超程式設計。
3.	維基百科: 模板超程式設計。