c – 实现拉链功能

template<typename... list> struct typeList;

template<typename,typename> struct zipper;
template<typename...L,typename...R> struct zipper<typeList<L...>,typeList<R...>>
{
    typedef std::tuple<std::pair<L,R>...> tuplez;
    static_assert(sizeof...(L)==sizeof...(R),"Mismatch number of Args...");

    static void print()
    {
    std::cout<<"The types are: "<<std::endl;
    for(int i=0; i<std::tuple_size<tuplez>::value ; ++i)
    std::cout<< "first : "<< typeid(typename std::tuple_element<i,tuplez>::type::first_type).name()<<
        "second : "<<typeid(typename std::tuple_element<i,tuplez>::type::second_type).name() <<std::endl;
    }
};

首先,我很惊讶我的拉链实现如此之小(一定是错误的我真的很确定).如果我的实施是错误的,请告诉我为什么这是错误的而不是给我解决方案.

此外,如果我运行此代码(zipper< typeList< int,double>,typeList< char,int>> :: print();),我会遇到大量错误：
‘i’的值不能用于常量表达式(来自我的gcc 4.7.1)

以下是完整代码的完整错误列表(来自ideone)：
http://ideone.com/67nxM

P.S：请编辑合适的问题标题,我不能再提出更合理的问题.

编辑：感谢@KerrekSB和@Ugo的建议,以下是解决方案：

template<typename... list> struct typeList;

template<int n,typename T> struct printer
{
    static void print (){
        std::cout<< "first : "<< typeid(typename std::tuple_element<n,T>::type::first_type).name()<<
        "second : "<<typeid(typename std::tuple_element<n,T>::type::second_type).name() <<std::endl;
        printer<n-1,T>::print();
    }
};

template<typename,R>...> tuplez;

    static void print(){
    printer<std::tuple_size<tuplez>::value-1,tuplez>::print();
    }
};

template<typename T> struct printer<0,T>
{
    static void print (){
        std::cout<< "first : "<< typeid(typename std::tuple_element<0,T>::type::first_type).name()<<
        "second : "<<typeid(typename std::tuple_element<0,T>::type::second_type).name() <<std::endl;
    }
};