Ошибка «лямбда не получена из 'std::function'
Я пытаюсь передать лямбда в std::function<>, определенный с помощью вариативного шаблона, но кажется, что это не работает на gcc.
Есть ли причина, по которой этот код не работает в gcc 7.4.0, но корректно работает в Visual Studio 2017? И есть ли способ заставить его работать также на gcc без необходимости сначала вручную преобразовывать его в std::function<>?
#include <functional>
template<class ...TParams>
int TestFunction(std::function<void(TParams...)> )
{
return 0;
}
void Test()
{
auto fce = [](int /*n*/, double /*d*/) {};
//This doesn't work with error no matching function for call to 'TestFunction<int, double>(Test()::<lambda(int, double)>&)'
TestFunction<int, double>(fce);
//but this works correctly
std::function<void(int, double)> fce2 = fce;
TestFunction<int, double>(fce2);
}
Я получаю следующую ошибку:
main.cpp: In function 'void Test()':
main.cpp:116:31: error: no matching function for call to 'TestFunction<int, double>(Test()::<lambda(int, double)>&)'
TestFunction<int, double>(fce);
^
main.cpp:106:5: note: candidate: template<class ... TParams> int TestFunction(std::function<void(TParams ...)>)
int TestFunction(std::function<void(TParams...)> fceCallback)
^~~~~~~~~~~~
main.cpp:106:5: note: template argument deduction/substitution failed:
main.cpp:116:31: note: 'Test()::<lambda(int, double)>' is not derived from 'std::function<void(TParams ...)>'
TestFunction<int, double>(fce);
^
Ответы 1
Замыкающий пакет параметров шаблона всегда оставляет место для дальнейшего вывода. Указание первых двух аргументов не мешает вам сделать что-то вроде этого:
std::function<void(int, double, char)> fce3 ;
TestFunction<int, double>(fce3);
В этом случае пакет будет содержать int, double, char, потому что char был выведен из аргумента функции. Теперь, поскольку дедукция еще не закончена, а лямбда не является std::function, подстановка не удалась.
Чтобы это работало, вам нужно сообщить процессу вывода, что он закончен, что требуется конкретизированная функция сейчас, до того, как ей будет передан аргумент. Один из способов сделать это — взять адрес функции, например:
auto pfunc = TestFunction<int, double>;
pfunc(fce);
или
(&TestFunction<int, double>)(fce);
Взятие адреса шаблона функции — это еще один контекст, в котором может происходить вывод аргумента шаблона. В этом случае завершающий пакет выводится как пустой, и вы получаете указатель на функцию, которую вы можете вызвать.
Интересно, спасибо за объяснение. К сожалению, auto pfunc или &TestFunction не являются идеальным решением. TestFunction — это только тестовый пример, в моем реальном приложении у меня есть класс (MessageBroker), в котором я хотел зарегистрировать различные типы обратных вызовов, которые могли получать разное количество параметров и типов (MessageBroker.RegisterCallback<int,double>(msgType,function ) Нет ли способа немедленно создать экземпляр функции?
@LudekVodicka - Ничего сложного меньше не приходит на ум. Но, честно говоря, я думаю, что это только первая проблема, которую вызовет этот дизайн. Может стоит переосмыслить.
Думаю решить этот вопрос созданием для (например) четырех версий TestFunction для одного-четырех параметров шаблона. Благодаря этому я получаю требуемый функционал, не заморачиваясь с подсчетом динамических параметров. Для моих целей должно хватить до четырех параметров. В любом случае, спасибо за объяснение.
@Yakk Я не уверен, что ты имеешь в виду.
нет template<class ...TParams> int TestFunction(std::function<void(TParams...)> ) да template<class Sig>int TestFunction(std::function<Sig> )
Конечно, становится очень плохо, если есть дополнительный шаблон функции, который может принимать эти параметры. Тогда нужно было бы привести или назначить указатель на функцию, используя точный тип.