可変引数テンプレートによる型リストでリスト処理作っていこうと思います。 手始めに、型リストの先頭を取り出すheadと、後部を取り出すtailです。 template <class Head, class... Tail> struct head { typedef Head type; }; template <class Head, class... Tail> struct head<tuple<Head, Tail...>> { typedef Head type; }; head<int, double, long>::ty</int,></tuple<head,></class></class>…