1

Я заинтересовался вопросом явной специализации шаблона функции. Например нужна функция обменом значений переданных аргументов. Если простые типы, структуры и классы, то все пойдет под шаблон - передаю в качестве фактических параметров ссылки на обменяемые объекты и меняю их. Но, если массив или С-строка, то так не пойдет и я решил использовать явную спецификацию(знаю, что можно перегрузку, но хочу со всеми путями разобраться) и передавать указатель на массив, что бы обменять их содержимое. Вот так. Но так не работает, почему? Вот пример прототипов:

template <typename T> void Exchanging(T&, T&); //template

template <> void Exchanging <int*> (int*, int*); //specialization

Возможно есть правила типизации аргументов явно специализированной функции по отношению к шаблонной?

1
  • 1
    У вас спецификация отличается. В шаблоне вы принимаете T& где T выводится как int*, а в спецификации просто T
    – Arenoros
    17 мар 2020 в 19:26

1 ответ 1

2

Ну вы же сказали, что передавать можно только ссылки. Так и специализируйте соответственно:

template <> void Exchanging (int*&, int*&)
{
    ...
}
4
  • То есть, если в шаблоне тип ссылка, то и в спецификации должна быть ссылка? Нельзя например в шаблоне тип - указатель, а в спецификации простой тип (значение)? Должно быть соответствие типов между шаблоном и спецификацией?
    – Danny
    17 мар 2020 в 19:50
  • Да, вы объявили Exchanging, как шаблон функции, которая принимает две ссылки любого типа и ничего не возвращает. Специализация функции должна выражать то же, только уже для конкретного типа. В ответе специализирован вариант сint* 17 мар 2020 в 20:32
  • Спасибо за ответ!
    – Danny
    17 мар 2020 в 20:40
  • Здесь "спасибо за ответ" выражается в нажатии птички слева от него...
    – Harry
    18 мар 2020 в 3:45

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.