5498 / 4893 / 831
Регистрация: 04.06.2011
Сообщений: 13,587
|
||||||
1 | ||||||
Почему не срабатывает специализация шаблона?03.09.2011, 09:48. Показов 1731. Ответов 15
Метки нет (Все метки)
0
|
03.09.2011, 09:48 | |
Ответы с готовыми решениями:
15
Почему не создается специализация шаблона функции Специализация шаблона для char * (рабочий код, но непонятно почему) Специализация шаблона Специализация шаблона |
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
|
03.09.2011, 09:57 | 2 |
Для таких случаев лучше использовать не специализацию, а перегрузку.
0
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
|
03.09.2011, 15:27 | 4 |
Сообщение было отмечено как решение
Решение
3
|
5498 / 4893 / 831
Регистрация: 04.06.2011
Сообщений: 13,587
|
|
03.09.2011, 17:47 [ТС] | 5 |
0
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
|
03.09.2011, 18:11 | 6 |
Что во фразе "используй перегрузку вместо специализации" не понятно? Сказано же, при специализации функций перегрузка не определена, т.е. как компилятор пожелает, так и будет.
Кстати, при использовании шаблонных классов такой проблемы уже нет.
0
|
5498 / 4893 / 831
Регистрация: 04.06.2011
Сообщений: 13,587
|
|
03.09.2011, 19:36 [ТС] | 8 |
Kastaneda, благодарю.
Добавлено через 41 минуту Deviaphan, я сейчас читаю книгу: "Стивен Прата. Язык программирования С++. Лекции и упражнения. Учебник. Пер.с англ. (2005)." Там на стр. 365 есть пример кода (листинг 8.11), как специализация перекрывает шаблон. Отчего и вопрос возник.
0
|
2381 / 1665 / 279
Регистрация: 29.05.2011
Сообщений: 3,399
|
|
03.09.2011, 20:06 | 9 |
alsav22, ну там же наверняка не было примеров со ссылками? Максимум указатели.
0
|
5498 / 4893 / 831
Регистрация: 04.06.2011
Сообщений: 13,587
|
|
03.09.2011, 20:59 [ТС] | 10 |
Написал, стал сравнивать мой код с тем, что в книге, и увидел, что там шаблон по другому задан. Мне кажется, что у меня в коде шаблон и специализация не стыкуются. Если задать шаблон так: template <class any> any& funk3(any &x, any &y);, а специализацию так: template <> box& funk3<box>(box &x, box &y);, то всё работает. Если же шаблон такой: template <class any> any funk3(any x, any y);, то специализация: template <> box funk3<box>(box x, box y);.
0
|
2381 / 1665 / 279
Регистрация: 29.05.2011
Сообщений: 3,399
|
|
03.09.2011, 21:06 | 11 |
Они не то, чтобы не стыкуются. Тогда бы компилятор возмутился. Просто непонятно, с чего бы тип box должен сопоставляться ссылке на него, если в шаблоне можно получить просто box, который в точности соответствует типу аргумента. В случае же специализации типом box вместо ссылки получается точное соответствие.
1
|
2381 / 1665 / 279
Регистрация: 29.05.2011
Сообщений: 3,399
|
|
03.09.2011, 21:12 | 13 |
Да, я недостаточно точно выразился. Я имел в виду, что не было специализации ссылочным типом, то есть <SomeType &>
0
|
5498 / 4893 / 831
Регистрация: 04.06.2011
Сообщений: 13,587
|
||||||
03.09.2011, 21:33 [ТС] | 14 | |||||
Это понятно. Но почему тогда, если передавать в качестве аргументов не box, а ссылку на box, что точно соответствует специализации, то она всё равно не срабатывает? Если добавить:
0
|
2381 / 1665 / 279
Регистрация: 29.05.2011
Сообщений: 3,399
|
||||||
03.09.2011, 21:50 | 15 | |||||
И правильно делает. st_p это просто синоним st, с точно такими же свойствами. Единственный известный мне способ, заставить шаблонную функцию принимать переменные по ссылке (если ссылка не указана явно в прототипе) это явно указать аргумент шаблона, то есть funk3<box&>()
Добавлено через 10 минут В качестве примера, можно рассмотреть такой код:
1
|
5498 / 4893 / 831
Регистрация: 04.06.2011
Сообщений: 13,587
|
|
03.09.2011, 22:50 [ТС] | 16 |
Благодарю!
0
|
03.09.2011, 22:50 | |
03.09.2011, 22:50 | |
Помогаю со студенческими работами здесь
16
специализация шаблона специализация шаблона Специализация шаблона Специализация шаблона Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |