为std::tuple的每个元素调用成员函数

Question

我一直在寻找最简单优雅的解决方案并找到了这个：

#include <iostream>
#include <utility>
#include <tuple>


struct A{
  void hi(){
    std::cout << "HI\n";
  }
};

template<typename Tuple, std::size_t... Is>
void unpack(Tuple& tpl, std::index_sequence<Is...>){
  ((std::get<Is>(tpl).hi()),...);
}

int main(){

  std::tuple<A,A,A,A,A,A> tpl { A(), A(), A(), A(), A(), A() };

  unpack(tpl, std::make_index_sequence<6>{});

  return 0;
}

然而，我并不完全理解这一行：

((std::get<Is>(tpl).hi()),...);

我明白它的作用，但是那种语法是什么？

是否符合标准？

Answer 1

这是一个 fold expression

(std::get<Is>(tpl).hi())

每 Is 个装在里面。