Здравствуйте.
Можно ли в шаблонных функциях вызывать не шаблонные функции, работающие с параметрами конкретных типов?
По логике - нельзя, так как компилятор создает копии шаблонной функции при компиляции и, естественно, ругается. Есть ли способ это обойти?
Вот наглядный пример:

Можно. Почему нельзя?

В данном примере value должно быть типа string, string &, иначе будет ошибка компиляции. Сами подумайте: компилятор ничего не проверяет и передает в stringF то, что вы сунули в шаблонную функцию.

Если же вам нужно сделать шаблонные функции для определенных типов аргументов, то тоже можно.
http://en.cppreference.com/w/cpp/types/enable_if

можно.


следить за соблюдением conversion должен ты сам.

задачу объясни более развернуто.

Объясняю задачу более развернуто:

Есть шаблонная функция, в примере представлена как:



Она принимает параметры: 
1. Над которым будет производиться операция. (в примере Anytype value)
2. Параметр, контролирующий, какая именно операция будет производиться (в примере это bool b, в реальной программе я использую перечисление)
По идее, при вызове шаблонной функции, я контролирую conversion за счет передачи кроме типа Anytype, еще и управляющего параметра, но при компилляции нарываюсь на invalid conversion. Не знаю, как это обойти.
Если есть необходимость, могу привести блок кода из реальной программы

C std::enable_if, который предложил Randajad, я не знаком. Мне кажется, что это именно то, что нужно.

Это сообщение отредактировал(а) Zerstroer - 26.6.2012, 13:45

специализация в помощь - http://liveworkspace.org/code/2083d4c60654...346db847d7f2929

borisbn,  

Добавлено через 9 минут и 56 секунд
borisbn, ага... Понятно, это получается не особая шаблонная   магия  , а частная реализация шаблона для конкретного типа? Правильно? И это чревато тем, что будет написано по дополнительной реализации шаблонной функции для каждого "проблемного" типа?

  


  

обычно делают именно как я тебе показал - всё общее для всех типов выносят в некую общую функцию (xxx_common или xxx_helper), а в специализации для конкретного типа делают свои черные дела и вызывают эту общую функцию

borisbn, вообще, приведенное вами решение мне нравится, но у меня есть опасения, что в моем случае, в рабочей программе, оно не совсем уместно по причине того, что слишком объемная шаблонная функция, к тому же внутри неё вызываются другие шаблонные функции.
Вот код из рабочей программы:

Мне неудобно будет распиливать это на две шаблонных функции. 

Нахожусь в процессе ознакомления с std::enable_if, предложенным Randajad, она since C++11, надеюсь, получится скомпилировать в gcc 4.4.

Это сообщение отредактировал(а) Zerstroer - 26.6.2012, 14:51

А что мешает gcc обновить? 
4.8 на дворе.

Randajad, не подскажете, как с помощью std::enable_if выполнить проверку на принадлежность типа к std::string?

borisbn, в моей рабочей программе шаблон использовался как метод класса. Сейчас пробую, согласно вашему совету определить частный случай шаблона. При компилляции получаю ошибку:

В классе нельзя определять 2 шаблонных метода с одинаковым именем?

Это сообщение отредактировал(а) Zerstroer - 26.6.2012, 16:16

так: http://en.cppreference.com/w/cpp/types/enable_if

Наблудил с синтаксисом частной реализации метода.
Сперва хотел, как в примере borisbnа:

Компилятор ругнулся. В итоге шаблонный метод переопределил таким образом:



Добавлено через 2 минуты и 26 секунд

Или мне не по глазам, или там все таки нету проверки на принадлежность к string.
Там в первую очередь смотрел - не нашел.

можно использовать параметры шаблона по-умолчанию
http://liveworkspace.org/code/f34fa82a7fad...f9eaae0283471fe


для этого есть http://en.cppreference.com/w/cpp/types/is_same

Как раз именно так я и поступил.

Каюсь is_same упустил из внимания.

С использованием частной реализации шаблонного метода у меня все получилось. Пробую с использованием enable_if.