call call cons构件功能的std ::元素的每个元素

Question

我一直在搜索最简单，最优雅的解决方案，并找到了这一点：

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

struct A{
  void hi(){
    std::cout << "HIn";
  }
};
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

这是一个折叠表达式

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

对于每个包装在里面的Is。