ции, не связанной с набором. Здесь в действие вступает сцепление, реализованное в классе Functor. По мере того как пользователь вводит все новые и новые символы, создаются все новые и новые функторы. Таким образом, возникает возможность выполнить последовательность нажатий клавиш как одну операцию.

Функция-член Document: :lnsertchar, по существу, заталкивает функтор в стек отката. Когда пользователь выбирает пункт меню Undo, этот функтор должен быть выполнен и затолкнут в стек повтора операций.

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

5.15. Резюме

Использовать хорошие библиотеки на языке С++ намного легче, чем создавать. С другой стороны, разрабатывать библиотеки очень интересно. Оглядываясь на детали описанных выше реализаций, можно извлечь несколько уроков, касающихся создания обобщенных профамм.

Создавайте гибкие шаблонные типы. Сфемитесь на все смофеть с максимально общей точки зрения. Классы FunctorHandl ег и MemFunHandl ег приобрели много преимуществ, благодаря тому, что в них используются шаблоны. Указатели на функции предоставляют большую свободу. По сравнению с их функциональными возможностями получающийся код имеет удивительно небольшой размер. Все эти выгоды достигаются благодаря использованию шаблонов и тому, что компилятору предоставлено право самому выводить типы, когда это возможно.

Обобщенное профаммирование способствует созданию семантики первого класса (см. примечание в начале главы. - Прим. ред.). Было бы крайне зафуднительно оперировать исключительно указателями на класс Functorlmpl. Представьте себе, как в этих условиях реализуются связывание и сцепление.

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

В двух словах, класс Functor задерживает вызов функции, функтора или функции-члена. Он сохраняет вызываемый объект и предоставляет для его вызова оператор О. Ниже приведено краткое описание этого класса.

5.16. Краткое описание класса Functor

Класс Functor является шаблонным и позволяет выражать вызовы функций, имеющих до 15 аргументов. Первым шаблонным парамефом является тип возвращаемого значения, вторым - список типов, содержащий типы парамефов функции. Третий шаблонный парамеф задает потоковую модель, которая используется механизмом распределения памяти, применяемым в классе Functor. Подробная информация о списках классов приведена в главе 3, о потоковой модели - в приложении, о механизме распределения памяти для небольших объектов - в главе 4.

Объект класса Functor можно инициализировать функцией, функтором, другим объектом класса Functor или указателем на объект и указателем на метод, как показано в приведенном ниже примере.

void Function(int) struct SomeFunctor

void operatorOCint);

truct SomeClass

void MemberFunction(int);

void exampleО

инициализируем класс Functor функцией Functor<void, TYPELlST l(int)> cmdl(Function); инициализируем класс Functor функтором SomeFunctor fn;

Functor<void, TYPELlST l(int)> cmd2(fn);

инициализируем класс Functor указателем на объект

и указателем на функцию-член

SomeClass myobject;

Functor<void, TYPELlST l(int)> cmd3(&myObject,

&SomeClass:rMemberFunction); инициализируем класс Functor другим объектом класса Functor (копирование) Functor<void, TYPELlST l(int)> cmd4(cmd3);

Объект класса Functor можно инициализировать объектом класса std::auto ptr< Functorimpl<r, TList> >. Это позволяет создавать расширения, определенные пользователем.

Класс Functor поддерживает автоматические преобразования типов аргументов и возвращаемых значений. Например, в предыдущем примере функции-члены SomeFunctor::operatorO и SomeClass::MemberFunction могут получать аргументы типа double вместо аргументов типа int.

При перегрузке функций-членов следует создавать дополнительный код для устранения неоднозначности.

Класс Functor полностью поддерживает семантику первого класса: копирование, присваивание и передачу по значению. Класс Functor не является ни полиморфным, ни базовым. Если нужно расширить класс Functor, в качестве базового следует применять класс Functorlmpl.

Класс Functor поддерживает связывание аргументов. Вызов шаблонной функции BindFirst связывает первый аргумент с фиксированным значением. В результате возникает параметризованный класс Functor, параметрами которого являются остальные аргументы. Рассмотрим пример.

void f()

определяем класс Functor с тремя аргументами Functor<void, TYPELiST 3(int, int, double)> cmdl(

someEntity); Связываем первый аргумент с числом 10 Functor<void, TYPELlST 2(int, double)> cmd2(

BindFirst(cmdl, 10);

Эквивалентно вызову cmdlClO, 20, 5.6) cmd2C20, 5.6)

Используя функцию chain, в одном объекте класса Functor можно сцепить несколько объектов этого класса.

void fO {

Functoro cmdlCsomething);

Functoro cmd2CsomethingElse);

Сцепливаем объекты cmdl и cmd2 в контейнер

Functoro cmd3(chain(cmdl, cmd2));

Эквивалентно cmdlQ; cmd2C);

ctndBQ;

Затраты, связанные с использованием простых объектов класса Functor, состоят из одной переадресации (вызова через указатель). При каждом связывании или сцепливании возникает один дополнительный виртуальный вызов. Параметры копируются только при необходимости преобразования типов.

Шаблонный класс Functorlmpl использует механизм распределения памяти для небольших объектов, описанный в главе 4.