如何基于std::tuple元素类型生成存储getId结果的std::array

要实现从std::tuple的元素类型生成对应getId<T>()调用结果的std::array，可以借助编译时的index_sequence来拆包tuple的类型参数，具体实现如下：

完整代码示例 #

#include <array>
#include <tuple>
#include <utility> // 用于std::index_sequence和std::make_index_sequence

// 假设的getId运行时函数（示例实现）
template <typename T>
int getId();

struct A {};
struct B {};
struct C {};

template <>
int getId<A>() { return 1; }
template <>
int getId<B>() { return 2; }
template <>
int getId<C>() { return 3; }

namespace detail {
    // 辅助函数：通过index_sequence展开tuple的每个类型
    template <typename TupleType, std::size_t... Indices>
    auto getIdsImpl(std::index_sequence<Indices...>) {
        // 推导getId的返回类型（要求所有getId<T>返回类型一致）
        using IdValueType = decltype(getId<std::tuple_element_t<0, TupleType>>());
        return std::array<IdValueType, sizeof...(Indices)>{
            getId<std::tuple_element_t<Indices, TupleType>>()...
        };
    }
}

// 对外接口函数
template <typename TupleType>
auto getIds() {
    return detail::getIdsImpl<TupleType>(
        std::make_index_sequence<std::tuple_size_v<TupleType>>{}
    );
}

// 调用示例
int main() {
    auto ids = getIds<std::tuple<A, B, C>>();
    // ids 是 std::array<int, 3>{1, 2, 3}
    return 0;
}

实现说明 #

1. 编译时拆包tuple类型：

   • 主函数getIds<TupleType>通过std::tuple_size_v<TupleType>获取tuple的元素数量，生成对应的std::index_sequence（包含从0到元素数量-1的编译时索引）。
   • 辅助函数getIdsImpl接收这个index_sequence，通过模板参数包Indices展开每个索引值。

2. 获取tuple对应位置的类型：

   • 使用std::tuple_element_t<Indices, TupleType>，根据编译时索引Indices提取tuple中对应位置的类型。

3. 生成std::array：

   • 展开参数包getId<std::tuple_element_t<Indices, TupleType>>()...，为每个tuple类型调用一次getId，并将结果作为std::array的初始化列表。
   • 提前推导IdValueType确保所有getId<T>的返回类型一致，这是std::array的要求。

注意事项 #

• 所有getId<T>的返回类型必须完全相同，否则std::array无法实例化（array要求元素类型统一）。
• 该实现完全依赖编译时类型信息展开，getId的调用是运行时执行的，符合需求。

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