Версия для печати темы Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > специализация шаблона для списка типов

Автор: Alek86 18.2.2008, 18:28

есть шаблон (ну, к примеру, функции) Код 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

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

Автор: Alek86 18.2.2008, 18:51

наверное, условие не то. ща сподправим-с: Код 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

В данном случае проще копировать - было бы о чем говорить. Если код заметно длиннее, то так: Код 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

да, наверное надо было сразу общный вопрос а в случае с шаблонными классами?

Автор: maxim1000 18.2.2008, 19:30

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

Автор: Alek86 18.2.2008, 19:55

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

Автор: maxim1000 18.2.2008, 22:16

Цитата(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(); }

Автор: Alek86 19.2.2008, 11:53

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

Автор: _stranger_ 19.2.2008, 12:23

Цитата(Alek86 @  18.2.2008,  18:28 ) есть шаблон (ну, к примеру, функции) и нужно сделать 2 специализации (для int и для char) кстати есть мнение что специализировать шаблон функции не есть гуд... вместо этого необходимо использовать перегрузку шаблона функции... аргументируется это тем что специализации шаблона функции никогда не учавствуют в перегрузке...

Автор: Alek86 19.2.2008, 12:47

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

Автор: maxim1000 19.2.2008, 15:47

Цитата(Alek86 @  19.2.2008,  11:53 ) если куча нужных конструкторов в A и B в смысле? классы пустые, оптимизатор наверняка выкинет вообще всё, что можно

Автор: Alek86 19.2.2008, 16:14

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

Автор: maxim1000 19.2.2008, 17:49

Цитата(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(); }

Автор: Alek86 19.2.2008, 18:00

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

Автор: Alek86 20.2.2008, 10:51

не без помощи одолел проблему: Код enum TypeIs {Vacuous, InMultitude1, InMultitude2}; template <class T> struct Condition {   enum {     Value =     Condition1<T>::Right ? InMultitude1 : // sizeof(T) == 1     Condition2<T>::Right ? InMultitude2 : // sizeof(T) == 2     Vacuous     }; }; template <class T> struct Condition1 {   enum {     Right =     (sizeof(T) == 1) ? true : false   }; }; template <class T> struct Condition2 {   enum {     Right =     (sizeof(T) == 2) ? true : false     }; }; template <class T, TypeIs = static_cast<TypeIs>(Condition<T>::Value)> struct MainClass {   enum {Value = 0}; }; template <class T> struct MainClass<T, InMultitude1> {   enum {Value = 10}; }; template <class T> struct MainClass<T, InMultitude2> {   enum {Value = 20}; }; 1. int main () {   std::cout << "char  " << MainClass<char>::Value  << std::endl; // sizeof(T) == 1 => 10   std::cout << "int   " << MainClass<int>::Value   << std::endl; // sizeof(T) == 4 => 0   std::cout << "short " << MainClass<short>::Value << std::endl; // sizeof(T) == 2 => 20 }; на MVS 2005 пашет и правильно осталась пара вопросов 1. это по стандарту такое поведение, что если в Код template <class T, TypeIs = static_cast<TypeIs>(Condition<T>::Value)> Код static_cast<TypeIs>(Condition<T>::Value) возвращает InMultitude1, то даже несмотря на то, что компилятор уже начал, фактически, подставлять главный шаблон, он все равно еще раз пробегает по всем специализациям и находит Код template <class T> struct MainClass<T, InMultitude1> {   enum {Value = 10}; }; ? 2. как-то можно избавиться в этом случае от статик каста в Код static_cast<TypeIs>(Condition<T>::Value) ?

Автор: _stranger_ 20.2.2008, 11:32

Мне кажется проблемма не до конца решена, вот например посмотри подставляем long и double Код   std::cout << "char  " << MainClass<char>::Value  << std::endl; // sizeof(T) == 1 => 10   std::cout << "int   " << MainClass<int>::Value   << std::endl; // sizeof(T) == 4 => 0   std::cout << "short " << MainClass<short>::Value << std::endl; // sizeof(T) == 2 => 20   std::cout << "long  " << MainClass<long>::Value  << std::endl;  //sizeof(T) == 4 => 0 вот тут тип не определен   std::cout << "double  " << MainClass<double>::Value  << std::endl; //sizeof(T) == 8 => 0 и тут я вот так пытался решить эту проблему с помощью списков типов, но тоже проблема до конца не решена: Код class NullType{}; template <class T,class U> struct TypeList {     typedef T Head;     typedef U Tail; }; #define TYPELIST_1(T1)  TypeList<T1,NullType> #define TYPELIST_2(T1,T2) TypeList<T1,TYPELIST_1(T2)> template <class T> void func(T& ptr) {     std::cout << "func" << std::endl; } template <class T> void funcIntChar(T& ptr) {     std::cout << "funcIntChar" << std::endl; } template <class TList,class T> class Wrapper {     typedef typename TList::Head Head;     typedef typename TList::Tail Tail; public:     enum {value = (sizeof(Head) == sizeof(T))? 1:Wrapper<Tail,T>::value};     void operator()(T temp)     {         if(value)         {             funcIntChar(temp);         }         else         {             func(temp);         }     } }; template <class T> class Wrapper<NullType,T> { public:     enum {value = 0}; }; int main () {     double x = 5.5;     Wrapper<TYPELIST_2(int,char),double> Temp; //применение     Temp(x); }

Автор: Alek86 20.2.2008, 11:40

Код std::cout << "char  " << MainClass<char>::Value  << std::endl; // sizeof(T) == 1 => 10   std::cout << "int   " << MainClass<int>::Value   << std::endl; // sizeof(T) == 4 => 0   std::cout << "short " << MainClass<short>::Value << std::endl; // sizeof(T) == 2 => 20   std::cout << "long  " << MainClass<long>::Value  << std::endl;  //sizeof(T) == 4 => 0 вот тут тип определен   std::cout << "double  " << MainClass<double>::Value  << std::endl; //sizeof(T) == 8 => 0 и тут у меня выводится все, как я ожидал для sizeof(T) == 1          выводится 10 для sizeof(T) == 2          выводится 20 для остальных случаев выводится  0 sizeof тут чисто для проверки работы. вместо Код (sizeof(T) == N)  можно подставить любое условие времени компиляции (и принадлежность к списку типов тоже)

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)