模板元編程

**模板超程式設計**（英語：**T**emplate **m**eta**p**rogramming，縮寫：**TMP**）是一種超程式設計技術，編譯器使用模板產生暫時性的原始碼，然後再和剩下的原始碼混合並編譯。這些模板的輸出包括編譯時期常數、資料結構以及完整的函式。如此利用模板可以被想成編譯期的執行。這種技術被許多語言使用，最為知名的當屬 C++，其他還有 Curl、D、Eiffel，以及語言擴充，如 Template Haskell。

## 模板元程式設計的構成要素

使用模板作為元程式設計的技術需要兩階段的操作。首先，模板必須被定義；第二，定義的模板必須被實體化才行。
模板的定義描述了生成原始碼的一般形式，而使實體化則導致了某些原始碼的組合根據該模板而生成。

模板元程式設計是一般性地圖靈完備（_Turing-complete_），這意味著任何可被電算軟體表示的運算都可以透過模板超程式設計以某種形式去運算。

模板與巨集（_macros_）是不同的。所謂巨集只不過是以文字的操作及替換來生成程式碼，雖然同為編譯期的語言特色，但巨集系統通常其編譯期處理流的能力（_compile-time process flow abilities_）有限，且對其所依附之語言的語義及型別系統缺乏認知（一個例外是 LISP 的巨集）。

模板元程式設計沒有可變的變數 —— 也就是說，變數一旦初始化後就不能夠改動。因此他可以被視為函數式編程（_functional programming_）的一種形式。

## 使用模板超程式設計

模板超程式設計的語法通常與一般的程式語法迥異，他有其實際的用途。一些使用模板超程式設計的共同理由是為了實現泛型編程（_generic programming_）或是展現自動編譯期最佳化，像是只要在編譯期做某些事一次就好，而無需每次程式執行時去做。

### 編譯期類別生成

以下將展示究竟何謂 "編譯期程式設計"。階乘是一個不錯的例子，在此之前我們先來回顧一下一般 C++ 中階乘函式的遞迴寫法：

以上的程式碼會在程式執行時才決定 4 和 0 的階乘。

現在讓我們看看使用了模板超程式設計的寫法，模板特化提供了 "遞迴" 的結束條件。這些階乘可以在編譯期完成計算。以下原始碼：

程式碼如上在編譯時期計算 4 和 0 的階乘值，使用該結果值彷彿他們是預定的常數一般。

雖然從程式功能的觀點來看，這兩個版本很類似，但前者是在執行期計算階乘，而後者卻是在編譯期完成計算。
然而，為了能夠以此方式使用模板，編譯器必須在編譯期知道模板的參數值，也就是 `Factorial<X>::value` 只有當 X 在編譯期已知的情況下才能使用。換言之，X 必須是常數（_constant literal_）或是常數表示式（_constant expression_），像是使用 `sizeof` 運算子。

### 編譯期程式碼最佳化

以上階乘的範例便是編譯期程式碼最佳化的一例，該程式中使用到的階乘在編譯期時便被預先計算並作為數值常數植入執行碼當中，節省了執行期的經常開銷（計算時間）以及記憶體足跡（_memory footprint_）。

編譯期迴圈展開（_loop-unrolling_）是一個更顯著的例子，模板超程式設計可以被用來產生 n 維（_n-dimensional_）的向量類別（當然 n 必須在編譯期已知）。與傳統 n 維向量比較，他的好處是迴圈可以被展開，這可以使效能大幅度提升。考慮以下例子，n 維向量的加法可以被寫成：

當編譯器實體化以上的模板函式，可能會生成如下的程式碼：

因為模板參數 `dimension` 在編譯期是常數，所以編譯器應能展開 `for` 迴圈。

### 靜態多型

多型是一項共通的標準編程工具，衍生類別的物件可以被當作基礎類別的物件之實體使用，但能夠呼叫衍生物件的函式，或稱方法（_methods_），例如以下的程式碼：

