А какой тип аргумента нам указывать при инстанциировании шаблона, ведь тип лямбда-выражения является анонимным? Для этой цели мы будем использовать ключевое слово decltype, которое возвращает тип объявленной переменной (см. Листинг 42).
int capture = 10;
auto lambda = [capture](int eventID) {/*this is a body of lambda*/};
Initiator<decltype(lambda)> callbackLambda1 (lambda); // Ok, initialization in constructor
Initiator<decltype(lambda)> callbackLambda = lambda; // Ok, implicit constructor call
Initiator<decltype(lambda)> callbackLambda2; //Error: attempting to reference a deleted function
callbackLambda.setup(lambda); //Error: ‘operator’ = attempting to reference a deleted function
callbackLambda.run();
4.4.3. Исполнитель
В Листинг 43 приведены примеры реализации исполнителя для различных типов аргументов. Объявления класса CallbackConverter представлены в Листинг 27 и Листинг 28 п. 4.2.2, инициатор используется из Листинг 41 п. 4.4.2.
class Executor // (1)
{
public:
static void staticCallbackHandler(int eventID, Executor* executor) {}
void callbackHandler(int eventID) {}
void operator() (int eventID) {}
};
void ExternalHandler(int eventID, void* somePointer) {} // (2)
int main()
{
Executor executor; // (3)
int capturedValue = 0;
// (4) Pointer to the external function
using PtrExtFunc = void(*) (int, void*); // (5)
using CallbackExtFunction = CallbackConverter<PtrExtFunc, void*>; // (6)
Initiator<CallbackExtFunction> initExtFunction; // (7)
initExtFunction.setup(CallbackExtFunction(ExternalHandler, &executor)); // (8)
// (9) Pointer to the static method
using PtrStaticMethod = void(*) (int, Executor*); // (10)
using CallbacStaticMethod = CallbackConverter<PtrStaticMethod, Executor*>; // (11)
Initiator<CallbacStaticMethod> initStaticMethod; // (12)
initStaticMethod.setup(CallbacStaticMethod(Executor::staticCallbackHandler, &executor)); // (13)
// (14) Pointer to the class member method
using PtrMethod = void(Executor::*)(int); // (15)
using CallbackMemberMethod = CallbackConverter<Executor, void(Executor::*)(int)>; // (16)
Initiator<CallbackMemberMethod> initMemberMethod; // (17)
initMemberMethod.setup(CallbackMemberMethod(&executor, &Executor::callbackHandler)); // (18)
// (19) Functional object
Initiator<Executor> initFunctionObject; // (20)
initFunctionObject.setup(executor); // (21)
// (22) Lambda-expression
auto lambda = [capturedValue](int eventID) {/*Body of lambda*/}; // (23)
Initiator<decltype(lambda)> initLambda ( lambda); // (24)
}
В строке 1 объявлен класс – исполнитель, в котором определены необходимые нам типы вызовов: статический метод, метод-член, перегруженный оператор. В строке 2 объявлена внешняя функция, в строке 3 – экземпляр исполнителя.
В строке 4 показан обратный вызов через указатель на функцию. Объявлен тип указателя на функцию 5, тип функционального объекта для преобразования вызова 6, инстанциирование шаблона инициатора соответствующим типом 7, настройка инициатора 8. Запуск инициатора (метод run) не показан, чтобы не загромождать описание.
В строке 9 показан обратный вызов через указатель на статический метод класса. Похоже на предыдущий случай, только в качестве контекста используется указатель на класс. Объявлен тип указателя на статический метод 10, тип функционального объекта для преобразования вызова 11, инстанциирование инициатора соответствующего типа 12, настройка инициатора 13.
В строке 14 показан обратный вызов через указатель на метод-член класса. Объявлен тип указателя на метод 15, тип функционального объекта для преобразования вызова 16, инстанциирование инициатора соответствующим типом 17, настройка инициатора 18.
В строке 19 показан обратный вызов с помощью функционального объекта. Инстанциирование инициатора объявлено в строке 20, настройка инициатора – в строке 21.
В строке 22 показан обратный вызов с помощью лямбда-выражения. В строке 23 объявлено лямбда-выражение, которое запоминается в соответствующей переменной. В строке 24 инстанциирован инициатор типом лямбда-выражения. Инициатору в конструкторе передается переменная – объект указанного выражения.
Для случаев, когда используется преобразование вызовов (объявления 4, 9 и 14), можно использовать сокращенные объявления без использования промежуточных деклараций. Код в этом случае получается более компактным, но менее понятным (см. Листинг 44).