本書是關(guān)于C++模板元編程的著作。本お主要介紹Traits和奧型操貅、深人探索元函數(shù)、整型外覆器和操作、序列與迭代器、算法、視困與迭代器適配器、診斷、跨越編祥期和迄行期辺界、領(lǐng)域特定的嵌人式語言、DSEL沒計(jì)演禰，男外附彖部分逐介紹了預(yù)処理元編程、typename和template美‘健字。本お通辻理企朕系奕踐，深人井解了C++高級(jí)編程技術(shù)。

　　作為一種高階C++編程技術(shù)，模板元編程突出編譯期決策在整個(gè)程序構(gòu)建和運(yùn)行過程中的地位，努力將計(jì)算從運(yùn)行期提前至編譯期，不但有效地防止程序錯(cuò)誤被傳播到運(yùn)行期，而且能夠?qū)崿F(xiàn)以靜態(tài)代碼控制動(dòng)態(tài)代碼的目標(biāo)。使計(jì)算盡可能完成于編譯期也提高了最終程序的運(yùn)行性能。

　　C++模板元編程誕生于十多年前，最初的研究方向是編譯期數(shù)值計(jì)算，后來的實(shí)踐發(fā)展證明，此項(xiàng)技術(shù)在類型計(jì)算領(lǐng)域可釋放出更大的能量。近幾年來，由于Andrei Alexandrescu的Loki程序庫對元編程的前衛(wèi)應(yīng)用，Boost元編程庫8益展示出重要的實(shí)用價(jià)值，C++模板元編程從最初被認(rèn)為是對模板“過于聰明”的使用，到逐步被學(xué)界重視并研究，時(shí)至今日，這一高階編程技術(shù)已然為業(yè)界所接受。

　　C++編程書籍不計(jì)其數(shù)，但涉及模板元編程的書籍屈指可數(shù)。作為Loki的傳播者，《ModemnC++ Design》對元編程的概念和原理的解釋不夠細(xì)致這不奇怪， 那本書的興趣更多在于元編程在靜態(tài)設(shè)計(jì)模式上的應(yīng)用。David Vandevoorde和Nicolai M. Jouttis所著的《C++ Templates》，以及Krzysztof Czarnecki和Ulrich W Eiseneckerf的著作《Generative Programming》，對模板元編程分別做了概述和總結(jié)，它們同樣不是專注于元編程自身。Boost的創(chuàng)始人之一 -David Abrahams與Boost MPL的作者Aleksey Gurtovoy的這部著作第-一次系統(tǒng)地闡述了模板元編程。

　　本書從內(nèi)容上分為理論和實(shí)踐兩部分。前八章和部分附錄內(nèi)容以Boost元編程庫為主線介紹模板元編程的概念、技術(shù)、工具及陷阱。其余篇幅則主要討論模板元編程的一一個(gè)重要的應(yīng)用：DSEL （Domain-Spcific Embedded Languages，領(lǐng)域特定的嵌入式語言）的設(shè)計(jì)與實(shí)現(xiàn)。雖然只有少數(shù)C++程序員需要?jiǎng)?chuàng)建DSEL，但了解其原理和實(shí)現(xiàn)大有神益，有利于用好他人創(chuàng)建的DSEL，更重要的是，還可從中領(lǐng)會(huì)模板元編程的運(yùn)用手法以及分析、解決實(shí)際問題的方法。

　　本書閱讀門檻較高，適合希望了解模板元編程的中、高階C+ +程序員尤其是程序庫設(shè)計(jì)者閱讀。如果你缺乏模板元編程必備的基礎(chǔ)知識(shí)，例如類模板的特化和實(shí)例化、雙重模板參數(shù)、typedef以及模板的繼承等，建議參閱侯捷、榮耀和姜宏合譯的《C++模板全覽》（繁體版） -書，打好基礎(chǔ)。

　　與常規(guī)C++編程技術(shù)相比，模板元編程技術(shù)較為復(fù)雜。因此不少C++程序員以為它高不可攀，或以為它只是庫設(shè)計(jì)者的工具。雖然這項(xiàng)技術(shù)-直都沒有疏遠(yuǎn)我們，然而我們自己的不作為卻使它顯得遙不可及。實(shí)際上，面向?qū)ο缶幊膛c泛型編程、運(yùn)行期與編譯期以及動(dòng)態(tài)與靜態(tài)之間并不互相排斥，而是對立統(tǒng)-的。從更高處審視C+ +程序設(shè)計(jì)，將多種編程范型優(yōu)勢互補(bǔ)，無疑可以開發(fā)出對程序員和最終用戶而言更強(qiáng)大、更美妙的應(yīng)用。