C++ для начинающих

// ошибка: это не специализация для cplusplus_primer::min()

template SmallInt minsmallInt( SmallInt* array, int size )

{ /* ... */ }

// ...

К сожалению, этот код не работает. Явная специализация шаблона функции должна быть объявлена в том пространстве имен, где определен порождающий шаблон. Поэтому мы обязаны определить специализацию min() в пространстве cplusplus_primer. В нашей программе это можно сделать двумя способами.

Напомним, что определения пространства имен не обязательно непрерывны. Мы можем повторно открыть пространство имен cplusplus_primer для добавления специализации:

// ---- user.C ----

#include primer.h

#include "user.h"

namespace cplusplus_primer {

// специализация для cplusplus_primer::min()

template SmallInt minsmallInt( SmallInt* array, int size )

{ /* ... */ }

}

SmallInt asi[4];

int main() {

// задать значения элементов массива asi с помощью функции-члена set()

using cplusplus_primer::min; // using-объявление

int size = sizeof(asi) / sizeof(SmallInt);

// конкретизируется min(SmallInt*,int)

min( asi[0], size );

}

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

// ---- user.C ----

#include primer.h

#include "user.h"

// специализация для cplusplus_primer::min()

// имя специализации квалифицируется

namespace {

template SmallInt cplusplus_primer::

minsmallInt( SmallInt* array, int size )

{ /* ... */ }

// ...

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

Упражнение 10.15

Поместим содержимое заголовочного файла exercise.h из упражнения 10.14 в пространство имен cplusplus_primer. Как надо изменить функцию main(), чтобы она могла конкретизировать шаблон max(), находящийся в cplusplus_primer?

Упражнение 10.16

Снова обращаясь к упражнению 10.14, предположим, что содержимое заголовочного файла exercise.h помещено в пространство имен cplusplus_primer. Допустим, мы хотим специализировать шаблон функции max() для массивов объектов класса LongDouble. Нужно, чтобы специализация шаблона использовала функцию compareGreater() для сравнения двух объектов класса LongDouble, объявленную как:

// функция сравнения объектов класса LongDouble

// возвращает true, если parm1 больше parm2

bool compareGreater( const LongDouble parm1,

const LongDouble parm2 );

Определение класса LongDouble выглядит следующим образом:

class LongDouble {

public:

LongDouble(double dval) : value(ival) {}

friend bool compareGreater( const LongDouble ,

const LongDouble );

private:

double value;

};

Напишите определение функции compareGreater() и специализацию max(), в которой эта функция используется. Напишите также функцию main(), которая задает элементы массива ad, а затем вызывает специализацию max(), доставляющую его максимальный элемент. Значения, которыми инициализируется массив ad, должны быть получены чтением из стандартного ввода cin.

10.11. Пример шаблона функции

В этом разделе приводится пример, показывающий, как можно определять и использовать шаблоны функций. Здесь определяется шаблон sort(), который затем применяется для сортировки элементов массива. Сам массив представлен шаблоном класса Array (см. раздел 2.5). Таким образом, шаблоном sort() можно пользоваться для сортировки массивов элементов любого типа.