Форум программистов, компьютерный форум, киберфорум
C++
Форум программистов и сисадминов Киберфорум > Форум программистов > C/C++ > C++
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.72/29: Рейтинг темы: голосов - 29, средняя оценка - 4.72
Заблокирован
1

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

07.02.2012, 11:31. Показов 6055. Ответов 5
Метки нет (Все метки)
Author24 — интернет-сервис помощи студентам
Вопрос: каким образом можно вынести реализацию методов класса за его пределы?
Изначально вопрос формулировался так: Каким образом можно произвести специализацию одного из методов шаблона класса так, что бы эта специализация зависела только от одного (или нескольких) параметров шаблона, но не от всех?

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

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

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: недопустимое использование явных аргументов шаблона
В чем я ошибаюсь?
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
 07.02.2012, 11:31
Ответы с готовыми решениями:

Специализация шаблона для всех наследников класса
Здравствуйте, есть такой код: #include &lt;iostream&gt; #include &lt;string&gt; using namespace std; ...

Msvc2015 специализация шаблона для массива нулевого размера
здарова. по стандарту с++, массивы нулевой длины запрещены. warning: ISO C++ forbids zero-size...

Явная специализация шаблона класса и ее методы
На 93 строке явная специализация шаблона класса под char. Но я нигде не могу найти, как мне...

Специализация шаблона
Здравствуйте! Задача: Создайте шаблонную функцию maxn(), которая принимает в качестве...

5
В астрале
Эксперт С++
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
07.02.2012, 12:39 2
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 минут
Собственно создается впечатление, что такое вытворить можно только специализируя полностью и класс и функцию.
0
Заблокирован
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();  
}
0
В астрале
Эксперт С++
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
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).
1
Заблокирован
07.02.2012, 14:02  [ТС] 5
как вы так быстро находите в стандарте интересующие пункты?
0
В астрале
Эксперт С++
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
07.02.2012, 14:32 6
Bers, Вбил в поиске по документу template specialization... Открылся пункт 14.2... Ну и сидел читал, ибо было интересно, в этот пункт стандарта я не заглядывал подробно. Жестко конечно, но интересно.
1
07.02.2012, 14:32
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
 07.02.2012, 14:32
Помогаю со студенческими работами здесь

Специализация шаблона
Всем доброго вечера! Возникает непонятная ошибка при создании специализации родового класса cl. В...

специализация шаблона
Добрый день! Хотелось бы сделать шаблонную функцию, у которой будет различная реализация в...

Специализация шаблона
Пытаюсь специализировать шаблон для типа float, но не получается. В чем проблема? Компилятор:...

специализация шаблона
начал разбираться с шаблонами. если есть структура, и одна функция именно с int должна работать по...


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

Или воспользуйтесь поиском по форуму:
6
Ответ Создать тему
КиберФорум - форум программистов, компьютерный форум, программирование
Поддержать - Реклама - Обратная связь
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru