Впрочем,

— не единственный компонент STL, предъявляющий подобные требования. Все четыре стандартных адаптера (, , и ), а также все нестандартные STL-совместимые адаптеры из внешних источников (например, входящие в SGI и Boost — см. совет 50), требуют существования некоторых определений типов. Объекты функций, предоставляющие необходимые определения типов, называются адаптируемыми; при отсутствии этих определений объект называется неадаптируемым. Адаптируемые объекты функций могут использоваться в контекстах, в которых невозможно использование неадаптируемых объектов, поэтому вы должны по возможности делать свои объекты функций адаптируемыми. Адаптируемость не требует никаких затрат, но значительно упрощает использование классов функторов клиентами.

Наверное, вместо туманного выражения «некоторые определения типов» вы бы предпочли иметь точный список? Речь идет об определениях

, , и , но ситуация осложняется тем, что разные классы функторов должны предоставлять разные подмножества этих имен. Честно говоря, если вы не занимаетесь разработкой собственных адаптеров, вам вообще ничего не нужно знать об этих определениях. Как правило, определения наследуются от базового класса, а говоря точнее — от базовой структуры. Для классов функторов, у которых вызывается с одним аргументом, в качестве предка выбирается структура . Классы функторов, у которых вызывается с двумя аргументами, наследуют от структуры .

Впрочем, не совсем так.

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

Пара примеров:

В обоих случаях типы, передаваемые

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

Возможно, вы заметили, что

является классом, а является структурой. обладает внутренним состоянием (переменная ), и для инкапсуляции этих данных логично воспользоваться именно классом. состояния не имеет, поэтому и закрытые данные не нужны. Авторы классов функторов, в которых вся информация является открытой, часто объявляют структуры вместо классов — вероятно, только для того, чтобы им не приходилось вводить «» перед базовым классом и функцией . Выбор между классом и структурой при объявлении таких функторов определяется исключительно стилем программирования. Если вы еще не выработали собственного стиля и стараетесь имитировать профессионалов, учтите, что классы функторов без состояния в самой библиотеке STL (например, , и т. д.) обычно записываются в виде структур.

Вернемся к определению WidgetNameCompare:

Хотя аргументы

относятся к типу const , шаблону передается тип . Обычно при передаче или типов, не являющихся указателями, ключевые слова и знаки ссылки удаляются… только не спрашивайте, почему, — ответ на этот вопрос не интересен и не принципиален. Если вы сгораете от любопытства, напишите программу, в которой они не удаляются, и проанализируйте полученную диагностику компилятора. А если вы и после этого не утратите интерес к этой теме, посетите сайт boost.org (см. совет 50) и поищите на нем информацию об адаптерах объектов функций.

Если

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

В этом случае типы, передаваемые

, совпадают с типами, передаваемыми . Общее правило для классов функторов, получающих или возвращающих указатели, заключается в том, что или передаются в точности те типы, которые получает или возвращает .