c++ - 扩展 std::tuple 以用作类的初始化程序

Question

我想使用 std::tuple 的所有元素作为一个类的初始化器。有比 std::get<i-th element>(std::tuple) 更简单的方法吗？对于元组的每个元素？

std::get 的最小工作示例:

#include <string>
#include <tuple>
#include <cassert>

struct A
{
    std::string string1;
    int intVal;
    std::string string2;
};

int main()
{
  std::tuple< std::string, int, std::string > myTuple("S1", 42, "S2");

  A myA{ std::get<0>(myTuple), std::get<1>(myTuple), std::get<2>(myTuple) };

  assert( myA.string1 == "S1" );
  assert( myA.intVal  == 42   );
  assert( myA.string2 == "S2" );
}

参见 http://coliru.stacked-crooked.com/a/4a5d45dbf1461407现场示例

Answer 1

作为Kerrek SB评论说已经有关于这个的提案 P0209R0 .因此，在它成为标准之前，您可以按照以下方式做一些事情:

template<typename C, typename T, std::size_t... I>
decltype(auto) make_from_tuple_impl(T &&t, std::index_sequence<I...>) {
  return C{std::get<I>(std::forward<T>(t))...};
}

template<typename C, typename... Args, typename Indices = std::make_index_sequence<sizeof...(Args)>>
decltype(auto) make_from_tuple(std::tuple<Args...> const &t) {
  return make_from_tuple_impl<C>(t, Indices());
}

并将您的类初始化为:

A myA{make_from_tuple<A>(myTuple)};

Live Demo

您还可以手工制作 index_sequence 和 make_index_sequence 以使其在 Jarod42 提议的 C++11 中工作here , 并更改为:

namespace idx {
  template <std::size_t...> struct index_sequence {};

  template <std::size_t N, std::size_t... Is>
  struct make_index_sequence : make_index_sequence<N - 1, N - 1, Is...> {};

  template <std::size_t... Is>
  struct make_index_sequence<0u, Is...> : index_sequence<Is...> { using type = index_sequence<Is...>; };
}

template<typename C, typename T, std::size_t... I>
C make_from_tuple_impl(T &&t, idx::index_sequence<I...>) {
  return C{std::get<I>(std::forward<T>(t))...};
}

template<typename C, typename... Args, typename Indices = idx::make_index_sequence<sizeof...(Args)>>
C make_from_tuple(std::tuple<Args...> const &t) {
  return make_from_tuple_impl<C>(t, Indices());
}

Live Demo