Paskaitų konspektai - Matematikos ir Informatikos fakultetas ...

Šablonas gali tur÷ti parametrus su reikšm÷mis pagal nutyl÷jimą:
Pvz., apsirašykime bendrą simbolių palyginimo klas÷s šabloną, parametrizuojamą
simbolio tipu:
template class Comparator
{
public:
static bool equal (T a, T b) {return T == T;}
static bool less (T a, T b) {return T < T;}
};
Jį galime panaudoti, kaip parametrą pagal nutyl÷jimą kitame šablone - funkcijoje
compare. Atkreipkime d÷mesį, kad žemiau esantys tekstinių eilučių šablonai naudoja
simbolio tipo parametrą T. Čia tam atvejui, jei mums reik÷s vieno baito simbolių
(char) eilučių arba dviejų baitų simbolių (wchar_t) eilučių:
template
int compare (const String& a, const String& b) {...}
Tuomet funkciją compare galime naudoti keliais būdais:
int result1 = compare(str1, str2); // Comparator
int result2 = compare(str1, str2); // Comparator
int result3 = compare(str1, str2);
Pavyzdžiui, standartin÷je bibliotekoje, kuomet naudojami įvairių tipų elementų
konteineriai, naudojamas šablono parametras allocator, atsakingas už naujų
elementų išskyrimą ir sunaikinimą. Pagal nutyl÷jimą jis realizuotas operatorių new ir
delete pagalba.
Šablonus galima specializuoti:
Pvz., turint steko šabloną su elemento tipo parametru T, galime apsirašyti jo
specializaciją, kuomet parametras yra rodykl÷ į T. Arba galime pateikti jo
efektyvesnę specializaciją konkrečiam tipui, kai T yra kažkoks MyType:
template class Stack {...}; // bedras visiems
template class Stack {...}; // specializacija tipui
// MyType
Specializuoti galima ir funkcijų šablonus.
Klas÷s nariai-šablonai:
Klas÷s-šablono nevirtualūs metodai patys savo ruožtu gali būti metodai-šablonai su
papildomu nuosavu šablono parametru:
131