c++ - 在编译时查找基类

Question

标题几乎说明了一切：C++ 中有没有办法在编译时获取类的基类型？IE。是否可以将一个类交给一个模板，并让模板使用其他模板，它将给定类的基础交给它？

我的问题不是我是否可以自己实现这样的功能，毫无疑问我可以（使用特征等）。我的问题是是否有一些（晦涩的）内置功能可以用于此目的。

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
}