Бьерн Страуструп. Язык программирования С++ Второе дополненное издание



Pdf көрінісі
бет157/256
Дата11.07.2022
өлшемі2,87 Mb.
#37591
1   ...   153   154   155   156   157   158   159   160   ...   256
Байланысты:
Бьерн Страуструп. Язык программирования С . М Бином, 2011

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


Бьерн Страуструп.
Язык программирования С++ 
 
216 
8.4.1 Простой шаблон типа для глобальной функции 
Начнем с простейшего шаблона для sort(): 
template void sort(Vector&); 
void f(Vector& vi, 
Vector
vc, 
Vector
vi2, 
Vector
vs) 

sort(vi);
// sort(Vector& v); 
sort(vc);
// sort(Vector& v); 
sort(vi2); 
// sort(Vector& v); 
sort(vs);
// sort(Vector& v); 

Какая именно функция sort() будет вызываться определяется фактическим параметром. Программист 
дает определение шаблона типа для функции, а задача системы программирования обеспечить 
создание правильных вариантов функции по шаблону и вызов соответствующего варианта. Например, 
простой шаблон с алгоритмом пузырьковой сортировки можно определить так: 
template void sort(Vector& v) 
/* 
Сортировка элементов в порядке возрастания 
Используется сортировка по методу пузырька 
*/ 

unsigned n = v.size(); 
for (int i=0; ifor (int j=n-1; iif (v[j] < v[j-
1]) { // меняем местами v[j] и v[j-1] 

temp 

v[j]; 
v[j] 

v[j-1]; 
v[j-1] 

temp; 


Советуем сравнить это определение с функцией сортировки с тем же алгоритмом из $$4.6.9. 
Существенное отличие этого варианта в том, что вся необходимая информация передается в 
единственном параметре v. Поскольку тип сортируемых элементов известен (из типа фактического 
параметра, можно непосредственно сравнивать элементы, а не передавать указатель на производящую 
сравнение функцию. Кроме того, нет нужды возиться с операцией sizeof. Такое решение кажется более 
красивым и к тому же оно более эффективно, чем обычное. Все же оно сталкивается с трудностью. Для 
некоторых типов операция < не определена, а для других, например char*, ее определение 
противоречит тому, что требуется в приведенном определении шаблонной функции. (Действительно, 
нам нужно сравнивать не указатели на строки, а сами строки). В первом случае попытка создать 
вариант sort() для таких типов закончится неудачей (на что и следует надеяться) , а во втором 
появиться функция, производящая неожиданный результат. 
Чтобы правильно сортировать вектор из элементов char* мы можем просто задать самостоятельно 
подходящее определение функции 
sort(Vector&): 
void sort(Vector& v) 

unsigned n = v.size(); 
for (int i=0; ifor ( int j=n-1; iif 
(strcmp(v[j],v[j-1])<0) 

// меняем местами v[j] и v[j-1] 
char* 
temp 

v[j]; 
v[j] 

v[j-1]; 


Бьерн Страуструп.
Язык программирования С++ 
 
217 
v[j-1] 

temp; 


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


Достарыңызбен бөлісу:
1   ...   153   154   155   156   157   158   159   160   ...   256




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет