Шаблонные функции

Здравствуйте. Я хочу создать 2 функции с одинаковым именем, но одна должна работать с указателями, другая с обычными данными:

Код (Text):

1. template <typename t>
2. int func(t const& value)
3. {
4.   return 1;
5. }
6.  
7. template <typename t>
8. int func(t const* value)
9. {
10.   return 2;
11. }

Но такой код всегда вызывает первую функцию..

Код (Text):

1. void main()
2. {
3.   int res = func(n); // res = 1
4.   res = func(&n); // res = 1
5. }

Как быть?

 

Код (Text):

1. template <typename t>
2. int func(t const value)
3. {
4.   return 1;
5. }
6.  
7. template <typename t>
8. int func(t const* value)
9. {
10.   return 2;
11. }

что то мне подсказывает что то что написал ты не прокатит. может так. по сути что & что * передаются как ссылки.

 

Нужно или

Код (Text):

1. template <typename t>
2. int func(t * value)
3. {
4.   return 2;
5. }

или

Код (Text):

1. const int n = 0;
2. int res = func(n); // res = 1
3. res = func(&n); // res = 1

 

template <typename t>
int func(const t& value)
{
return 1;
}

template <typename t>
int func(const t * value)
{
return 2;
}
int res = func<int>(n); // res = 1
res = func<int>(&n); // res = 1

 

компилятор какой?

added:

template <typename t>
int func(t* value)
{
return 2;
}

не заметил пост с решением Velheart

 

Использовать перегруженные функции?

 

Спасибо. Заработало, вот только не понятна суть проблемы. Кто-нибудь может объяснить?

 

Ещё такой вопрос. Можно как-то различить простые типы (int, char, short, unsigned int, float, double и т.п) с классами и структурами? Я хочу написать несколько реализаций одной функции, типа

Код (Text):

1. template <typename t>
2. int func(t const& value)
3. {
4.   // если t - класс или структура, то
5.   return value.method();
6.  
7.   // если t - целочисленный тип или вещественный, то
8.   return 1;
9. }
10.  
11. template <typename t>
12. int func(t* value)
13. {
14.   // если t - класс или структура, то
15.   return value->method();
16.  
17.   // если t - целочисленный тип или вещественный, то
18.   return 2;
19. }

 

Вот так можно с бустом:

http://codepad.org/yMqTCMvp

 

2010 студия на код в нулевом посте выдаёт:

Код (Text):

1. const int n = 0;
2. int res = func(n); // res = 1
3. res = func(&n); // res = 2

 

С помощью всего доступного арсенала(характеристик, перегрузки, специализации). У Александреску описано, в loki реализовано.

 

Да, я там неправильно написал. Если писать без конста

Код (Text):

1. int n = 0;

то

Код (Text):

1. int res = func(n); // res = 1
2. res = func(&n); // res = 1

 

Ну так это другое дело, смотрите:

Код (Text):

1. #include <iostream>
2.  
3. template <typename t>
4. int func(t const& value)
5. {
6.     std::cout<<typeid(t).name()<<std::endl;
7.     return 1;
8. }
9.  
10. template <typename t>
11. int func(t const* value)
12. {
13.     std::cout<<typeid(t).name()<<std::endl;
14.     return 2;
15. }
16.  
17. void main()
18. {
19.     int n = 0;
20.     int res = func(n); // res = 1
21.     res = func(&n); // res = 1
22. }

В данном случае у компилятора есть выбор между указателем на константу и ссылкой на константный указатель и он делает выбор в пользу второго, что по-моему вполне логично.

З.Ы. Хотя это скорее логично со стороны компилятора, а не человека. Но такова природа C++. ^)

 

cupuyc
для каждого простого типа перегрузить функцию, шаблон для всего остального. Или наоборот, смотря каких типов будет больше.

 

ant_man, вот этим гемором я и не хотел заниматься - писать с десяток реализаций. Я сделал is_ariphmetic и написал 2 реализации шаблонного класса: один для is_ariphmetic<> = false, другой - для true. Хотя, тоже не совсем изящно получилось. Лучше, конечно, если бы существовала возможность частичной инициализации шаблонных функций.

 

cupuyc

Код (Text):

1. template <typename t>
2. int func(t const& value, std::false_type)
3. {
4.   return 1;
5. }
6.  
7. template <typename t>
8. int func(t const* value, std::true_type)
9. {
10.   return 2;
11. }
12.  
13. template <typename t>
14. int func(t value)
15. {
16.     return func(value, std::is_pointer<t>());
17. }