C++参数包模板优化：能否在类作用域定义索引序列简化代码？

最优实现（C++17及以上，推荐） #

你不需要单独编写索引相关的私有辅助函数，直接用标准库提供的std::apply即可完成tuple元素的展开，代码会简洁很多，完整实现如下：

#include <tuple>
#include <memory>
#include <vector>
#include <utility> // std::apply 所需头文件

using std::tuple;

template <typename... Args>
class Foo
{
protected:
    tuple<std::shared_ptr<std::vector<Args>>...> data;

public:
    void clear()
    {
        std::apply([](auto&&... vec_ptrs) {
            // 折叠表达式调用所有vector的clear方法
            (vec_ptrs->clear(), ...);
        }, data);
    };
};

这种方案完全不需要手动处理索引序列，没有冗余的辅助函数，可读性和可维护性都更高。

类作用域复用索引序列的方法 #

如果你确实有多个类方法都需要用到覆盖整个tuple的索引序列，不想每次都生成std::index_sequence_for，可以在类作用域定义静态常量存储索引序列，示例如下：

template <typename... Args>
class Foo
{
protected:
    tuple<std::shared_ptr<std::vector<Args>>...> data;
    // 类作用域定义可复用的索引序列
    static constexpr auto indices = std::index_sequence_for<Args...>{};

private:
    template<size_t...Is>
    void _some_common_func_(std::index_sequence<Is...>) {
        // 自定义通用逻辑
    }

public:
    void some_func()
    {
        _some_common_func_(indices);
    };
};

补充说明 #

你提到的直接在类作用域定义Is参数包无法实现，参数包属于模板参数的特殊形态，只能存在于模板参数列表的上下文中，不能作为类的独立成员声明，你只能将打包好的index_sequence作为静态常量存储，使用时再推导展开为参数包。

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