Форум программистов, компьютерный форум CyberForum.ru

C++

Войти
Регистрация
Восстановить пароль
 
Рейтинг: Рейтинг темы: голосов - 25, средняя оценка - 4.80
Bers
Заблокирован
#1

шаблонные методы шаблона. Специализация. - C++

07.02.2012, 11:31. Просмотров 3257. Ответов 5
Метки нет (Все метки)

Вопрос: каким образом можно вынести реализацию методов класса за его пределы?
Изначально вопрос формулировался так: Каким образом можно произвести специализацию одного из методов шаблона класса так, что бы эта специализация зависела только от одного (или нескольких) параметров шаблона, но не от всех?

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

Однако, ответ на этот вопрос был найден. Ниже представленный код этот момент иллюстрирует:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
struct SEmpty;
 
template<int ID, class tK, class tR>
class TTest
{
private:
    template<int IDS> int WorkEx();
    template<> int WorkEx<0>() { std::cout<<"0\n"; return 0; }
    template<> int WorkEx<1>() { std::cout<<"1\n"; return 0; }
private:
    template<int IDS, class tKK> int WorkEx1();
    template<> int WorkEx1<0, SEmpty>() 
                                 { std::cout<<"0, empty\n"; return 0; }
public: 
    int Work()  { return WorkEx<ID>();      }
    int Work1() { return WorkEx1<ID, tK>(); }
};
 
int main()
{
    TTest<0,SEmpty,int>test;  
    test.Work();   //вывод: 0
    test.Work1();  //вывод: 0, empty
}
Способ заключается в том, что бы делегировать вызов другому шаблонному методу, который можно специализировать целиком.

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

Вопрос: каким образом можно вынести реализацию методов класса за его пределы?

Вообще, всегда думал, что правильно - сначала пишется шапка класса-владельца, потом пишется шапка шаблонного метода. Использовал такой способ:

C++
1
2
3
4
5
template<int ID, class tK, class tR>
    template<> 
        int TTest<ID, tK,tR>::WorkEx<0>() 
                     { std::cout<<"0\n"; return 0; }
//: error C2768: TTest<ID,tK,tR>::WorkEx: недопустимое использование явных аргументов шаблона
В чем я ошибаюсь?
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
07.02.2012, 11:31     шаблонные методы шаблона. Специализация.
Посмотрите здесь:

Частичная специализация шаблона C++
C++ Специализация шаблона
C++ Специализация шаблона класса
C++ специализация шаблона функции
C++ специализация шаблона
Явная специализация шаблона C++
Специализация шаблона C++
C++ Специализация операции шаблона
Явная специализация шаблона C++
C++ Специализация шаблона
Явная специализация шаблона C++
Явная специализация шаблона класса и ее методы C++

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
ForEveR
Модератор
Эксперт С++
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
07.02.2012, 12:39     шаблонные методы шаблона. Специализация. #2
Bers, Вышепреведенный код у меня тупо не компилируется.

Добавлено через 29 секунд
http://liveworkspace.org/code/735750...9246ac42de4760

