Стенли Липпман - Язык программирования C++. Пятое издание

// Action - тип, способный указывать на функцию-член класса Screen,

// возвращающую тип char и получающую два аргумента типа pos

using Action =

char (Screen::*)(Screen::pos, Screen::pos) const;

Action— это другое имя для типа "указатель на константную функцию-член класса Screen, получающую два параметра типа posи возвращающую тип char". Используя этот псевдоним, можно упростить определение указателя на функцию get()следующим образом:

Action get = &Screen::get; // get указывает на член get() класса Screen

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

// action() получает ссылку на класс Screen и указатель на его

// функцию-член

Screen& action(Screen&, Action = &Screen::get);

Функция action()получает два параметра, которые являются ссылками на объект класса Screen, и указатель на функцию-член класса Screen, получающую два параметра типа posи возвращающую тип char. Функцию action()можно вызвать, передав ей указатель или адрес соответствующей функции-члена класса Screen:

Screen myScreen;

// эквивалентные вызовы:

action(myScreen); // использует аргумент по умолчанию

action(myScreen, get); // использует предварительно определенную

// переменную get

action(myScreen, &Screen::get); // передает адрес явно

Псевдонимы типа облегчают чтение и написание кода, использующего указатели.

Как правило, перед использованием указатели на функции и указатели на функции-члены хранят в таблице функций (см. раздел 14.8.3). Когда у класса есть несколько членов того же типа, такая таблица применяется для выбора одного из набора этих членов. Предположим, что класс Screen дополнен несколькими функциями-членами, каждая из которых перемещает курсор в определенном направлении:

class Screen {

public:

// другие члены интерфейса и реализации, как прежде

Screen& home(); // функции перемещения курсора

Screen& forward();

Screen& back();

Screen& up();

Screen& down();

};

Каждая из этих новых функций не получает никаких параметров и возвращает ссылку на вызвавший ее объект класса Screen.

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

class Screen {

public:

// другие члены интерфейса и реализации, как прежде

// Action - указатель, который может быть присвоен любой из

// функций-членов перемещения курсора

using Action = Screen&(Screen::*)();

// задать направление перемещения;

// перечисления описаны в разделе 19.3

enum Directions { HOME, FORWARD, BACK, UP, DOWN };

Screen& move(Directions);

private:

static Action Menu[]; // таблица функций

};

Массив Menuсодержит указатели на каждую из функций перемещения курсора. Эти функции будут храниться со смещениями, соответствующими перечислителям перечисления Directions. Функция move()получает перечислитель и вызывает соответствующую функцию:

Screen& Screen::move(Directions cm) {

// запустить элемент по индексу cm для объекта this

return (this->*Menu[cm])(); // Menu[cm] указывает на функцию-член

}

Вызов move()обрабатывается следующим образом: выбирается элемент массива Menuпо индексу cm. Этот элемент является указателем на функцию-член класса Screen. Происходит вызов функции-члена, на которую указывает этот элемент от имени объекта, на который указывает указатель this.

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

Screen myScreen;

myScreen.move(Screen::HOME); // вызывает myScreen.home