从这个问题中获得灵感，我设法实现了一个函数，该函数以两个元组为输入，并返回一个元组，其中哪些分量是输入中给定元组的每个分量的最小值。
template<typename T, T...>
struct integer_sequence { };
template<std::size_t N, std::size_t... I>
struct gen_indices : gen_indices<(N - 1), (N - 1), I...> { };
template<std::size_t... I>
struct gen_indices<0, I...> : integer_sequence<std::size_t, I...> { };
template <typename ... T, std::size_t ... I>
std::tuple<T...> min_tuple_impl(
const std::tuple<T...>& t1,
const std::tuple<T...>& t2,
integer_sequence<std::size_t, I...>)
{
return { (std::min(std::get<I>(t1), std::get<I>(t2)))... };
}
template <typename ... T>
std::tuple<T...> min_tuple(
const std::tuple<T...>& t1,
const std::tuple<T...>& t2)
{
return min_tuple_impl(t1, t2, gen_indices<sizeof...(T)>{});
}
现在，我希望它能处理除最后一个组件之外的所有组件。
std::tuple<int, int, int> t1 {10, 20, 30}
std::tuple<int, int, int> t2 {15, 15, 15}
min_tuple(t1, t2) // == {10, 15, 30}, for the last one, always keep the component of t1
我怎么能在C++11中得到这个？
现在，我希望它能在除最后一个组件之外的所有组件上工作。
对于最后一个，始终保留t1 的组件
因此，要解决此问题，请传递一个整数的缩减列表(不是sizeof...(T)，而是sizeof...(T)-1u(：
template <typename ... T>
std::tuple<T...> min_tuple(
const std::tuple<T...>& t1,
const std::tuple<T...>& t2)
{
return min_tuple_impl(t1, t2, gen_indices<sizeof...(T)-1u>{});
} // .....................................................^^^
最后，添加最后一个t1元素：
template <typename ... T, std::size_t ... I>
std::tuple<T...> min_tuple_impl(
const std::tuple<T...>& t1,
const std::tuple<T...>& t2,
integer_sequence<std::size_t, I...>)
{
return { (std::min(std::get<I>(t1), std::get<I>(t2)))...,
std::get<sizeof...(I)>(t1) };
} // .........^^^^^^^^^^^^^^^^^^^^^^^^^^
注意：必须确保sizeof...(T)严格大于零。