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

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

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

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

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

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

Научить метод принимать в качестве аргумента объект своего класса и дочерних классов - C++
Как научить метод принимать в качестве аргумента объект своего класса и дочерних классов? Как их передавать при вызове метода?

Как создать шаблон класса, который сможет принимать в качестве значения любые stl контейнеры - C++
Как написать класс, в который можно засунуть vector<int>, или vector<float>, или deque<double> и т.д?

Передача enum в качестве аргумента метода класса - C++
Есть класс //class order; class ticket{ enum type_of_place { coupe, general, berth, wagon_lit }_type_of_place; char*...

Error C4519: аргументы шаблона по умолчанию можно использовать только в шаблоне класса - C++
void sort_when_two_threads(Iterator first, Iterator last, Compare comp = std::less<typename std::iterator_traits<Iterator>::value_type>()) ...

Вызвать из базового класса методы потомков - C++
Я не уверен как сделать, но нужно с базового вызвать все другие функции у наследников. class CMain { public: virtual void...

Функция в качестве аргумента - C++
Мне нужно написать программу, которая будет включать в себя список, который можно добавлять, проверять его заполнение, а также обрабатывать...

Структура в качестве параметра шаблона - C++
Добрый день, возник вопрос при выполнении КР по программированию: Можно ли передать структуру в качестве параметра в шаблона класса. То...

Передача матрицы в метод в качестве аргумента - C++
Доброе время суток! Ребят забыл когда последний раз это делал, и вот косяки, ткните носом где я наложал! Код: #include <iostream>...

Шаблон в качестве аргумента метода(функции) - C++
Доброго дня! Возник вопрос. Существует ли возможность определить параметр метода, указав тип шаблона, но не указывая конкретные типы...

Передача двухмерного массива в качестве аргумента - C++
Здравствуйте. Имеется код, метод print_matrix() выводит матрицу на печать. Всё работает, когда я заполняю массив в цикле, однако при...


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

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Гром
210 / 129 / 11
Регистрация: 20.03.2009
Сообщений: 1,103
Записей в блоге: 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!
1438 / 1167 / 61
Регистрация: 21.04.2012
Сообщений: 2,436
Завершенные тесты: 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>!

Получается, средствами ядра языка это не реализовать? Без дополнительных включений и костылей типа попыток приведения указателей одного типа к другому (была у меня такая мысль)
Гром
210 / 129 / 11
Регистрация: 20.03.2009
Сообщений: 1,103
Записей в блоге: 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