这是我的代码(其中我不确定它是否正确):
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; } };
解决方法
模板非类型参数必须是常量表达式. 我这里是一个运行时变量,你不能用它作为模板参数.