11.1.2 Перевантаження шаблонiв функцiї.

Аналогічно, як i звичайнi функцiї, функцiональнi шаблони можуть бути перевантаженi.

Приклад:

template <class T>

T getMax( T t1, T t2 )

{

return t1 > t2 ? t1 : t2;

}

template <class T>

T getMax(T t[ ], size_t size )

{

T retVal = t[0];

for( int i=0; i<size; i++ )

if ( t[i] > retVal )

retVal = t[i];

return retVal;

}

int main( void )

{

int i1 = 3;

int i2 = 5;

int iarray[ ] = { 3, 9, 5, 8 };

cout << "max int = " << getMax( i1, i2 ) << end1;

cout << "max int = "

<< getMax(iarray, sizeof(iarray)/sizeof(iarray[0]))

<< end1;

return 0;

}

11.1.3 Cпецiалiзованi функцiї шаблона.

Спецiалiзована функцiя шаблона - це звичайна функцiя, iм'я якої спiвпадає з iменем функцiї в шаблонi, але яка визначається для параметрiв специфiчних типiв. Можна визначати спецiалiзованi функцiї шаблона для випадкiв, коли узагальнений шаблон не придатний для деякого типу даних. Наприклад, функцiя шаблона getMax не може використовуватися для рядкiв (char*, char[]), оскiльки код, який генерується компiлятором, просто буде порiвнювати їх положення в пам'ятi.

Приклад:

template <class T>

T getMax( T t1, T t2 )

{

return t1 > t2 ? t1 : t2;

}

char* getMax( char* s1, char* s2 )

{

return strcmp( s1, s2 ) > 0 ? s1 : s2;

}

int main( void )

{

int i1 = 3;

int i2 = 5;

cout << "max int = " << getMax( i1, i2 ) << end1;

char *s1 = "Golden Eagle";

char *s2 = "Peligrime Falcon";

cout << "max str = " << getMax( s1, s2 ) << end1;

return 0;

}

Коли компiлятор зустрiчає виклик функції, то виконуються наступні дії:

-знаходить функцiю (не шаблонну), параметри якої вiдповiдають вказаним у виклику.

-якщо функцiя не знайдена, знаходить шаблон, з якого можна згенерувати

функцiю з точною вiдповiднiстю параметрiв.

-якщо нiякий шаблон функцiї не забезпечує точного спiвпадання, знову

розглядаються звичайнi функцiї на предмет можливого перетворення типiв.

11.2 Шаблони класів.

11.2.1 Визначення шаблонів класу

Шаблон класу дає узагальнене визначення сiмейства класiв, що використовує довiльнi типи чи константи. Шаблон визначає елементи даних та елементи-функцiї класу. Пiсля визначення шаблона класу ми можемо вказати компiлятору на необхідність генерувати на його основi новий клас для конкретного типу чи константи. Синтаксис шаблона класу має наступний вид:

template <список_аргументiв_шаблона>

class iм'я_ класу

{

// тiло класу

};

За ключовим словом template слiдує один чи декiлька аргументiв, помiщених в дужки i вiдокремлених одне вiд одного комами. Кожний аргумент є або iм'ям типу, за яким слідує iдентифiкатор, або ключовим словом class, за яким слідує iдентифiкатор типу.

Параметри шаблону, що складаються з ключового слова class та слiдуючого за ним iдентифiкатора називають параметрами типу. Вони iнформують компiлятор про те, що шаблон пропонує тип в якостi аргумента. Параметри шаблона, що складаються з iменi типу та iдентифiкатора називаються нетиповими. Вони iнформують компiлятор про те, що в якостi аргумента виступає константа.

Приклад:

const size_t defStackSize = 10;

template <class T>

class TStack

{

public:

TStack( size_t size = defStackSize )

{

numItems = 0;

items = new T[size];

}

~TStack()

delete [ ] items;

}

void push( T t );

T pop();

protected:

int numItems;

T *items;

};

template <class T>

void TStack<T>::push( T t )

{

items[numItems++] = t;

}

template <class T>

T TStack<T>::pop()

{

return items[--numItems];

}

Як бачимо з прикладу, в даному випадку визначається шаблонний клас, у якому фігурує невідомий тип даних Т. Якщо функцiя визначається як невбудована (див. приклад), то її заголовок має такий формат:

template <список_аргументiв_шаблона>

тип_результату iм'я_класу <арг_шаблона>::iм'я_функцiї (параметри...)

{

//тiло функцiї

}

Можна використовувати ключове слово inline для визначення вбудованого методу ззовнi шаблона:

template <class Type>

inline void className <Type>::methodName( int i )

{

// тiло функцiї

}