c++ - コンパイル時に基本クラスを見つける

Question

タイトルはほとんどすべてを言います: C++ でコンパイル時にクラスの基本型を取得する方法はありますか? 私はe。クラスをテンプレートに渡し、そのテンプレートに、指定されたクラスのベースを渡す他のテンプレートを使用させることは可能ですか?

私の質問は、そのような機能を自分で実装できるかどうかではなく、(特性などを使用して) 実装できることに疑問の余地はありません。私の質問は、この目的のために使用できる（あいまいな）組み込み機能があるかどうかです。

Answer 1

gccこれをサポートします。見る

• ケレックの答え
• tr2/type_traits
• Andy Prowl のコード例
• n2965
• N2965 - std::bases と std::direct_bases のステータスは何ですか?
• コンパイル時にクラスのすべての基本クラスを照会する方法は?

n2965 は例を提供します。

この単純な例は、これらの型特性の結果を示しています。次のクラス階層があるとします。

class E {};
class D {};
class C : virtual public D, private E {};
class B : virtual public D, public E {};
class A : public B, public C {};

したがって、bases<A>::type is tuple<D, B, E, C, E>

同様に、direct_bases<A>::type is tuple<B, C>

Andy Prowl のコード例は次のとおりです。

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