我对@987654321@ 做了一些修改，去掉了元组的前 N 个参数，并创建了一个只有最后 N 个类型的新元组……这是完整的代码 （注意：如果有人决定 +1 我的回答，也请 +1 Adam 的回答，因为这是此代码的基础，我不希望从他的贡献中拿走任何功劳）：
//create a struct that allows us to create a new tupe-type with the first
//N types truncated from the front
template<size_t N, typename Tuple_Type>
struct tuple_trunc {};
template<size_t N, typename Head, typename... Tail>
struct tuple_trunc<N, std::tuple<Head, Tail...>>
{
typedef typename tuple_trunc<N-1, std::tuple<Tail...>>::type type;
};
template<typename Head, typename... Tail>
struct tuple_trunc<0, std::tuple<Head, Tail...>>
{
typedef std::tuple<Head, Tail...> type;
};
/*-------Begin Adam's Code-----------
Note the code has been slightly modified ... I didn't see the need for the extra
variadic templates in the "assign" structure. Hopefully this doesn't break something
I didn't forsee
*/
template<size_t N, size_t I>
struct assign
{
template<class ResultTuple, class SrcTuple>
static void x(ResultTuple& t, const SrcTuple& tup)
{
std::get<I - N>(t) = std::get<I>(tup);
assign<N, I - 1>::x(t, tup); //this offsets the assignment index by N
}
};
template<size_t N>
struct assign<N, 1>
{
template<class ResultTuple, class SrcTuple>
static void x(ResultTuple& t, const SrcTuple& tup)
{
std::get<0>(t) = std::get<1>(tup);
}
};
template<size_t TruncSize, class Tup> struct th2;
//modifications to this class change "type" to the new truncated tuple type
//as well as modifying the template arguments to assign
template<size_t TruncSize, class Head, class... Tail>
struct th2<TruncSize, std::tuple<Head, Tail...>>
{
typedef typename tuple_trunc<TruncSize, std::tuple<Head, Tail...>>::type type;
static type tail(const std::tuple<Head, Tail...>& tup)
{
type t;
assign<TruncSize, std::tuple_size<type>::value>::x(t, tup);
return t;
}
};
template<size_t TruncSize, class Tup>
typename th2<TruncSize, Tup>::type tail(const Tup& tup)
{
return th2<TruncSize, Tup>::tail(tup);
}
//a small example
int main()
{
std::tuple<double, double, int, double> test(1, 2, 3, 4);
tuple_trunc<2, std::tuple<double, double, int, double>>::type c = tail<2>(test);
return 0;
}