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

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

Восстановить пароль Регистрация
 
Radagast
4 / 0 / 1
Регистрация: 09.07.2013
Сообщений: 17
02.02.2014, 00:09     Принимать в качестве аргумента шаблона только потомков определенного класса #1
Доброго времени суток. Возможно ли каким-либо образом создать шаблонный класс, который в качестве аргумента шаблона будет принимать только потомков некоторого вполне определенного другого нешаблонного класса?
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Гром
 Аватар для Гром
199 / 118 / 10
Регистрация: 20.03.2009
Сообщений: 1,075
Записей в блоге: 15
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!
 Аватар для gray_fox
1244 / 1127 / 53
Регистрация: 21.04.2012
Сообщений: 2,350
Завершенные тесты: 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
Сообщений: 17
02.02.2014, 03:04  [ТС]     Принимать в качестве аргумента шаблона только потомков определенного класса #4
2 Гром: мне, к сожалению, нужно ровно наоборот - чтобы принимал потомков и только их (то есть не принимал даже сам базовый класс)
2 gray_fox: спасибо, нашел много полезных проверок в этом <type_traits>!

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

Текущее время: 18:34. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru