实现拉链功能

Question

这是我的代码（我不确定它是否正确）：

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();），我会收到大量错误： the value of 'i' is not usable in a constant expression（来自我的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, typename> struct zipper;
template<typename...L, typename...R> struct zipper<typeList<L...>, typeList<R...>>
{
    typedef std::tuple<std::pair<L,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;
    }
};

Answer 1

模板非类型参数必须是常量表达式 i这里是一个运行时变量，你不能将它用作模板参数。