Читал Страуструпа, много думал, но не все понял.
Явная специализация нужна для задания поведения шаблонной функции специфичного для переданных параметров, так? Причем функция выводится по параметрам.
Допустим, я хочу написать шаблонную функцию сравнения и реализовать две специализации. Одну принимающие сами объекты, а другую — указатели на объекты.
То есть, идея такая:
template<class T> bool cmp(T a, T b) {
cout << "General template function called" << endl;
return (a<b);
}
template<class T> bool cmp(const T* a, const T* b) {
cout << "Pointer template function called" << endl;
return (*a<*b);
}
int j=5, i=7;
cmp(g, j);
cmp(&g, &j);
Разумеется, ничего не выходит — оба раза вызывается первая функция. Как-то можно вызвать требуемую? Или я вообще ничего не понял вовсе?
Спасибо.
Здравствуйте, UGN, Вы писали:
UGN>Здравствуйте, Аноним, Вы писали:
А>>template<> А>>bool cmp<int*>(int* a, int* b) А>>{ А>> cout << "Pointer template function called" << endl; А>> return (*a<*b); А>>}
UGN>И так для каждого типа?
UGN>ЗЫ: Как же это все-таки сделать?
Так что хочется то?
Вообще для pointers, или для конкретного типа?
Если вообще для Pointers, то достаточно из оригинального примера убрать const
Здравствуйте, e-Xecutor, Вы писали:
EX>Так что хочется то? EX>Вообще для pointers, или для конкретного типа?
Что хочется Vamp, я не знаю. А мне теперь хочется для указателей вообще.
Я тут тоже читаю 13 главу. Только опытов еще не ставил.
EX>Если вообще для Pointers, то достаточно из оригинального примера убрать const
Пробовал?
VC7 жалуется на неоднозначность.
Здравствуйте, UGN, Вы писали:
UGN>Здравствуйте, e-Xecutor, Вы писали:
EX>>Так что хочется то? EX>>Вообще для pointers, или для конкретного типа? UGN>Что хочется Vamp, я не знаю. А мне теперь хочется для указателей вообще. UGN>Я тут тоже читаю 13 главу. Только опытов еще не ставил.
EX>>Если вообще для Pointers, то достаточно из оригинального примера убрать const UGN>Пробовал? UGN>VC7 жалуется на неоднозначность.
#include <iostream>
using namespace std;
template<class T>
bool cmp(const T& a, const T& b)
{
cout << "General template function called" << endl;
return (a<b);
}
template<class T>
bool cmp(T* a, T* b)
{
cout << "Pointer template function called" << endl;
return (*a<*b);
}
void main()
{
int j=5, i=7;
cmp(i, j);
cmp(&i, &j);
const int a=1,b=2;
cmp(a,b);
cmp(&a,&b);
}
нормально компиляется и работает.
Но! Для const указателей и просто указателей сгенерятся две разные функции
Здравствуйте, UGN, Вы писали:
UGN>Здравствуйте, e-Xecutor, Вы писали:
EX>>Но! Для const указателей и просто указателей сгенерятся две разные функции
UGN>Да это понятно. Я у себя const сразу убрал...
UGN>Твой вариант у меня не работает... (VC7)
Попробовал:
vc7 от VS.NET 2003 13.10.3077
icl 7.1 7.1 Build 20030307Z
bcc32 5.6
везде компиляется и работает так как надо.
UGN>То ли лыжи не едут...
UGN>Кстати, мне бы хотелось видеть первый шаблон в форме
UGN>
UGN>template<class T> bool cmp( T a, T b)
UGN>а не как у тебя
UGN>template<class T> bool cmp(const T& a, const T& b)
UGN>
Ну... на здоровье
И так тоже компиляется и работает.
Только в твоём случае если T!= pod type может получится нехорошо...
Конст — не конст дела не меняет. Специализировать для каждого типа (инт, флоат, ...) — совершенно не хочется. Идея именно такая, как ее понял UGN. Написать две реализации, одна из которых будет работать с самим объектом, а вторая с указателем на него.
Здравствуйте, e-Xecutor, Вы писали:
UGN>>Кстати, мне бы хотелось видеть первый шаблон в форме
UGN>>
UGN>>template<class T> bool cmp( T a, T b)
UGN>>а не как у тебя
UGN>>template<class T> bool cmp(const T& a, const T& b)
UGN>>
EX>Ну... на здоровье EX>И так тоже компиляется и работает.
EX>Только в твоём случае если T!= pod type может получится нехорошо...
Как раз для этого был придуман boost::reference_wrapper<>.
#include <boost/ref.hpp>
template<class T> bool cmp( T a, T b);
struct some {};
void f()
{
some a, b;
cmp(boost::ref(a), boost::ref(b)); // накормим шаблон ссылками
}
template<class T>
bool cmp(const T& a, const T& b)
{
cout << "General template function called" << endl;
return (a<b);
}
template<class T>
bool cmp(T* a, T* b )
{
cout << "Pointer template function called" << endl;
return (*a<*b);
}
int g=5, i=7;
cmp(g, i);
cmp(&g, &i);
Работает именно так, как хотелось. А если вставить в сиганатуру второй функции const, не работает. Разве const в данном случае не запрещает просто изменять значение переменной через указатель, одновременно разрешая передавать адреса константных объектов?