喚起的 `virtual` 函式是屬於位於繼承最下位之類別的。這種動態多型（_dynamically polymorphic_）行為是藉由擁有虛擬函式的類別所產生的虛擬函式表（_virtual look-up tables_）來實行的。虛擬函式表會在執行期被尋找，以決定該喚起哪個函式。因此動態多型無可避免地必須承擔這些執行期成本。

然而，在許多情況下我們需要的僅是可以在編譯期決定，無需變動的多型行為。那麼一來，奇怪的遞迴模板樣式（_Curiously Recurring Template Pattern ；**CRTP**_）便可被用來達成靜態多型。如下例：

這裡基礎類別模板有著這樣的優點：成員函式的本體在被他們的宣告之前都不會被實體化，而且它可利用 `static_cast` 並透過自己的函式來使用衍生類別的成員，所以能夠在編譯時產生出帶有多型特性的物件複合物。在現實使用上，Boost 迭代器庫 [1] （頁面存檔備份，存於網際網路檔案館）便有採用 CRTP 的技法。

其他類似的使用還有 "Barton-Nackman trick"，有時候被稱作 "有限制的模板擴張"，共同的功能被可以放在一個基礎類別當中，作為必要的構件使用，以此確保在縮減多餘程式碼時的一致行為。

## 模板超程式設計的優缺點

* **編譯期對執行期**：因為模板的運算以及展開都是在編譯期，這會花相對較長的編譯時間，但能夠獲得更有效率的執行碼。編譯期花費一般都很小，但對於大專案或是普遍依賴模板的程式，也許會造成很大的編譯開銷。
* **泛型程式設計**：模板超程式設計允許程式設計師專注在架構上並委託編譯器產生任何客戶碼要求的實作。因此，模板超程式設計可達成真正的泛用程式碼，促使程式碼縮小並較好維護。
* **可讀性**：對於 C++ 來說，模板超程式設計的語法及語言特性比起傳統的 C++ 編程，較難以令人理解。因此對於那些在模板超程式設計經驗不豐富的程式設計師來說，程式可能會變的難以維護。（這要視各語言對於模板超程式設計語法的實作）
* **移植性**：對於 C++ 來說，由於各編譯器的差異，大量依賴模板超程式設計（特別是最新形式的）的程式碼可能會有移植性的問題。

## 關聯項目

* 超程式設計
* 前處理器

## 參照

* Ulrich W. Eisenecker：_Generative Programming: Methods, Tools, and Applications_, Addison-Wesley, ISBN 0-201-30977-7
* 安德烈・亞歷山德雷斯庫：_Modern C++ Design：Generic Programming and Design Patterns Applied_, Addison-Wesley, ISBN 3-8266-1347-3
* David Abrahams，Aleksey Gurtovoy：_C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond_, Addison-Wesley, ISBN 0-321-22725-5
* David Vandervoorde，Nicolai M. Josuttis：_C++ Templates: The Complete Guide_, Addison-Wesley, ISBN 0-201-73484-2
* Manuel Clavel：_Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications_, ISBN 1-57586-238-7

## 外部連結

* The Boost Metaprogramming Library (Boost MPL) （頁面存檔備份，存於網際網路檔案館） Boost 超程式設計函式庫
* The Spirit Library （頁面存檔備份，存於網際網路檔案館） Boost 的 Spirit 函式庫（使用模板超程式設計建構）
* The Boost Lambda library （頁面存檔備份，存於網際網路檔案館） Boost 的 Lambda 函式庫（可讓你輕鬆使用 STL 演算法）
* "Using C++ template metaprograms," _C++ Report,_ Vol. 7 No. 4 (May 1995), pp. 36-43
* Template Haskell, type-safe metaprogramming in Haskell
* "Templates Revisited" （頁面存檔備份，存於網際網路檔案館），一篇關於 D 程式語言中模板超程式設計的文章。
* 文章 "Metaprogramming in C++"
* 文章 "Reflection support by means of template metaprogramming"
* 文章 "STATIC DATA STRUCTURES"
* 文章 "Template Meta Programming and Number Theory （頁面存檔備份，存於網際網路檔案館）"
* 文章 "Template Meta Programming and Number Theory: Part 2 （頁面存檔備份，存於網際網路檔案館）"