Шаблоны функций, конкретизация.

Шаблон дает алгоритм, используемый для автоматической генерации экземпляров функций с различными типами. Определение шаблона функции всегда должны начинаться с ключевого слова template, за которым следует список разделенных запятыми идентификаторов, заключенный в угловые скобки '<' и '>', – список параметров шаблона, обязательно непустой.

template <class Type>void funct(Type var){ cout << typeid(var).name() << var;}

Шаблон функции описывает, как следует строить конкретные функции, если задано множество фактических типов или значений. Процесс конструирования называется конкретизацией шаблона. Выполняется он неявно, как побочный эффект вызова или взятия адреса шаблона функции. При конкретизации (порождении конкретного экземпляра) шаблона вместо параметра-типа подставляется фактический встроенный или определенный пользователем тип.

template<>

void funct(string var){ cout << typeid(var).name() << var;}

Обработка исключений. За и против.

Обработка исключений – это механизм, позволяющий двум независимо разработанным программным компонентам взаимодействовать в аномальной ситуации, называемой исключением.

Исключения — это ошибки, возникающие во время работы программы. В C++ имеются встроенные средства для их возбуждения и обработки. Когда встречается аномальная ситуация, та часть программы, которая ее обнаружила, может сгенерировать, или возбудить, исключение.

• try (пытаться) - начало блока исключений;
• catch (поймать) - начало блока, "ловящего" исключение;
• throw (бросить) - ключевое слово, "создающее" ("возбуждающее") исключение.

void func(){ try { throw 1; } catch(int a) { cout << "Caught exception number: " << a << endl; return; } cout << "No exception detected!" << endl; return;}

Основной недостаток try/catch заключается в том, что он не позволяет отловить и обработать все ошибки, а также не показывает место возникновения ошибки.

Обобщенные алгоритмы.

Алгоритм — это функция, которая производит некоторые действия над элементами контейнера. Алгоритмы — это независимые шаблонные функции. Их можно использовать при работе как с обычными массивами C++, так и с вашими собственными классами-контейнерами.

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

• способ обхода коллекции: переход к следующему элементу и распознавание того, что достигнут конец коллекции. При работе с встроенным типом массива мы решаем эту проблему, передавая два аргумента: указатель на первый элемент и число элементов, подлежащих обходу (в случае строк символов в стиле C передавать второй аргумент необязательно, так как конец строки обозначается двоичным нулем);
• умение сравнивать каждый элемент контейнера с искомым значением. Обычно это делается с помощью оператора равенства, ассоциированного со значениями типа, или путем передачи указателя на функцию, осуществляющую сравнение;
• некоторый обобщенный тип для представления позиции элемента внутри контейнера и специального признака на случай, если элемент не найден. Обычно мы возвращаем индекс элемента либо указатель на него. В ситуации, когда поиск неудачен, возвращается –1 вместо индекса или 0 вместо указателя.

Обобщенные алгоритмы решают проблему обхода контейнера с помощью абстракции итератора – обобщенного указателя. Алгоритмы достигают независимости от типов за счет того, что никогда не обращаются к элементам контейнера непосредственно; доступ и обход элементов осуществляются только с помощью итераторов.        

Например, алгоритм find() для встроенного массива элементов типа int можно использовать так:

int search_value; int ia[ 6 ] = { 27, 210, 12, 47, 109, 83 }; cin >> search_value; int *presult = find(&ia[0], &ia[6], search_value);

Если возвращенный указатель равен адресу &ia[6] (который расположен за последним элементом массива), то поиск оказался безрезультатным, в противном случае значение найдено.

Нужно создать один вектор, включающий все элементы исходных векторов. Это делается с помощью обобщенного алгоритма copy() (для его использования необходимо включить заголовочные файлы algorithm и iterator).

Алгоритм unique() удаляет из контейнера дубликаты, расположенные рядом. Если дана последовательность 01123211, то результатом будет 012321, а не 0123.

// отсортировать вектор texts sort(texts.begin(), texts.end()); // удалить дубликаты vector<string, allocator>::iterator it; it = unique(texts.begin(), texts.end()); texts.erase(it, texts.end());