こんなのを思いついた。 template<class Pair> struct zip; template<class... S1, class... S2> struct zip<pair<tuple<S1...>, tuple<S2...>>> { typedef tuple<pair<S1, S2>...> type; }; ……けど S1 と S2 の長さが違うとアウトでしたorz なので take を実装して長さを短いほうに合わせてからやってやるといけそうな感じ。 追記： でけ</pair<s1,></s2...></pair<tuple<s1...></class...></class>…