3.4 計算長度
我們用下面代碼來計算typelist長度：
template <class TList> struct Length;
template <> struct Length<NullType>{
enum { value = 0 };
};
template < class T, class U>
struct Length< Typelist<T, U> >{
enum { value = 1 + Length<U>::value };
};
由Length<T>::value得到的值是一個編譯期常數(shù)，我們可以用它來定義數(shù)組大小，
std::type_info* intsRtti[Length<SignedIntegrals>::value];
這個模板代碼依靠遞歸來完成，第一個版本是一個全特化，第二個版本是一個偏特化。
3.5 間奏曲
這里有一個問題，在上節(jié)的Length實現(xiàn)中，我們能否用迭代來取代遞歸？答案是否定的。因為我們在編譯期編程中，可以使用的僅是：template、編譯期整數(shù)計算、typedef。
1、templates：更明確的說是模板特化，提供編譯期的if敘述。
2、整數(shù)計算：提供數(shù)值計算能力，用以從型別轉為數(shù)值。但數(shù)值是不可改變的。
3、typedef：可視為用來引進“具名的型別常數(shù)”。它們也是定義之后就凍結，你不能將typedef定義的符號重新定義為另一個型別。
這些特性決定了我們無法使用迭代。所謂迭代是持有一個迭代器，并改變它，直到某些條件吻合。由于編譯期我們沒有“可資變化的任何東西”，所以無法實現(xiàn)“迭代”。所以編譯期運算只能象那些純粹函數(shù)型語言，使用大量的遞歸。