Бьерн Страуструп. Язык программирования С++
жүктеу/скачать 3.27 Mb.
|
- Бұл бет үшін навигация:
- 8.4.1 Простой шаблон типа для глобальной функции
- 8.4.2 Производные классы позволяют ввести новые операции
8.4 Шаблоны типа для функцийИспользование шаблонных классов означает наличие шаблонных функций-членов. Помимо этого, можно определить глобальные шаблонные функции, т.е. шаблоны типа для функций, не являющихся членами класса. Шаблон типа для функций порождает семейство функций точно также, как шаблон типа для класса порождает семейство классов. Эту возможность мы обсудим на последовательности примеров, в которых приводятся варианты функции сортировки sort(). Каждый из вариантов в последующих разделах будет иллюстрировать общий метод. Как обычно мы сосредоточимся на организации программы, а не на разработке ее алгоритма, поэтому использоваться будет тривиальный алгоритм. Все варианты шаблона типа для sort() нужны для того, чтобы показать возможности языка м полезные приемы программирования. Варианты не упорядочены в соответствии с тем, насколько они хороши. Кроме того, можно обсудить и традиционные варианты без шаблонов типа, в частности, передачу указателя на функцию, производящую сравнение. 8.4.1 Простой шаблон типа для глобальной функцииНачнем с простейшего шаблона для sort(): template void f(Vector Vector Vector Vector { sort(vi); // sort(Vector sort(vc); // sort(Vector sort(vi2); // sort(Vector sort(vs); // sort(Vector }
параметром. Программист дает определение шаблона типа для функции, а задача системы программирования обеспечить создание правильных вариантов функции по шаблону и вызов соответствующего варианта. Например, простой шаблон с алгоритмом пузырьковой сортировки можно определить так:
/* Сортировка элементов в порядке возрастания Используется сортировка по методу пузырька */ { unsigned n = v.size(); for (int i=0; i for (int j=n-1; i if (v[j] < v[j-1]) { // меняем местами v[j] и v[j-1]
T temp = v[j]; v[j] = v[j-1];
v[j-1] = temp; }
}
что вся необходимая информация передается в единственном параметре v. Поскольку тип сортируемых элементов известен (из типа фактического параметра, можно непосредственно сравнивать элементы, а не передавать указатель на производящую сравнение функцию. Кроме того, нет нужды возиться с операцией sizeof. Такое решение кажется более красивым и к тому же оно более эффективно, чем обычное. Все же оно сталкивается с трудностью. Для некоторых типов операция < не определена, а для других, например char*, ее определение противоречит тому, что требуется в приведенном определении шаблонной функции. (Действительно, нам нужно сравнивать не указатели на строки, а сами строки). В первом случае попытка создать вариант sort() для таких типов закончится неудачей (на что и следует надеяться) , а во втором появиться функция, производящая неожиданный результат. Чтобы правильно сортировать вектор из элементов char* мы можем просто задать самостоятельно подходящее определение функции sort(Vector { unsigned n = v.size(); for (int i=0; i for ( int j=n-1; i if (strcmp(v[j],v[j-1])<0) {
// меняем местами v[j] и v[j-1] char* temp = v[j];
v[j] = v[j-1]; v[j-1] = temp;
}
} свое особое определение функции sort(), оно и будет использоваться, а создавать для нее определение по шаблону с параметром типа Vector "необычных" типов свое определение шаблонной функции дает ценное качество гибкости в программировании и может быть важным средством доведения программы до оптимальных характеристик.
В предыдущем разделе функция сравнения была "встроенной" в теле sort() (просто использовалась операция <). Возможно другое решение, когда ее предоставляет сам шаблонный класс Vector. Однако, такое решение имеет смысл только при условии, что для типов элементов возможно осмысленное понятие сравнения. Обычно в такой ситуации функцию sort() определяют только для векторов, на которых определена операция < : template { unsigned n = v.size(); for (int i=0; i for (int j=n-1; i if (v.lessthan(v[j],v[j-1])) {
// меняем местами v[j] и v[j-1] T temp = v[j];
v[j] = v[j-1]; v[j-1] = temp;
}
} : public Vector public: SortableVector(int s) : Vector }; Чтобы это определение имело смысл еще надо определить шаблонный класс Comparator (сравниватель): template public:
inline static lessthan(T& a, T& b) // функция "меньше" { return strcmp(a,b)<0; } // ... };
не тот результат для типа char*, мы определим специальный вариант класса сравнивателя: class Comparator public:
inline static lessthan(const char* a, const char* b) // функция "меньше" { return strcmp(a,b)<0; } // ...
}; Описание специального варианта шаблонного класса для char* полностью подобно тому, как в предыдущем разделе мы определили специальный вариант шаблонной функции для этой же цели. Чтобы описание специального варианта шаблонного класса сработало, транслятор должен обнаружить его до использования. Иначе будет использоваться создаваемый по шаблону класс. Поскольку класс должен иметь в точности одно определение в программе, использовать и специальный вариант класса, и вариант, создаваемый по шаблону, будет ошибкой. Поскольку у нас уже специальный вариант класса Comparator для char*, специальный вариант класса SortableVector для char* не нужен, и можем, наконец, попробовать сортировку:
SortableVector SortableVector SortableVector { sort(vi); sort(vc); sort(vi2); sort(vs); }
мере, SortableVector является производным от Vector. Значит если в функции не нужна сортировка, то в ней и не надо знать о классе SortableVector, а там, где нужно, сработает неявное преобразование ссылки на производный класс в ссылку на общий базовый класс. Мы ввели производный от Vector и Comparator класс SortableVector (вместо того, чтобы добавить функции к классу, производному от одного Vector) просто потому, что класс Comparator уже напрашивался в предыдущим примере. Такой подход типичен при создании больших библиотек. Класс Comparator естественный кандидат для библиотеки, поскольку в нем можно указать различные требования к операциям сравнения для разных типов.
жүктеу/скачать 3.27 Mb. Достарыңызбен бөлісу:
|