一段代码

#include <iostream>

// Typelist
template <typename T, typename U>
struct Typelist
{
    typedef T Head;
    typedef U Tail;
};

// 哨卫类型
class NullType {};

 

// 计算长度
// 主模板
template <typename TList>
struct Length;
// 局部特化
template <typename T, typename U>
struct Length<Typelist<T, U> >
{
    enum { value = 1 + Length<U>::value };
};
// 完全特化
template <>
struct Length<NullType>
{
    enum { value = 0 };
};

using namespace std;
int main()
{
    typedef Typelist<char, Typelist<int, Typelist<int, NullType>> > T;
 cout << Length<T>::value << endl; // 2

}