150 / 73 / 27
Регистрация: 09.04.2010
Сообщений: 297
|
||||||
1 | ||||||
Шаблоны template с ограниченными параметрами19.09.2012, 12:45. Показов 3956. Ответов 41
Метки нет (Все метки)
Привет всем. У меня короткий вопрос.
например есть такой код:
То есть, параметр шаблона T мог принимать только определенные мною значения (например MyClass1, int и всё, другие нельзя).
0
|
19.09.2012, 12:45 | |
Ответы с готовыми решениями:
41
«Шаблоны шаблонов» vs «шаблоны с параметрами-шаблонами». Как вы применяете шаблоны template в C++? Шаблоны типа template<class T*> подскажите template<class> (Шаблоны и указатели) |
В астрале
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
||||||
19.09.2012, 12:57 | 2 | |||||
FireNovel, Нету концептов в С++. Можно static_assert замутить
2
|
0 / 0 / 0
Регистрация: 23.02.2009
Сообщений: 7
|
|
19.09.2012, 12:59 | 3 |
https://www.cyberforum.ru/post614069.html
Соответственное проверяешь результат, возвращаемый typeid().name(), и делаешь нужные действия.
0
|
В астрале
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
|
19.09.2012, 13:00 | 4 |
Yosido, Есть type_traits, что в бусте, что в С++11. Тут typeid явно хреновый помощник.
1
|
1500 / 1146 / 165
Регистрация: 05.12.2011
Сообщений: 2,279
|
|
19.09.2012, 13:02 | 5 |
можно попробовать замутить ченить типа списка типов в приватной части, в котором перечислить
те типы, для которых можно + статик ассерт с поиском по списку. Если нужны какие-то особенные свойства, то тогда какой-нибудь компайл-тайм предикат с тем же статик ассертом.
0
|
150 / 73 / 27
Регистрация: 09.04.2010
Сообщений: 297
|
|
19.09.2012, 13:15 [ТС] | 6 |
ForEveR, вариант со static_assert(); понравился. Подкажи, пожалуйста, куда его пихать? и в каком он заголовке объявлен?
0
|
В астрале
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
|
19.09.2012, 13:22 | 7 |
FireNovel, Ни в каком. Это ключевое слово С++11. Пихать можно прям в начало класса.
0
|
150 / 73 / 27
Регистрация: 09.04.2010
Сообщений: 297
|
|
19.09.2012, 13:23 [ТС] | 8 |
0
|
В астрале
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
|
19.09.2012, 13:24 | 9 |
FireNovel, Юзай boost. Или напиши свой static_assert.
0
|
В астрале
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
|
19.09.2012, 14:15 | 11 |
-=ЮрА=-, Кхм. А не кажется-ли тебе, что писать несколько одинаковых реализациий класса для нескольких разных типов - это несколько перебор, если можно просто запретить создавать шаблон от других типов, кроме нужных? Тут все же куда логичнее использовать static_assert или некий концепт. Ну а если уж писать разные классы - тут дико напрашивается специализация класса, а не написание нескольких с разными названиями.
0
|
Jupiter
|
19.09.2012, 14:16
#12
|
3
|
Заблокирован
|
||||||
19.09.2012, 14:25 | 13 | |||||
- можешь плакать
0
|
~ Эврика! ~
1256 / 1005 / 74
Регистрация: 24.07.2012
Сообщений: 2,002
|
|
19.09.2012, 14:29 | 14 |
Сообщение было отмечено как решение
Решение
Уже начинаю. Если мне понадобится не только int и MyValue, а ещё double? А через год дополнительно ещё bool и MyTemplateType<char>?
static_assert для этого требует только добавить три строки вида || TYPES_EQUAL(T, double)
3
|
Заблокирован
|
|
19.09.2012, 14:30 | 15 |
ForEveR, я предпочитаю сесть написать что хочу а потом уже думать а модно ли это упростить или не можно.
Также само по себе задание просто дурацкое(не хочу обидеть ТС) - кому и зачем может такое понадобиться, ну вот просто зачем оно надо? Не вопрос надо так надо - выше простой пример. Я зуб за 100 даю задание ТС решается куда более проще если узнать зачем оно надо, буз всяких шаблонов и прочего высокоуровневого кода, просто люди часто сами себе проблем придумают а потом решают... Добавлено через 1 минуту Не по теме: ~OhMyGodSoLong~, отвечу просто и лаконично ~OhMyGodSoLong~-ам слово не давали...
0
|
defer
|
19.09.2012, 14:32
#16
|
Не по теме: У меня дежавю???????
0
|
В астрале
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
|||||||||||
19.09.2012, 14:37 | 17 | ||||||||||
Сообщение было отмечено как решение
Решение
-=ЮрА=-, Правда? Не секрет ведь, что std::sort работает исключительно с RA итераторами. Используя к примеру для списка - получаем ошибку компиляции. К примеру в gcc это работает так
tuple.
Не нужны, правда?
3
|
2276 / 1767 / 741
Регистрация: 27.07.2012
Сообщений: 5,250
|
||||||
19.09.2012, 14:41 | 18 | |||||
если в лом качать boost, писать static_assert и прочее, можно поступить так:
Поэтому самое красивое решение - список типов с нужным набором типов и static_assert на проверку совпадения каждого типа в списке шаблонному параметру.
0
|
soon
|
19.09.2012, 14:43
#19
|
Не по теме:
0
|
В астрале
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
|
19.09.2012, 14:43 | 20 |
soon, Нет. Юра предлагал два класса. Различных. О специализации Юра не говорил.
1
|
19.09.2012, 14:43 | |
19.09.2012, 14:43 | |
Помогаю со студенческими работами здесь
20
Что за пустые шаблоны template <> struct/inline? Шаблоны: ошибки: requires template argument list или undeclared identifier Genfit() с ограниченными параметрами Template Toolkit шаблоны Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |