VPF::специализация шаблона для списка типов

Alek86

Дата 18.2.2008, 18:28 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

есть шаблон (ну, к примеру, функции)

Код


template<class T>
void func (const T& t) {/*realization 1*/}

и нужно сделать 2 специализации (для int и для char)

Код


template<>
void func<int> (const T& t) {/*realization 2*/}

template<class T>
void func<char> (const T& t) {/*realization 2*/}

но тут оказалось, что специализации абсолютно идентичны (потому обе и называются realization 2). Есть ли какой хитрый механизм, который позволяет в этом случае избавиться от копипаста?

--------------------

Earnest

Дата 18.2.2008, 18:44 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 5962
Регистрация: 17.6.2005
Где: Рязань

Репутация: 53
Всего: 183

Реализуй в не-темплэйтной функции и вызови ее из обеих реализаций.

--------------------

...

Alek86

Дата 18.2.2008, 18:51 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

наверное, условие не то. ща сподправим-с:

Код


template<class T>
bool equal (const T& t1, const T& t2) {
  return !(t1 < t2 || t1 < t2);
}

template<>
bool equal<int> (const int& i1, const int& i2) {
  return t1 == t2;
}

template<class T>
bool equal<char> (const char& c1, const char& c2) {
  return t1 == t2;
}

как в таком случае поступить?
(желательно пообщей рецепт, а не только для этого случая подходящий)

--------------------

Earnest

Дата 18.2.2008, 18:58 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 5962
Регистрация: 17.6.2005
Где: Рязань

Репутация: 53
Всего: 183

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

Код


template <class T> bool simple_equal (const T& lhs, const T& rhs)
{
   return lhs == rhs;
}

template<>
bool equal<int> (const int& i1, const int& i2) 
{
   return simple_equal<int>(i1, i2);
}

--------------------

...

Alek86

Дата 18.2.2008, 19:01 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

да, наверное надо было сразу общный вопрос

а в случае с шаблонными классами?

--------------------

maxim1000

Дата 18.2.2008, 19:30 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник
Сообщений: 3334
Регистрация: 11.1.2003
Где: Киев

Репутация: 17
Всего: 110

ну если усилия себя окупят, то можно попробовать повозиться со списками типов, описанными у Александреску
тогда можно будет написать шаблончик, который возьмёт на вход список типов и тип, для которого строится специализация функции, потом определит, входит ли этот тип в список, и, в зависимости от результата, вызовет одну из двух функций

P.S.
конечно же, можно обобщить на несколько списков типов с соответствующими реализациями + одну для всех остальных типов

--------------------

qqq

Alek86

Дата 18.2.2008, 19:55 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

я примерно то и думал... думал, есть готовое

есть же шаблоны, что говорят, является ли тип наследником другого. с этим можно многое совершить, имхо )

--------------------

maxim1000

Дата 18.2.2008, 22:16 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник
Сообщений: 3334
Регистрация: 11.1.2003
Где: Киев

Репутация: 17
Всего: 110

Цитата(Alek86 @ 18.2.2008, 19:55

)

есть же шаблоны, что говорят, является ли тип наследником другого. с этим можно многое совершить, имхо )

кстати, с наследованием тоже можно поиграться:

Код


struct A
{
  void func() {/*реализация1*/}
};
struct B
{
  void func() {/*реализация2*/}
};

template<typename T> struct qqq:public A {};
template<> struct qqq<int>:public B {};
template<> struct qqq<char>:public B {};
и т.д.

template<typename T>void func()
{
  qqq<T>().func();
}

Это сообщение отредактировал(а) maxim1000 - 18.2.2008, 22:18

--------------------

qqq

Alek86

Дата 19.2.2008, 11:53 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

нельзя
если куча нужных конструкторов в A и B

--------------------

_stranger_

Дата 19.2.2008, 12:23 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 52
Регистрация: 3.10.2006
Где: город-герой Киев

Репутация: 2
Всего: 2

Цитата(Alek86 @ 18.2.2008, 18:28

)

есть шаблон (ну, к примеру, функции)

и нужно сделать 2 специализации (для int и для char)

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

Alek86

Дата 19.2.2008, 12:47 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

спасибо за информацию - но вопрос не о том smile

--------------------

maxim1000

Дата 19.2.2008, 15:47 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник
Сообщений: 3334
Регистрация: 11.1.2003
Где: Киев

Репутация: 17
Всего: 110

Цитата(Alek86 @ 19.2.2008, 11:53

)

если куча нужных конструкторов в A и B

в смысле?
классы пустые, оптимизатор наверняка выкинет вообще всё, что можно

--------------------

qqq

Alek86

Дата 19.2.2008, 16:14 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

а, тьфу не так код прочел...
это еще один вариант перегрузки функций?

если да, то что насчет перегрузки классов? тут наследование не пройдет

--------------------

maxim1000

Дата 19.2.2008, 17:49 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник
Сообщений: 3334
Регистрация: 11.1.2003
Где: Киев

Репутация: 17
Всего: 110

Цитата(Alek86 @ 19.2.2008, 16:14

)

это еще один вариант перегрузки функций?

ну можно и так сказать

Цитата(Alek86 @ 19.2.2008, 16:14

)

если да, то что насчет перегрузки классов? тут наследование не пройдет

в смысле выбор класса в зависимости от наличия/отсутствия в списке?

можно вместо объявления func делать typedef:

Код


struct A
{
  typedef ClassA type;
};
struct B
{
  typedef ClassB type;
};
template<typename T> struct qqq:public A {};
template<> struct qqq<int>:public B {};
template<> struct qqq<char>:public B {};
и т.д.
...
template<typename T>void anotherFunc()
{
  qqq<T>::type x;
  x.Work();
}

--------------------

qqq

Alek86

Дата 19.2.2008, 18:00 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

блин, хреновасто я вопрос этот задал...

думал, что можно перегружать для классов классов (гы-гы), подходящих под какое-то опреленное условие

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

то есть примерно то, что ты, maxim1000, в послежднем посте написал, только более автоматизированно

ЗЫ. справедливости ради нужно сказать, что и до того я чето не допетрил :(

--------------------

1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »