Поиск базового класса во время компиляции

В заголовке почти все сказано: есть ли способ в C ++ получить базовый тип (ы) класса во время компиляции? И. е. Можно ли передать класс в шаблон и позволить шаблону использовать другие шаблоны, которым он передает основы данного класса?

Мой вопрос не в том, смогу ли я реализовать такую ​​функциональность самостоятельно, я не могу задать вопрос (используя черты и тому подобное). Мой вопрос заключается в том, есть ли какие-то (неясные) встроенные функции, которые можно использовать для этой цели.

3

Решение

gcc поддерживает это. Увидеть

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>

Пример кода Энди Провла выглядит следующим образом:

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

Другие решения

Других решений пока нет …

По вопросам рекламы [email protected]