C++11 std::tuple 到 std::array 转换导致可变参数模板崩溃

Question

以下函数 toArray 可能有一天会将 C++11 std::tuple 转换为 C++11 std::array:

#include <tuple>
#include <array>

template <typename T, typename ...U>
std::array<T,sizeof...(U)>
toArray(std::tuple<U...>) {
  return std::array<T,sizeof...(U)>();
}

如果我尝试用下面的代码调用toArray，在G++ 4.8下我可以编译成功。然而，使用 Clang++ 3.2 编译会使 Clang 前端崩溃。我的代码是有效的 C++ 代码吗？

int main(int argc, char *argv[])
{
  auto tup = std::make_tuple(1,2,3,4,5,6,7,8);
  toArray<int>(tup);
  return 0;
}

Answer 1

对我来说它看起来有效，并且完成的版本可以很好地与 G++ 一起工作:

#include <redi/index_tuple.h>

template <typename T, typename... U, unsigned... N>
  std::array<T, sizeof...(U)>
  toArray2(std::tuple<U...>& t, redi::index_tuple<N...>) {
    return std::array<T, sizeof...(U)>{{ std::get<N>(t)... }};
  }

template <typename T, typename ...U>
  std::array<T, sizeof...(U)>
  toArray(std::tuple<U...> t) {
    return toArray2<T>(t, redi::to_index_tuple<U...>{});
  }

int main()
{
  auto tup = std::make_tuple(1,2,3,4,5,6,7,8);
  return toArray<int>(tup)[3] - 4;
}