Преобразование шаблона Variadic в std:: function <R (ARGS...)> работает с GCC, а не с MSVC2013, почему?
Если это дубликат, я утверждаю. В моих поисках я ничего не нашел.
Я могу использовать любую из новейших функций С++ 11/С++ 14. При необходимости я могу перейти на VS2015.
Я пытаюсь написать класс, который будет автоматически добавлен в std:: function с определенной подписью при назначении. У меня есть код, который работает с GCC, но это не удалось на MSVC2013. Код - это фрагмент, который воссоздает ошибку. WTF MSVC?!
Кроме того, я знаю, что это рискованный код, автоматически набрасывая указатели на функции и т.д., но это для частной реализации библиотеки плагинов, и я только хочу определить подпись функции один раз.
Если есть другой способ написать код, который выполняет те же функции в main() и работает на обоих, я все уши.
GCC С++ 11 отлично работает - Демо
#include <functional>
#include <string>
#include <iostream>
class FunctionPointer
{
void* fp;
public:
FunctionPointer(void* ptr)
: fp(ptr)
{}
// Overload casting operator to
// a certain function signiture
template<class R, class... ARGS>
operator std::function<R(ARGS...)>(){
typedef R(*func_ptr)(ARGS...);
return std::function<R(ARGS...)>((func_ptr)fp);
}
};
void hello(std::string msg){
std::cout << "Hello " << msg << std::endl;
}
int main() {
FunctionPointer f((void*)hello);
std::function<void(std::string)> func_hello = f;
func_hello("World!");
return 0;
}
MSVC работает, когда я меняю строку на это...
std::function<void(std::string)> func_hello = f.operator std::function<void(std::string)>();
MSVC терпит неудачу с той же ошибкой, когда у меня есть это...
std::function<void(std::string)> func_hello = (std::function<void(std::string)>)f;
Ошибка MSVC со следующей ошибкой в файле, который трудно читать, если не сказать больше. Кажется, он выводит неправильную сигнатуру функции.
xrefwrap.h:283 - error C2064: term does not evaluate to a function taking 1 arguments
1>c:\program files (x86)\microsoft visual studio 12.0\vc\include\xrefwrap(283): error C2064: term does not evaluate to a function taking 1 arguments
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(228) : see reference to function template instantiation '_Ret std::_Callable_obj<FunctionPointer,false>::_ApplyX<_Rx,_Ty>(_Ty &&)' being compiled
1> with
1> [
1> _Ret=void
1> , _Rx=void
1> , _Ty=std::basic_string<char,std::char_traits<char>,std::allocator<char>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(228) : see reference to function template instantiation '_Ret std::_Callable_obj<FunctionPointer,false>::_ApplyX<_Rx,_Ty>(_Ty &&)' being compiled
1> with
1> [
1> _Ret=void
1> , _Rx=void
1> , _Ty=std::basic_string<char,std::char_traits<char>,std::allocator<char>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(226) : while compiling class template member function 'void std::_Func_impl<_MyWrapper,_Alloc,_Ret,std::string>::_Do_call(std::string &&)'
1> with
1> [
1> _Alloc=std::allocator<std::_Func_class<void,std::string>>
1> , _Ret=void
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(495) : see reference to class template instantiation 'std::_Func_impl<_MyWrapper,_Alloc,_Ret,std::string>' being compiled
1> with
1> [
1> _Alloc=std::allocator<std::_Func_class<void,std::string>>
1> , _Ret=void
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(396) : see reference to function template instantiation 'void std::_Func_class<_Ret,std::string>::_Do_alloc<_Myimpl,FunctionPointer&,_Alloc>(_Fty,_Alloc)' being compiled
1> with
1> [
1> _Ret=void
1> , _Alloc=std::allocator<std::_Func_class<void,std::string>>
1> , _Fty=FunctionPointer &
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(396) : see reference to function template instantiation 'void std::_Func_class<_Ret,std::string>::_Do_alloc<_Myimpl,FunctionPointer&,_Alloc>(_Fty,_Alloc)' being compiled
1> with
1> [
1> _Ret=void
1> , _Alloc=std::allocator<std::_Func_class<void,std::string>>
1> , _Fty=FunctionPointer &
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(385) : see reference to function template instantiation 'void std::_Func_class<_Ret,std::string>::_Reset_alloc<FunctionPointer&,std::allocator<std::_Func_class<_Ret,std::string>>>(_Fty,_Alloc)' being compiled
1> with
1> [
1> _Ret=void
1> , _Fty=FunctionPointer &
1> , _Alloc=std::allocator<std::_Func_class<void,std::string>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(385) : see reference to function template instantiation 'void std::_Func_class<_Ret,std::string>::_Reset_alloc<FunctionPointer&,std::allocator<std::_Func_class<_Ret,std::string>>>(_Fty,_Alloc)' being compiled
1> with
1> [
1> _Ret=void
1> , _Fty=FunctionPointer &
1> , _Alloc=std::allocator<std::_Func_class<void,std::string>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(671) : see reference to function template instantiation 'void std::_Func_class<_Ret,std::string>::_Reset<FunctionPointer&>(_Fty)' being compiled
1> with
1> [
1> _Ret=void
1> , _Fty=FunctionPointer &
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional(671) : see reference to function template instantiation 'void std::_Func_class<_Ret,std::string>::_Reset<FunctionPointer&>(_Fty)' being compiled
1> with
1> [
1> _Ret=void
1> , _Fty=FunctionPointer &
1> ]
1> c:\users\cameron\desktop\desktop\programming\projects\c++ projects\garbage\templatetest\main.cpp(32) : see reference to function template instantiation 'std::function<void (std::string)>::function<FunctionPointer&>(_Fx)' being compiled
1> with
1> [
1> _Fx=FunctionPointer &
1> ]
1> c:\users\cameron\desktop\desktop\programming\projects\c++ projects\garbage\templatetest\main.cpp(32) : see reference to function template instantiation 'std::function<void (std::string)>::function<FunctionPointer&>(_Fx)' being compiled
1> with
1> [
1> _Fx=FunctionPointer &
1> ]
Ответы
Ответ 1
Это другой подход к решению вашей проблемы. Если мое понимание возможностей MSVC 2015 верное, оно должно работать там.
(Я предполагаю, что ваша проблема заключается в том, что вы хотите относительно прозрачно передать a void*
неизвестной функции в std::function
с сигнатурой, которая имеет неизвестную функцию, без необходимости повторять подпись функции.)
Вместо того, чтобы отбрасывать указатель void в точке, где мы отбрасываем std::function
, вместо этого я делаю это в той точке, где вызывается функция, и вычисляется возвращаемое значение (или, когда не возвращается) трюк "возврат типа вывода":
template<class...Args>
struct void_ptr_deferred_execution_t {
std::tuple<Args&&...> args;
void const* pf = nullptr;
void_ptr_deferred_execution_t( std::tuple<Args&&...> a, void const* p ):
args(std::move(a)),
pf(p)
{}
template<class R, size_t...Is>
R invoke( std::index_sequence<Is...> ){
using f_t = R(*)(Args...);
f_t f = f_t(pf);
pf = nullptr;
return f(std::forward<Args>(std::get<Is>(args))...);
}
template<class R>
operator R()&&{
return invoke<R>( std::index_sequence_for<Args...>{} );
}
~void_ptr_deferred_execution_t() {
if (pf) invoke<void>(std::index_sequence_for<Args...>{});
}
};
class FunctionPointer
{
void* fp;
public:
FunctionPointer(void* ptr)
: fp(ptr)
{}
template<class...Args>
void_ptr_deferred_execution_t<Args...>
operator()(Args&&...args)const {
return { std::forward_as_tuple(std::forward<Args>(args)...), fp };
}
};
живой пример.
Когда std::function
вызывает их вызываемые, они либо отбрасывают результат, либо отбрасывают его на R
. Из аргументов, переданных вызываемому, плюс тип, возвращаемое значением, я могу восстановить (в основном) подпись std::function
, которая вызвала меня.
В этот момент я передал свой void*
в указатель на эту функцию, вызвал ее и вернул результат.
Если меня никогда не бросают на что-то, в момент разрушения я отбрасываю свой указатель на функцию возврата void
, вызываю ее и делаю.
Предостережения:
Обратите внимание, что прямой вызов FunctionPointer
столь же опасен, как передача его в std::function
в вашем примере (крайне).
Действительно, сохранение указателя функции в std::function
является излишним.
Не тестировался в MSVC2015, но я не вижу ничего, что бы не работало в MSVC2015.
Существует вероятность того, что некоторые реализации std::function
могут не работать с указанным выше, если ваша функция возвращает void
. Это, однако, было бы ошибкой времени компиляции.
Вышеупомянутое также предполагает, что нет функций с аргументами ссылки rvalue, поскольку в точке вызова я не могу различить, что вы вызываете из std::function<void(T)>
и a std::function<void(T&&)>
. Я предполагаю, что в этом случае это void(T)
.
Ответ 2
Вот как я мог бы избежать кастинга вне класса:
class FunctionPointer
{
void* fp;
public:
FunctionPointer() = default;
template<class Ret, class Fn, class... Args> void assign_fn(Fn fn, Args... args)
{
std::function<Ret(Args...)> *f = new std::function<Ret(Args...)>;
*f = Fn; // Tip: you can use enable_if combined with is_assignable to make sure this can be done.
// Both are regular pointers, so conversion shouldn't be a problem.
fp = reinterpret_cast<void*>(f);
}
// Overload casting operator to
// a certain function signature
template<class R, class... ARGS>
operator std::function<R(ARGS...)>(){
typedef R(*func_ptr)(ARGS...);
return std::function<R(ARGS...)>((func_ptr)fp);
}
};
Кроме того, вы можете воспользоваться тем фактом, что std:: function может указывать на любой вызываемый объект, сделав свой указатель на функцию вызываемым (добавьте оператор()), который будет очень похож на преобразование в std:: function.
template<class Ret, class... Args> Ret operator()(Args... args)
{
std::function<Ret(Args...)> f = *(reinterpret_cast<std::function<Ret(Args...)>*>(fp));
return f(args...);
}