如何泛化实现返回std::tuple<N>的get_shape()成员函数？

当然可以实现通用版本的get_shape()函数，核心是利用C++的编译期索引序列（std::index_sequence）自动生成tuple的每个元素，避免为不同N值重复编写代码。以下是具体实现方案：

实现思路 #

通过std::make_index_sequence<N>生成0到N-1的编译期索引序列，借助参数包展开语法，逐个计算offsets中连续元素的商，最终组合成目标tuple。

完整代码示例 #

#include <tuple>
#include <vector>
#include <utility>
#include <cassert>

// 模板类，N为tuple的元素个数
template <size_t N>
class ShapeCalculator {
private:
    // 成员变量，确保至少包含N+1个元素
    std::vector<int> offsets;

    // 辅助函数：利用索引序列展开生成tuple
    template <size_t... Is>
    auto get_shape_impl(std::index_sequence<Is...>) const {
        // 参数包展开：每个Is对应一个商的计算
        return std::make_tuple(offsets[N - Is] / offsets[N - Is - 1]...);
    }

public:
    // 构造函数，传入offsets并检查长度
    ShapeCalculator(std::vector<int> offs) : offsets(std::move(offs)) {
        assert(offsets.size() >= N + 1 && "offsets must have at least N+1 elements");
    }

    // 对外暴露的get_shape函数
    auto get_shape() const {
        return get_shape_impl(std::make_index_sequence<N>{});
    }
};

// 测试代码
int main() {
    // 测试N=3的情况：offsets = [1,2,6,24]，商为24/6=4，6/2=3，2/1=2
    ShapeCalculator<3> calc({1,2,6,24});
    auto shape = calc.get_shape();
    
    assert(std::get<0>(shape) == 4);
    assert(std::get<1>(shape) == 3);
    assert(std::get<2>(shape) == 2);

    // 测试N=2的情况：offsets = [2,6,24]，商为24/6=4，6/2=3
    ShapeCalculator<2> calc2({2,6,24});
    auto shape2 = calc2.get_shape();
    
    assert(std::get<0>(shape2) == 4);
    assert(std::get<1>(shape2) == 3);

    return 0;
}

关键细节说明 #

1. 编译期索引序列：std::make_index_sequence<N>会在编译时生成std::index_sequence<0,1,...,N-1>，为每个商的计算提供编译期索引。
2. 参数包展开：offsets[N - Is] / offsets[N - Is - 1]...中的...会把索引序列中的每个Is代入，生成N个商的表达式，最终被std::make_tuple组合成tuple。
3. 类型兼容性：代码中用auto推导返回类型，会自动匹配offsets的元素类型（比如把std::vector<int>换成std::vector<double>，tuple的元素也会变成double）。
4. 边界检查：构造函数中的assert确保offsets的长度符合要求，避免运行时越界访问。

C++版本要求 #

该实现兼容C++14及以上版本，如果使用C++11，需要自行实现std::index_sequence和std::make_index_sequence（多数编译器也提供了对应的扩展实现）。

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