能否使用一个tuple索引另一个tuple？含参数包替代方案问询

这个问题确实很典型——你已经意识到所有信息都在编译期可用，只是卡在了std::get的模板参数必须是编译期常量这一点上，其实有好几种可行的解决方案，我给你拆解一下：

核心问题分析 #

你原来的代码编译失败，本质是因为：

• 虽然indeces是const的，但它不是constexpr，所以std::get<0>(indeces)返回的是运行期值，无法作为std::get的模板参数（模板参数必须在编译期确定）。
• 只要能让索引值在编译期被解析，就能解决这个问题。

方案1：将索引tuple声明为constexpr #

最简单的解决方式是把indeces也声明为constexpr，这样std::get获取的索引就是编译期常量了：

#include <tuple>

int main() {
    constexpr auto tup = std::make_tuple(4, 5, 6);
    constexpr auto indeces = std::make_tuple(0, 1, 2);
    
    constexpr int index = std::get<0>(indeces);
    const int value = std::get<index>(tup); // 现在可以正常编译，value等于4
    return value;
}

这个方案直接利用了C++11及以后的constexpr特性，让整个索引获取过程在编译期完成。

方案2：直接使用参数包索引（推荐） #

你提到索引最初是int类型的参数包，那完全可以跳过转tuple的步骤，直接通过模板参数包展开来访问目标tuple的元素：

基础版：用std::size_t参数包 #

如果参数包是std::size_t类型（和std::get要求的模板参数类型一致），可以写一个简单的模板函数：

#include <tuple>
#include <utility>

template<typename Tuple, std::size_t... Indices>
auto get_elements(const Tuple& tup) {
    // 展开参数包，逐个获取元素并组成新tuple
    return std::make_tuple(std::get<Indices>(tup)...);
}

int main() {
    constexpr auto tup = std::make_tuple(4, 5, 6);
    // 直接传入索引参数包
    auto result = get_elements<decltype(tup), 0, 1, 2>(tup);
    // result是(4, 5, 6)
    return std::get<0>(result);
}

适配int类型参数包 #

如果你的参数包是int类型，需要先做类型转换，同时可以加边界检查避免越界：

#include <tuple>
#include <type_traits>

template<typename Tuple, int... Indices>
auto get_elements_from_int_indices(const Tuple& tup) {
    // 编译期检查所有索引是否合法
    static_assert(
        ((Indices >= 0) && (static_cast<std::size_t>(Indices) < std::tuple_size_v<Tuple>)) && ...,
        "Index out of bounds for target tuple"
    );
    // 将int转为std::size_t后再调用std::get
    return std::make_tuple(std::get<static_cast<std::size_t>(Indices)>(tup)...);
}

int main() {
    constexpr auto tup = std::make_tuple(4, 5, 6);
    auto result = get_elements_from_int_indices<decltype(tup), 0, 1, 2>(tup);
    return std::get<1>(result); // 返回5
}

方案3：编译期遍历索引tuple（C++20及以后） #

如果必须保留索引tuple的形式，C++20的constexpr lambda和模板参数推导可以帮你在编译期遍历索引tuple并获取对应元素：

#include <tuple>
#include <utility>

template<typename Tuple, typename IndexTuple>
constexpr auto get_all_elements(const Tuple& tup, const IndexTuple& indices) {
    // 用index_sequence遍历索引tuple的每个元素
    return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
        // 逐个取出索引tuple的元素，作为std::get的模板参数
        return std::make_tuple(std::get<std::get<Is>(indices)>(tup)...);
    }(std::make_index_sequence<std::tuple_size_v<IndexTuple>>{});
}

int main() {
    constexpr auto tup = std::make_tuple(4, 5, 6);
    constexpr auto indeces = std::make_tuple(0, 1, 2);
    
    constexpr auto values = get_all_elements(tup, indeces);
    // values是(4, 5, 6)
    return std::get<2>(values); // 返回6
}

这个方案利用了C++20的模板lambda特性，让我们可以在编译期安全地展开索引tuple的所有元素。

内容的提问来源于stack exchange，提问作者Liam Goodacre