Создание пар индекса и типа из пакета параметров

Я пытаюсь создать кортеж или пары индекса и пакета параметров.

Вот пример того, чего хочет достичь код:

  {
    using Indices =
        std::tuple< IndexTypePair< 0, int >, IndexTypePair< 1, int >, IndexTypePair< 2, float > >;
    test2< Indices, 0 >();
    test2< Indices, 1 >();
    test2< Indices, 2 >();
  }

А вот обобщение:

  {
    template < typename... T >
    using make_index_tuple = tuple< IndexTypePair< Index_v< T, T... >, T >... >;
    using Indices = make_index_tuple< int, int, float >;
    test2< Indices, 0 >();
    test2< Indices, 1 >();
    test2< Indices, 2 >();
  }

Это решение основано на ответе на этот вопрос: Как получить индекс типа в пакете вариативных типов?

Одна из проблем, с которыми я столкнулся, - это создание псевдонима вариативного шаблона, предыдущий код дает следующую ошибку:

$ make index-sequence clang++-3.8 -Wall -Werror -Wextra -std=c++14
-pedantic -Wconversion -stdlib=libc++ -O3 -pthread    index-sequence.cpp   -o index-sequence index-sequence.cpp:50:5: error: expected expression
    template < typename... T >
    ^ index-sequence.cpp:52:21: error: unknown type name 'make_index_tuple'
    using Indices = make_index_tuple< int, int, float >;
                    ^ ...

Вот еще несколько кусочков, которые заставят этот код работать:

#include <array>
#include <cstddef>
#include <iostream>
#include <type_traits>
#include <utility>

template < typename T, typename... Ts >
struct Index;

template < typename T, typename... Ts >
struct Index< T, T, Ts... > : std::integral_constant< std::size_t, 0 >
{
};

template < typename T, typename U, typename... Ts >
struct Index< T, U, Ts... > : std::integral_constant< std::size_t, 1 + Index< T, Ts... >::value >
{
};

template < typename T, typename... Ts >
constexpr std::size_t Index_v = Index< T, Ts... >::value;

template < size_t i, typename T >
struct IndexTypePair
{
  static constexpr size_t index{i};
  using Type = T;
};

template < typename Idx, size_t i >
void test2()
{
  using ITP = typename std::tuple_element< i, Idx >::type;
  typename ITP::Type v{};
  //....
  std::cout << ITP::index << ' ' << v << std::endl;
}

person XKpe    schedule 03.08.2016    source источник


Ответы (1)


Используйте настройку вложенной структуры, чтобы помочь вам, вместе со стандартным make_index_sequence:

template < typename ... T >
struct make_index_type_tuple_helper
{    
    template< typename V >
    struct idx;

    template< size_t ... Indices >
    struct idx<std::index_sequence<Indices...>>
    {
        using tuple_type = std::tuple<IndexTypePair<Indices, T>...>;
    };

    using tuple_type = typename idx<std::make_index_sequence<sizeof...(T)>>::tuple_type;
};

template < typename ... T>
using make_index_type_tuple = typename make_index_type_tuple_helper<T...>::tuple_type;

Затем вы можете использовать его именно так, как хотите (живая демонстрация):

using Indices = make_index_type_tuple< int, int, float >;
test2< Indices, 0 >();
test2< Indices, 1 >();
test2< Indices, 2 >();
person Smeeheey    schedule 03.08.2016
comment
Спасибо, отлично работает! Я немного изменил ваш помощник, чтобы использовать IndexTypePair в качестве параметра шаблона, это, по сути, то, что я искал. - person XKpe; 03.08.2016