Форум программистов, компьютерный форум CyberForum.ru

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
Radagast
4 / 0 / 1
Регистрация: 09.07.2013
Сообщений: 20
#1

Принимать в качестве аргумента шаблона только потомков определенного класса - C++

02.02.2014, 00:09. Просмотров 308. Ответов 5
Метки нет (Все метки)

Доброго времени суток. Возможно ли каким-либо образом создать шаблонный класс, который в качестве аргумента шаблона будет принимать только потомков некоторого вполне определенного другого нешаблонного класса?
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
02.02.2014, 00:09     Принимать в качестве аргумента шаблона только потомков определенного класса
Посмотрите здесь:

Функция в качестве аргумента C++
C++ Определение метода-шаблона за пределами шаблона класса
Использование массивов в качестве аргумента функции C++
Создание шаблона bool-функции, принимающей в качестве параметра экземпляр класса C++
Структура в качестве параметра шаблона C++
C++ Передача enum в качестве аргумента метода класса
C++ Вызвать из базового класса методы потомков
Передача класса в качестве параметра шаблона C++
C++ Передача матрицы в метод в качестве аргумента
C++ Error C4519: аргументы шаблона по умолчанию можно использовать только в шаблоне класса
Научить метод принимать в качестве аргумента объект своего класса и дочерних классов C++
C++ Передача метода класса в качестве аргумента внешней функции

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Гром
207 / 126 / 11
Регистрация: 20.03.2009
Сообщений: 1,094
Записей в блоге: 16
Завершенные тесты: 1
02.02.2014, 00:32     Принимать в качестве аргумента шаблона только потомков определенного класса #2
С ходу могу предложить только вариант, когда принимает только указанный класс, а при всех остальных выскакивает ошибка компиляции (сообщение о ней можно сделать достаточно внятным, но пока не будем об этом):
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
class GoodClass {};
 
template <class T> class MyClass;
 
template <> class MyClass <GoodClass>
{
int i;
};
 
template <class AnyOtherClass> class MyClass
{
char unnamed[(1 == 2)? 1 : 0];
};
 
int main()
{
MyClass <GoodClass> MC1;
//MyClass <int> MC2;
}
Для наследников от GoodClass, к сожалению, тоже выдает ошибку.
gray_fox
What a waste!
1256 / 1139 / 55
Регистрация: 21.04.2012
Сообщений: 2,361
Завершенные тесты: 3
02.02.2014, 00:49     Принимать в качестве аргумента шаблона только потомков определенного класса #3
C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <type_traits>
 
// ...
 
template<typename T>
class your_class {
 
   static_assert(std::is_base_of<base_class, T>::value, "template parameter must be derived from base_class");
 
   // ...
 
};
Radagast
4 / 0 / 1
Регистрация: 09.07.2013
Сообщений: 20
02.02.2014, 03:04  [ТС]     Принимать в качестве аргумента шаблона только потомков определенного класса #4
2 Гром: мне, к сожалению, нужно ровно наоборот - чтобы принимал потомков и только их (то есть не принимал даже сам базовый класс)
2 gray_fox: спасибо, нашел много полезных проверок в этом <type_traits>!

Получается, средствами ядра языка это не реализовать? Без дополнительных включений и костылей типа попыток приведения указателей одного типа к другому (была у меня такая мысль)
Гром
207 / 126 / 11
Регистрация: 20.03.2009
Сообщений: 1,094
Записей в блоге: 16
Завершенные тесты: 1
02.02.2014, 10:18     Принимать в качестве аргумента шаблона только потомков определенного класса #5
Цитата Сообщение от Radagast Посмотреть сообщение
Получается, средствами ядра языка это не реализовать? Без дополнительных включений и костылей типа попыток приведения указателей одного типа к другому (была у меня такая мысль)
Да нет, type_traits - во-первых, полноправная часть стандартной библиотеки, во-вторых - выдает значения времени компиляции, а не времени исполнения. Можете почитать Александреску, чтобы понять, как примерно это делается (там вообще очень много про метапрограммирование и получение результата на этапе компиляции).
Radagast
4 / 0 / 1
Регистрация: 09.07.2013
Сообщений: 20
02.02.2014, 16:11  [ТС]     Принимать в качестве аргумента шаблона только потомков определенного класса #6
Понял, спасибо
Yandex
Объявления
02.02.2014, 16:11     Принимать в качестве аргумента шаблона только потомков определенного класса
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru