Question

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

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

应该将我的类似于的东西返回到基类型。我怎样才能获得第n个元素这个__reflection_typelist＆lt; ...＆gt;。我为反射列表搜索tuple_element之类的内容。

Answer 1

您可以使用此简单元函数将类型列表转换为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
}

Answer 2

自己编写？

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;
};

此时，我会说source code是最好的文档。

使用tr2 :: direct_bases获取结果的第n个元素

2 个答案: