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; }};解决方法 模板非类型参数必须是常量表达式. 我这里是一个运行时变量,你不能用它作为模板参数. 总结
以上是内存溢出为你收集整理的c – 实现拉链功能全部内容,希望文章能够帮你解决c – 实现拉链功能所遇到的程序开发问题。
如果觉得内存溢出网站内容还不错,欢迎将内存溢出网站推荐给程序员好友。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)