我們繼續(xù)演進前面那個無聊的類型計算的例子唱遭，來得出元函數(shù)的定義诈茧。
前面我們實現(xiàn)了PointerOf泡垃，它對于傳進的任意類型T可以計算出T的指針類型。
template<typename T>
struct PointerOf
{
using Result = T*;
};
現(xiàn)在我們想要實現(xiàn)一個能夠計算T的指針的指針類型的模板渠驼，怎么做蜈块？
一種做法是直接定義一個新的模板：
template<typename T>
struct Pointer2Of
{
using Result = T**;
};
為了讓類型計算結(jié)果更像是出自函數(shù)的返回值，我們將計算結(jié)果的類型別名后續(xù)統(tǒng)一叫做Result迷扇。上述類模板本質(zhì)上是一個對類型進行計算的函數(shù):
Pointer2Of :: (typename T) => T -> T**
可以這樣使用該函數(shù)：
int* pi;
Pointer2Of<int>::Result ppi = &pi
上述代碼中Pointer2Of<int>::Result的計算發(fā)生在編譯期百揭，當(dāng)在C++運行期前它已經(jīng)得到計算結(jié)果int**了。所以上述代碼在編譯器計算完成后蜓席，就相當(dāng)于如下代碼：
int* pi;
int** ppi = &pi
雖然我們把類模板當(dāng)做編譯期函數(shù)來看器一，但是這種函數(shù)語法看起來和我們熟悉的函數(shù)相差較大，但究其本質(zhì)和函數(shù)調(diào)用并無差異厨内，都是為函數(shù)傳入符合要求的實參祈秕，獲得函數(shù)返回結(jié)果。
我們可以認為由于圓括號已經(jīng)優(yōu)先給了運行時C++函數(shù)雏胃，所以這種編譯期C++函數(shù)的定義和調(diào)用都使用尖括號踢步，并且需要顯示調(diào)用Result才對函數(shù)進行運算求值。當(dāng)使用這種編譯期函數(shù)但并不調(diào)用Result時丑掺，和在“運行期C++”中使用一個函數(shù)指針類似，僅用做保存和傳遞用述雾，但并不求值街州。
編譯期函數(shù)計算，可以調(diào)用已有的其它編譯期函數(shù)玻孟。如下通過嵌套調(diào)用PointerOf唆缴，也可以實現(xiàn)Pointer2Of：
template<typename T>
struct Pointer2Of
{
using Result = typename PointerOf<typename PointerOf<T>::Result>::Result;
};
上面我們通過嵌套調(diào)用兩次PointerOf來完成Pointer2Of的實現(xiàn)。在Pointer2Of中我們每次使用PointerOf<...>::Result時前面都用了typename關(guān)鍵字黍翎。原因是一旦PointerOf后面的尖括號中存在非具體類型的話面徽，那么PointerOf的內(nèi)部類型Result就是一個推導(dǎo)類型。C++標(biāo)準(zhǔn)要求使用推導(dǎo)類型前面必須使用typename關(guān)鍵字顯示指明這是一個類型匣掸。所以我們在Pointer2Of中使用PointerOf完整的方式是這樣的：typename PointerOf<...>::Result趟紊。
和Haskell相比，我們必須得承認C++的這種函數(shù)式編程的書寫確實太繁瑣了碰酝。為了簡化對元函數(shù)的使用霎匈，我們可以用宏封裝一下PointerOf：
#define __pointer(...) typename PointerOf<__VA_ARGS__>::Result
這樣Pointer2Of的定義可以簡化如下：
template<typename T>
struct Pointer2Of
{
using Result = __pointer(__pointer(T));
};
現(xiàn)在看起來好多了，__pointer(T)的寫法更像是在調(diào)用一個函數(shù)送爸。
可以看到我們對類模板進行約束铛嘱，固定用Result保存計算結(jié)果暖释，且只返回單一結(jié)果，可以使我們將模板當(dāng)做函數(shù)使用時的寫法得到統(tǒng)一墨吓，這對于我們進行函數(shù)組合簡直是必須的球匕。
后續(xù)我們將一直把這種在編譯期進行計算，靠Result返回計算結(jié)果的類模板看作是編譯期的函數(shù)帖烘，它的目的是為了支持C++模板元編程亮曹。為了和C++運行時函數(shù)進行區(qū)分，后文中我們統(tǒng)一將其稱作元函數(shù)蚓让。
如同函數(shù)是函數(shù)式編程的構(gòu)成基礎(chǔ)一樣乾忱，元函數(shù)是C++模板元編程的構(gòu)成基礎(chǔ)。