Добавлено через 8 минут
Пока смог выродить только такое (=
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#include <iostream>
 
template<class T>
class Cl
{
public:
   template<int ID> void function();
};
 
template<>
template<>
void Cl<int>::function<0>()
{
}
 
template<>
template<>
void Cl<int>::function<1>()
{
}
 
int main()
{
   Cl<int> c;
}
Добавлено через 5 минут
Собственно создается впечатление, что такое вытворить можно только специализируя полностью и класс и функцию.
Bers
Заблокирован
07.02.2012, 12:39  [ТС]     шаблонные методы шаблона. Специализация. #3
Я компилировал в 2008 студии.
На самом деле я уже нашёл приемлемое решение проблемы. Но все равно интересно - почему, если студия позволяет специализировать шаблонный мембер внутри класса, она никак не хочет делать этого снаружи? Или может быть я просто не знаю, как правильно...

Ну а что касается gcc (онлайн компилятор же он? ) то... надо полагать, либо он не очень хорошо соотносится со стандартом, либо студия в этом отношении, лучше выполняет стандарт (или наоборот, в очередной раз забила болт). Как на самом деле я понятия не имею...

Хотелось бы конечно пролить свет на эту ситуацию.

Если интересно - ниже представленный код, хоть и является суть "обходной путь", но так же имитирует "частичную специализацию мембера"

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
struct SEmpty{}; 
 
template<int ID, class tK, class tR> struct TBase     
{ static int Work() { std::cout<<"ID\n";      return 0; } };
 
template<class tK, class tR> struct TBase<0, tK, tR>  
{ static int Work() { std::cout<<"0\n";       return 0; } };
 
template<class tR> struct TBase<0, SEmpty, tR>        
{ static int Work() { std::cout<<"0 empty\n"; return 0; } };
 
template<int ID, class tK, class tR>
class TTest: TBase<ID, tK, tR>
{
public: 
    int Work();
};
template<int ID, class tK, class tR>  
    int TTest<ID, tK,tR>::Work(){ return TBase<ID, tK, tR>::Work(); }
 
int main()
{
    TTest<1, SEmpty, int>test1; test1.Work();  
    TTest<0, int, int>   test2; test2.Work();  
    TTest<0, SEmpty, int>test3; test3.Work();  
}
ForEveR
Модератор
Эксперт С++
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
07.02.2012, 13:24     шаблонные методы шаблона. Специализация. #4
14
A member or a member template of a class template may be explicitly specialized for a given implicit
instantiation of the class template, even if the member or member template is defined in the class template
definition. An explicit specialization of a member or member template is specified using the syntax for
explicit specialization. [ Example:
template<class T> struct A {
void f(T);
template<class X1> void g1(T, X1);
template<class X2> void g2(T, X2);
void h(T) { }
};
// specialization
template<> void A<int>::f(int);
// out of class member template definition
template<class T> template<class X1> void A<T>::g1(T, X1) { }
// member template specialization
template<> template<class X1> void A<int>::g1(int, X1);
//member template specialization
template<> template<>
void A<int>::g1(int, char);
template<> template<>
void A<int>::g2<char>(int, char);
// X1 deduced as char
// X2 specified as char
// member specialization even if defined in class definition
template<> void A<int>::h(int) { }
— end example ]
15
A member or a member template may be nested within many enclosing class templates. In an explicit
specialization for such a member, the member declaration shall be preceded by a template<> for each
enclosing class template that is explicitly specialized. [ Example:
template<class T1> class A {
template<class T2> class B {
void mf();
};
};
template<> template<> class A<int>::B<double>;
template<> template<> void A<char>::B<char>::mf();
— end example ]
16
N3242=11-0012
In an explicit specialization declaration for a member of a class template or a member template that ap-
pears in namespace scope, the member template and some of its enclosing class templates may remain
unspecialized, except that the declaration shall not explicitly specialize a class member template if its en-
closing class templates are not explicitly specialized as well. In such explicit specialization declaration, the
keyword template followed by a template-parameter-list shall be provided instead of the template<> pre-
ceding the explicit specialization declaration of the member. The types of the template-parameters in the
template-parameter-list shall be the same as those specified in the primary template definition. [ Example:
template <class T1> class A {
template<class T2> class B {
template<class T3> void mf1(T3);
void mf2();
};
};
template <> template <class X>
class A<int>::B {
template <class T> void mf1(T);
};
template <> template <> template<class T>
void A<int>::B<double>::mf1(T t) { }
template <class Y> template <>
void A<Y>::B<double>::mf2() { }
// ill-formed; B<double> is specialized but
// its enclosing class template A is not
— end example ]
14.7.3 нового стандарта.

Добавлено через 11 минут
На тему поддержки стандарта. gcc все делает верно. А вот MSVC не поддерживает данный пункт.

2 An explicit specialization shall be declared in a namespace enclosing the specialized template. An explicit
specialization whose declarator-id is not qualified shall be declared in the nearest enclosing namespace of
the template, or, if the namespace is inline (7.3.1), any namespace from its enclosing namespace set. Such a
declaration may also be a definition. If the declaration is not a definition, the specialization may be defined
later (7.3.1.2).
Bers
Заблокирован
07.02.2012, 14:02  [ТС]     шаблонные методы шаблона. Специализация. #5
как вы так быстро находите в стандарте интересующие пункты?
ForEveR
Модератор
Эксперт С++
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
07.02.2012, 14:32     шаблонные методы шаблона. Специализация. #6
Bers, Вбил в поиске по документу template specialization... Открылся пункт 14.2... Ну и сидел читал, ибо было интересно, в этот пункт стандарта я не заглядывал подробно. Жестко конечно, но интересно.
Yandex
Объявления
07.02.2012, 14:32     шаблонные методы шаблона. Специализация.
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru