Cпециализация шаблона класса

Базовые

сведения

Обобщённое программирова- ние

Объявление

шаблонов

Специализированные версии шаблонов классов создаются аналогично специализации шаблонов функций. Например, рассмотрим шаблон класса, представляющего кортежи фиксированной длины:

template < typename T , size_t N > class Tuple

{

private :

T a[N ];

template < typename T , size_t N >

void Tuple <T ,N >:: set ( int i , T x) { a[i] = x; }

bool get ( int i );

void set ( int i , bool x );

};

bool Tuple < bool ,8 >:: get ( int i)

{

return (a >> i) & 1;

}

При частичной специализации фиксируется только часть фактических параметров шаблона. Например,

template < typename T > class Tuple <T ,1 >

{

private : T a;

public :

T get ( int i );

void set ( int i , T x );

};

template < typename T >

T Tuple <T ,1 >:: get ( int i) { return a; }

template < typename T >

void Tuple <T ,1 >:: set ( int i , T x) { a = x; }

Базовые

сведения

Обобщённое программирова- ние

Объявление

шаблонов

Специализация шаблонов позволяет заставить компилятор выполнить некоторые вычисления во время компиляции. Например, можно попросить компилятор вычислить факториал числа: