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

@Bers · 07.02.2012, 11:31. **Показов** 6526. **Ответов** 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: недопустимое использование явных аргументов шаблона

В чем я ошибаюсь?

@ForEveR · 07.02.2012, 12:39

Bers, Вышепреведенный код у меня тупо не компилируется.

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

Добавлено через 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 **[ТС]**

Я компилировал в 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 · 07.02.2012, 13:24

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 **[ТС]**

как вы так быстро находите в стандарте интересующие пункты?

@ForEveR · 07.02.2012, 14:32

Bers, Вбил в поиске по документу template specialization... Открылся пункт 14.2... Ну и сидел читал, ибо было интересно, в этот пункт стандарта я не заглядывал подробно. Жестко конечно, но интересно.

Новые блоги и статьи Все статьи Все блоги /
Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20%	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .	Использование значений реквизитов справочника в документе, с определенными условиями и правами Maks 07.04.2026 1. Контроль срока действия договора Алгоритм из решения ниже реализован на примере нетипового документа "ЗаявкаНаРаботу", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если. . .
Доступность команды формы по условию Maks 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .	Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .

@Bers Заблокирован
	07.02.2012, 14:02 [ТС]
	как вы так быстро находите в стандарте интересующие пункты? 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	07.02.2012, 14:32
	Bers, Вбил в поиске по документу template specialization... Открылся пункт 14.2... Ну и сидел читал, ибо было интересно, в этот пункт стандарта я не заглядывал подробно. Жестко конечно, но интересно. 1