c++ - 实现 zipper 功能

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 实现为何如此之小(我敢肯定一定是出了什么问题)。如果我的实现是错误的，请让我知道为什么它是错误的，而不是给我解决方案。

此外，如果我运行此代码 (zipper<typeList<int,double>, typeList<char,int>>::print();)，我会收到大量错误: the value of 'i' is not usable in a constant expression (来 self 的 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 这里是一个运行时变量，你不能将它用作模板参数。