Используя tr2::direct_bases получить n-й элемент результата

struct T1 {};
struct T2: T1 {};

typedef tr2::direct_bases<T2>::type NEW_TYPE ;

должен вернуть мой что-то вроде тапла к базам типов. Как я могу получить n-й элемент этого __reflection_typelist<...>. Я ищу что-то вроде tuple_element для списка отражения.

Источник

3 ответа

Решение

Вы можете использовать эту простую метафункцию, чтобы превратить список типов в std::tuple:

#include <tr2/type_traits>
#include <tuple>

template<typename T>
struct dbc_as_tuple { };

template<typename... Ts>
struct dbc_as_tuple<std::tr2::__reflection_typelist<Ts...>>
{
    typedef std::tuple<Ts...> type;
};

На этом этапе вы можете работать с ним, как если бы вы работали с кортежем. Например, вот как вы можете получить элементы списка типов:

struct A {};
struct B {};
struct C : A, B {};

int main()
{
    using namespace std;

    using direct_base_classes = dbc_as_tuple<tr2::direct_bases<C>::type>::type;

    using first = tuple_element<0, direct_base_classes>::type;
    using second = tuple_element<1, direct_base_classes>::type;

    static_assert(is_same<first, A>::value, "Error!");   // Will not fire
    static_assert(is_same<second, B>::value, "Error!");  // Will not fire
}
Источник

Написать свой?

template <typename R, unsigned int N> struct get;

template <typename T, typename ...Args, unsigned int N>
struct get<std::tr2::__reflection_typelist<T, Args...>, N>
{
    typedef typename get<std::tr2::__reflection_typelist<Args...>, N - 1>::type type;
};

template <typename T, typename ...Args>
struct get<std::tr2::__reflection_typelist<T, Args...>, 0>
{
    typedef T type;
};

Или даже используя first/next:

template <typename R, unsigned int N>
struct get
{
    typedef typename get<typename R::next::type, N - 1>::type type;
};

template <typename R>
struct get<R, 0>
{
    typedef typename R::first::type type;
};

На данный момент, я бы сказал, что исходный код - лучшая документация.

Источник

Поскольку приведенные выше примеры, похоже, не выходят за рамки стандартного, я подумал, что мог бы добавить небольшой фрагмент кода, который я придумал, чтобы получить первый тип базового класса моего типа T:

      if constexpr (!std::tr2::direct_bases<T>::type::empty::value)
{
    typedef typename std::tr2::direct_bases<T>::type::first::type BaseType0;
}

The if constexprздесь для обработки случая, когда у моего типа T нет базовых классов, иначе тепедеф не будет работать. Согласно исходному коду следующий тип базового класса можно получить изstd::tr2::direct_bases<T>::type::rest, который снова имеет типemptyкоторый вы можете использовать, чтобы проверить, существует ли другой базовый тип и типfirst, который содержит следующий тип... Таким образом можно просмотреть список прямых оснований.

Источник
Другие вопросы по тегам