这是我的代码（我什至不确定它是否正确）：
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来自我的 gcc 4.7.1）
这是完整的错误列表（来自 ideone）和完整的代码：http: //ideone.com/67nxM
PS：请编辑合适的问题标题，我想不出更合理的问题。
编辑：感谢@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;
}
};