Черта типа для идентификации основного базового класса

Это будет частью следующего стандарта Это было частью прерванного TR2 через черты std::bases и std::direct_bases. Если вы работаете с компилятором, который включает в себя draft-TR2, у вас может быть поддержка для этого. Например, в GCC 4.7.2:

#include <demangle.hpp>
#include <iostream>
#include <tr2/type_traits>

struct T1 { };
struct T2 { };
struct Foo : T1, T2 { };


int main()
{
    std::cout << demangle<std::tr2::direct_bases<Foo>::type>() << std::endl;
}

Это печатает:

std::tr2::__reflection_typelist<T1, T2>

(Деманглер принадлежит мне; возможно, вы видели его где-то еще.)

Я полагаю, что вы можете создать подходящую черту «является полиморфной и имеет ровно ноль или одну основу» самостоятельно.

Ниже приведена дикая, не проверенная до конца попытка сделать что-то полезное только с C++11 (на самом деле она на самом деле не требует каких-либо функций C++11, но так проще писать).

Однако этот трейт проверяет только транзитивное закрытие свойства «является основным базовым классом»: мне не удалось найти ненавязчивый способ проверки того, является ли класс прямым базовый класс другого класса.

#include <type_traits>

template<typename B, typename D, D* p = nullptr, typename = void>
struct is_primary_base_of : std::false_type { };

template<typename B, typename D, D* p>
struct is_primary_base_of<B, D, p,
    typename std::enable_if<
        ((int)(p + 1024) - (int)static_cast<B*>(p + 1024)) == 0
        >::type
    >
    :
    std::true_type { };

struct A { virtual ~A() { } };

struct B : A { };

struct C { virtual ~C() { } };

struct D : B, C { };

struct E : virtual A, C { };

int main()
{
    // Does not fire (A is PBC of B, which is PBC of D)
    static_assert(is_primary_base_of<A, D>::value, "Error!");

    // Does not fire (B is PBC of C)
    static_assert(is_primary_base_of<B, D>::value, "Error!");

    // Fires (C is not PBC of D)
    static_assert(is_primary_base_of<C, D>::value, "Error!");

    // Fires (A is inherited virtually by E, so it is not PBC of E)
    static_assert(is_primary_base_of<A, E>::value, "Error!");

    // Does not fire (C is the first non-virtual base class of E)
    static_assert(is_primary_base_of<C, E>::value, "Error!");
}