型リストのI番目の型を取得するメタ関数です template <int I, typename Arg> struct at; template <int I, typename Head, typename... Tail> struct at<I, tuple<Head, Tail...>> { typedef typename at<I - 1, tuple<Tail...>>::type type; }; template <class Head, typename... Tail> struct at<0, tuple<Head, Tail...>> { typedef Head t…</head,></class></i></i,></int></int>