これが私のコードです（それが正しいかどうかはわかりませんが）：
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
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;
}
};