Виталий Ткаченко - Обратные вызовы в C++

template

class DynamicDistributor

{

/**********************……**********************************/

template // (1)

void operator()(CallbackReturn callbackReturn, ArgumentList… arguments)

{

for (auto& callObject : callObjects)

{

callbackReturn(callObject(arguments…)); // (2)

}

}

private:

std::list< std::function > callObjects;

};

Реализация совпадает с Листинг 82 п. 5.6.1, только добавляется еще один перегруженный оператор. Его шаблон объявлен строке 1, параметром шаблона является тип аргумента, через который будет выполняться обратный вызов. В строке 2 происходит вызов объекта, результат возвращается через аргумент, переданный как входной параметр функции.

Пример распределения вызовов для динамического набора получателей приведен в Листинг 83.

struct FO

{

int operator() (int eventID) { return 10; }

int callbackHandler(int eventID) { return 100; }

};

int ExternalHandler(int eventID)

{

return 0;

}

int main()

{

int eventID = 0;

FO fo;

auto lambda = [](int eventID) { return 0; };

auto binding = std::bind(&FO::callbackHandler, fo, std::placeholders::_1);

DynamicDistributor distributor; // (1)

distributor.addCallObject(fo); // (2)

distributor.addCallObject(ExternalHandler); // (3)

distributor.addCallObject(binding); // (4)

distributor.addCallObject(lambda); // (5)

distributor(eventID); // (6)

auto onReturnValue = [](int callResult) {}; // (7)

distributor(onReturnValue, eventID); // (8)

}

В строке 1 инстанциирован класс распределителя с заданной сигнатурой функции. В строке 2, 3, 4, 5 в распределитель добавляются объекты вызова различного типа. В строке 6 запускается распределение вызовов, в результате которого будут вызваны добавленные объекты. В строке 7 объявлено лямбда-выражение для получения результатов, при вызове соответствующего оператора 8 это выражение будет вызвано для каждого возвращаемого значения.

Касательно модификации содержимого контейнера наш распределитель поддерживает только одну операцию – добавление получателя. Ни удаление, ни модификация получателей не поддерживается. Это связано с тем, что получатели не идентифицированы, и поэтому невозможно узнать, в каком элементе контейнера хранится соответствующий объект вызова 33 33 Справедливости надо отметить, что идентификация получателей все-таки возможна. Для этого можно использовать, например, итератор контейнера либо указатель на объект std::function, либо, например, динамически присваивать объекту контейнера какое-нибудь значение. Однако это было бы плохим решением в силу целого ряда причин: 1) нарушается важнейший принцип проектирования – разделение интерфейса и реализации. Мы жестко завязываемся на структуру хранения объектов вызовов, поэтому архитектура получается монолитной; 2) идентификаторы объектов не несут никакой смысловой нагрузки, это просто некие абстрактные значения; 3) идентификаторы не детерминированы, при добавлении объекта в контейнер идентификатор получит произвольное значение; 4) идентификаторам объектов невозможно назначить заранее заданные значения; 5) в силу вышеуказанных причин невозможно реализовать логические протоколы обмена. . Далее мы рассмотрим, как можно решить указанную проблему.

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

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

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