Бьерн Страуструп. Язык программирования С++
Передача операций как параметров функций
жүктеу/скачать 3.27 Mb.
|
- Бұл бет үшін навигация:
- 8.4.4 Неявная передача операций
- 8.4.5 Введение операций с помощью параметров шаблонного класса
8.4.3 Передача операций как параметров функцийМожно не задавать функцию сравнения как часть типа Vector, а передавать ее как второй параметр функции sort(). Этот параметр является объектом класса, в котором определена реализация операции сравнения:
{ unsigned n = v.size(); for (int i = 0; i for ( int j = n-1; i if (cmp.lessthan(v[j],v[j-1])) {
// меняем местами v[j] и v[j-1] T temp = v[j];
v[j] = v[j-1]; v[j-1] = temp;
}
} когда операция сравнения передается как указатель на функцию. Воспользоваться этим можно так:
Vector Vector Vector { Comparator Comparator Comparator sort(vi,ci); // sort(Vector sort(vc,cc); // sort(Vector sort(vi2,ci); // sort(Vector sort(vs,cs); // sort(Vector }
гарантирует, что функция lessthan будет реализовываться подстановкой. В частности, это полезно, если в шаблонной функции используется несколько функций, а не одна операция сравнения, и особенно это полезно, когда эти функции зависят от хранящихся в том же объекте данных.
8.4.4 Неявная передача операцийВ примере из предыдущего раздела объекты Comparator на самом деле никак не использовались в вычислениях. Это просто "искусственные" параметры, нужные для правильного контроля типов. Введение таких параметров достаточно общий и полезный прием, хотя и не слишком красивый. Однако, если объект используется только для передачи операции (как и было в нашем случае), т.е. в вызываемой функции не используется ни значение, ни адрес объекта, то можно вместо этого передавать операцию неявно:
{ unsigned n = v.size(); for (int i=0; i for (int j=n-1; i if (Comparator // меняем местами v[j] и v[j-1] T temp = v[j];
v[j] = v[j-1]; v[j-1] = temp;
}
} sort():
Vector Vector Vector {
sort(vc); // sort(Vector sort(vi2); // sort(Vector sort(vs); // sort(Vector }
сравнению с исходным вариантом в том, что часть программы, занятая собственно сортировкой, отделена от частей, в которых находятся такие операции, работающие с элементами, как, например lessthan. Необходимость подобного разделения растет с ростом программы, и особенный интерес это разделение представляет при проектировании библиотек. Здесь создатель библиотеки не может знать типы параметров шаблона, а пользователи не знают (или не хотят знать) специфику используемых в шаблоне алгоритмов. В частности, если бы в функции sort() использовался более сложный, оптимизированный и рассчитанный на коммерческое применение алгоритм, пользователь не очень бы стремился написать свою особую версию для типа char*, как это было сделано в $$8.4.1. Хотя реализация класса Comparator для специального случая char* тривиальна и может использоваться и в других ситуациях.
Возможны ситуации, когда неявность связи между шаблонной функцией sort() и шаблонным классом Comparator создает трудности. Неявную связь легко упустить из виду и в то же время разобраться в ней может быть непросто. Кроме того, поскольку эта связь "встроена" в функцию sort(), невозможно использовать эту функцию для сортировки векторов одного типа, если операция сравнения рассчитана на другой тип (см. упражнение 3 в $$8.9). Поместив функцию sort() в класс, мы можем явно задавать связь с классом Comparator:
public:
static void sort(Vector };
использовать typedef в шаблоне Comparator:
public:
typedef T T; // определение Comparator static int lessthan(T& a, T& b) { return a < b; } // ... }; В специальном варианте для указателей на строки это определение выглядит так: class Comparator public:
typedef char* T; static int lessthan(T a, T b) { return strcmp(a,b) < 0; } // ... }; После этих изменений можно убрать параметр, задающий тип элемента, из класса Sort: template public:
static void sort(Vector };
void f(Vector Vector Vector Vector { Sort< int,Comparator Sort< String,Comparator Sort< int,Comparator Sort< char*,Comparator }
template void Sort { for (int i=0; i if (Comp::lessthan(v[j],v[j-1])) { T temp = v[j];
v[j] = v[j-1]; v[j-1] = temp;
}
} программу отдельные ее части. Этот пример можно еще больше упростить, если использовать класс сравнителя (Comp) в качестве единственного параметра шаблона. В этом случае в определениях класса Sort и функции Sort::sort() тип элемента будет обозначаться как Comp::T.
жүктеу/скачать 3.27 Mb. Достарыңызбен бөлісу:
|