Шаблон класса, параметром которого должны являться наследники определённого класса

@AnatoliyDev · Регистрация: 14.11.2014

Author24 — интернет-сервис помощи студентам

Сразу извиняюсь за нубский вопрос. Суть в том, что я хочу сделать шаблон класса, параметром которого должны являтся наследники определённого класса. Я попытался сделать так

C++

1
2
3

template <Primitive typePrimitive>
class Triplex
{};

Здесь Primitive это абстрактный класс, от которого наследуются всякие Cube, Pyramid, Sphere... Но оно не компилируется.
>> error C2259: 'Primitive' : cannot instantiate abstract class
Оно и понятно, ибо класс Primitive абстрактный. Суть вопроса: подскажите синтаксис, при котором я мог бы указать в параметре шаблона наследников определённого класса.

@zss · 14.11.2014, 17:44

Структура шаблона

C++

1
2
3

template <class T>
class Triplex
{};

или

C++

1
2
3

template <typename T>
class Triplex
{};

typename и class внутри скобок - это ключевые слова,
указывающее на то, что при инстанцировании шаблона вместо имени T(T - любой идентификатор)
в шаблон будет подставлен некоторый определенный тип.
Т.е. вместо T Вы сможете подставлять любые типы, в т.ч. и пользовательские (Cube, Pyramid, Sphere.)

@DrOffset · 14.11.2014, 17:46

Сообщение от AnatoliyDev

подскажите синтаксис, при котором я мог бы указать в параметре шаблона наследников определённого класса.

С++11:

C++

template <
           typename T
         , typename = typename std::enable_if<std::is_base_of<Primitive, T>::value>::type
>
class Test
{
 //.....
};

@AnatoliyDev · 14.11.2014, 17:54 **[ТС]**

Дело в том, что при использовании class я смогу подставить любой класс. А мне нужно, чтобы можно было подставить только наследников этого класса. Так-то я бы и так сделал как вы сказали, но препод требует именно так.

Добавлено через 3 минуты
DrOffset, попробую разобраться с вашим предложением, но мне кажется оно немного сложновато будет для понимания.

@aLarman · 14.11.2014, 17:54

AnatoliyDev, cделайте класс не абстрактным а с пустой реализацией вирт методово

@AnatoliyDev · 14.11.2014, 17:59 **[ТС]**

aLarman, я понимаю, что так оно работать будет, но всё-таки хотелось бы именно с абстрактным классом. Просто там ситуация такая, что я делал лабораторные, которые постоянно использовали наработки из предидщих лаб. А в самом начале было необходимо создать именно абстрактный класс. Вот теперь и получается 2 варианта либо переделывать под не абстрактный, либо разобраться с абстрактным.

@aLarman · 14.11.2014, 18:01

попробуйте

C++

1	template<AbstractClass * b>

@DrOffset · 14.11.2014, 18:12

Сообщение от DrOffset

подскажите синтаксис, при котором я мог бы указать в параметре шаблона наследников определённого класса.

Вот, без С++11 и внешних зависимостей (boost::, Loki:: и т.п.)
Под спойлером полный пример.

Кликните здесь для просмотра всего текста

C++

template <typename B, typename D>
struct is_base_of
{
    struct helper_
    {
        operator B*() const;
        operator D*();
    };
 
    template <typename T>
    static char (& check(D*, T))[1];
    static char (& check(B*, int))[2];
 
    enum
    {
        value = sizeof(check(helper_(), int())) == 1
    };
};
 
template<bool B, class T = void>
struct enable_if
{};
 
template<class T>
struct enable_if<true, T>
{
    typedef T type;
};
 
//.................................
 
class Primitive
{
};
 
class Circle
    : public Primitive
{
};
 
template <
    typename T
  , typename = typename enable_if<is_base_of<Primitive, T>::value>::type
>
class Test
{
 
};
 
int main()
{
    Test<Circle> v; //OK
    //Test<int> v; // Ошибка
    //Test<Primitive> v; // Ошибка
    //Test<std::string> v; // Ошибка
}

Добавлено через 2 минуты

Сообщение от AnatoliyDev

попробую разобраться с вашим предложением, но мне кажется оно немного сложновато будет для понимания.

Это один из основных способов выполнить задание в твоей изначальной формулировке (или твоего преподавателя):

