C++17/C++2a中是否有优于C++14 std::index_sequence的可变参数元组展开方案？

当然可以！C17引入的折叠表达式正好能让这个MultiIterator的实现变得更简洁、直观，完全不需要依赖C14里的std::index_sequence和辅助模板函数。

优化后的C++17实现 #

template <typename ...I>
class MultiIterator {
public:
    MultiIterator(I const& ...i) : i(i...) {}

    MultiIterator& operator ++() {
        // 利用逗号折叠表达式直接展开递增操作
        (++std::get<I>(i), ...);
        return *this;
    }

private:
    std::tuple<I...> i;
};

和C++14版本的对比优势 #

• 代码更紧凑：省去了专门的increment辅助函数和std::index_sequence的构造逻辑，核心递增逻辑直接写在operator++里，可读性拉满。
• 编译开销更低：少了一层模板实例化（原来的increment<std::size_t...>），编译时的模板展开步骤更简单。
• 逻辑更直观：折叠表达式的语法直接表达了“对每个元组元素执行递增”的意图，不需要通过索引序列间接实现。

关于结构化绑定的说明 #

结构化绑定主要用于把聚合类型（比如元组、结构体）的固定数量成员绑定到单独变量，它没办法处理可变长度的参数包场景——因为我们的MultiIterator要支持任意数量的迭代器类型，结构化绑定没法动态展开所有元组元素，所以在这里派不上用场。

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