在编译时查找基类

Finding base class at compile time

本文关键字：基类 查找 编译      更新时间：2023-10-16

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

我

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

gcc支持这一点。看

    克
  • 雷克的回答
  • TR2/type_traits
  • Andy Prowl 的代码示例
  • N2965
  • N2965 - std：：bases 和 std：:d irect_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
}
相关文章：