Обратные вызовы в C++

Управление контекстом

Рассматриваемая реализация позволяет осуществлять управление контекстом тремя способами: настройка экземпляра класса-исполнителя, настройка указателя на метод, переопределение виртуальных функций. Это приводит к интересным эффектам.

Пусть у нас будут объявления классов-исполнителей с наследованием, как показано в Листинг 12. Графически иерархия наследования изображена на Рис. 13.

Листинг 12. Классы-исполнители с наследованием

class Executor

{

public:

virtual void callbackHandler1(int eventID);

virtual void callbackHandler2(int eventID);

};

class Executor1: public Executor

{

public:

void callbackHandler1(int eventID) override;

};

class Executor2: public Executor

{

public:

void callbackHandler2(int eventID) override;

};

class Executor3: public Executor1, public Executor2

{

};

Рис.

Итак, будем назначать различные указатели на экземпляры классов и методы-члены, как показано в Листинг 13.

Листинг 13. Настройка указателей на классы и методы

int main()

{

Initiator initiator;

Executor  executor;

Executor1 executor1;

Executor2 executor2;

Executor3 executor3;

initiator.setup(&executor, &Executor::callbackHandler1);   // (1)

initiator.setup(&executor, &Executor::callbackHandler2);   // (2)

initiator.setup(&executor1, &Executor::callbackHandler1);  // (3)

initiator.setup(&executor1, &Executor::callbackHandler2);  // (4)

initiator.

initiator.setup(&executor2, &Executor::callbackHandler2);  // (6)

//initiator.setup(&executor3, &Executor::callbackHandler1); //Incorrect, base class is ambiguous  // (7)

//initiator.setup(&executor3, &Executor::callbackHandler2); //Incorrect, base class is ambiguous  // (8)

initiator.setup((Executor1*)&executor3, &Executor::callbackHandler1);  // (9)

initiator.setup((Executor1*)&executor3, &Executor::callbackHandler2);  // (10)

initiator.

initiator.setup((Executor2*)&executor3, &Executor::callbackHandler2);  // (12)

}

В строках 1 и 2 все прозрачно: какой метод назначен, такой и будет вызван.

В строке 3 мы назначаем указатель на метод Executor::callbackHandler1, но поскольку в классе Executor1 он переопределен, будет вызван метод Executor1::callbackHandler1.