Сообщение от AnatoliyDev

подскажите синтаксис, при котором я мог бы указать в параметре шаблона наследников определённого класса.

Если же к шаблону все не сводится, то можно рассмотреть и другие варианты.

Добавлено через 7 минут

Сообщение от AnatoliyDev

сложновато будет для понимания

Вот может быть так будет попроще (только для С++11), но вариация на тему:

C++

constexpr bool check_class(Primitive * v)
{
    return true;
}
constexpr bool check_class(...)
{
    return false;
}
 
template <typename T, bool F = check_class((T*)0)>
class Test;
 
template <typename T>
class Test<T, true>
{
    // здесь реализация
};
 
int main()
{
 
    //Test<Circle> v; //OK
    Test<int> v; // Ошибка
    //Test<Primitive> v; // Ошибка
    //Test<std::string> v; // Ошибка
}

@AnatoliyDev · 14.11.2014, 18:41 **[ТС]**

DrOffset всё-таки ваш пример для меня слишком high level, но если в конце концов другого решения не найдётся буду разбирать ваш.
А насчёт предложения aLarman, вроде бы прокатило в объявлении, но в реализации при написании такого кода

C++

1
2
3

template <Primitive *typePrimitive>
void Triplex<Primitive *typePrimitive>::render3()
{};

выдаёт ошибку
>> error C2146: syntax error : missing ',' before identifier 'typePrimitive'

Добавлено через 24 минуты
Извиняюсь за идиотизм

Надо было

C++

1
2
3

template <Primitive *typePrimitive>
void Triplex<typePrimitive>::render3()
{};

Тоесть лишний раз тип указал.
Но как тогда создать объект? Вот так не получается

C++

1	Triplex<Cube> *TripleCube = new Triplex<Cube>(0,0,0);

>> error C2993: 'Cube' : illegal type for non-type template parameter 'typePrimitive'

@DrOffset · 14.11.2014, 18:47

AnatoliyDev,
Этот способ работать не будет. Параметром шаблона должна быть известная на этапе компиляции величина. Указатель на объект к таковым не относится (очевидно потому, что объект существует только во время выполнения).

@AnatoliyDev · 14.11.2014, 18:51 **[ТС]**

DrOffset, ясно, спасибо за объяснение. Всем остальным тоже благодарен за помощь.

@DrOffset 19409 / 10028 / 2443 Регистрация: 30.01.2014 Сообщений: 17,678
	14.11.2014, 18:47	10
	AnatoliyDev, Этот способ работать не будет. Параметром шаблона должна быть известная на этапе компиляции величина. Указатель на объект к таковым не относится (очевидно потому, что объект существует только во время выполнения). 1

@AnatoliyDev 0 / 0 / 0 Регистрация: 14.11.2014 Сообщений: 6
	14.11.2014, 17:54 [ТС]	4
	Дело в том, что при использовании class я смогу подставить любой класс. А мне нужно, чтобы можно было подставить только наследников этого класса. Так-то я бы и так сделал как вы сказали, но препод требует именно так. Добавлено через 3 минуты DrOffset, попробую разобраться с вашим предложением, но мне кажется оно немного сложновато будет для понимания. 0

@aLarman 654 / 575 / 164 Регистрация: 13.12.2012 Сообщений: 2,124
	14.11.2014, 17:54	5
	AnatoliyDev, cделайте класс не абстрактным а с пустой реализацией вирт методово 0

@AnatoliyDev 0 / 0 / 0 Регистрация: 14.11.2014 Сообщений: 6
	14.11.2014, 17:59 [ТС]	6
	aLarman, я понимаю, что так оно работать будет, но всё-таки хотелось бы именно с абстрактным классом. Просто там ситуация такая, что я делал лабораторные, которые постоянно использовали наработки из предидщих лаб. А в самом начале было необходимо создать именно абстрактный класс. Вот теперь и получается 2 варианта либо переделывать под не абстрактный, либо разобраться с абстрактным. 0

@AnatoliyDev 0 / 0 / 0 Регистрация: 14.11.2014 Сообщений: 6
	14.11.2014, 18:51 [ТС]	11
	DrOffset, ясно, спасибо за объяснение. Всем остальным тоже благодарен за помощь. 0