Задание свойств класса

Одним из методов использования шаблонов является уточнение поведения с помощью дополнительных параметров шаблона. Предположим, мы пишем функцию сортировки вектора:

template <class T>

void sort_vector(vector<T>& vec)

{

for (int i = 0; i < vec.size() -1; i++)

for (int j = i; j < vec.size(); j++) {

if (vec[i] < vec[j]) {

T tmp = vec[i];

vec[i] = vec[j];

vec[j] = tmp;

}

}

}

Эта функция будет хорошо работать с числами, но если мы захотим использовать ее для массива указателей на строки (char*), то результат будет несколько неожиданный. Сортировка будет выполняться не по значению строк, а по их адресам (операция "меньше" для двух указателей – это сравнение значений этих указателей, т.е. адресов величин, на которые они указывают, а не самих величин). Чтобы исправить данный недостаток, добавим к шаблону второй параметр:

template <class T, class Compare>

void sort_vector(vector<T>& vec)

{

for (int i = 0; i < vec.size() -1; i++)

for (int j = i; j < vec.size(); j++) {

if (Compare::less(vec[i], vec[j])) {

T tmp = vec[i];

vec[i] = vec[j];

vec[j] = tmp;

}

}

}

Класс Compare должен реализовывать статическую функцию less, сравнивающую два значения типа T. Для целых чисел этот класс может выглядеть следующим образом:

class CompareInt

{

static bool less(int a, int b)

{ return a < b; };

};

Сортировка вектора будет выглядеть так:

vector<int> vec;

sort_vector<int, CompareInt>(vec);

Для указателей на байт (строк) можно создать класс

class CompareCharStr

{

static bool less(char* a, char* b)

{ return strcmp(a,b) >= 0; }

};

и, соответственно, сортировать с помощью вызова

vector<char*> svec;

sort_vector<char*, CompareCharStr>(svec);

Как легко заметить, для всех типов, для которых операция "меньше" имеет нужный нам смысл, можно написать шаблон класса сравнения:

template<class T> Compare

{

static bool less(T a, T b)

{ return a < b; };

};

и использовать его в сортировке (обратите внимание на пробел между закрывающимися угловыми скобками в параметрах шаблона; если его не поставить, компилятор спутает две скобки с операцией сдвига):

vector<double> dvec;

sort_vector<double, Compare<double> >(dvec);

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

template <class T, class C = Compare<T> >

void sort_vector(vector<T>& vec)

{

for (int i = 0; i < vec.size() -1; i++)

for (int j = i; j < vec.size(); j++) {

if (C::less(vec[i], vec[j])) {

T tmp = vec[i];

vec[i] = vec[j];

vec[j] = tmp;

}

}

}

Второй параметр шаблона иногда называют параметром-штрих, поскольку он лишь модифицирует поведение класса, который манипулирует типом, определяемым первым параметром.

33. Порядок выполнения работы.

1. При домашней подготовке необходимо изучить литературу по теме лабораторной работы.

2. Получить задание у преподавателя.

3. Разработать алгоритм решения задачи и написать программу, реализующую задание.

4. Проверить правильность ее работы.

5. Составить отчет и защитить работу.