У меня есть код, который идеально подходит для компиляторов mingw / g ++, но MSVC (2010) обнаружил ошибку. Проблема в перегруженных функциях и шаблонах. Может быть кто-нибудь знает обходной путь для MSVC? Если обходного пути не существует (доказательство ссылки не работает), он также ответит.
Пример кода:
#include <iostream>
struct Function
{
virtual ~Function() {}
virtual void operator()() = 0;
};
template <typename Class, typename ARG1>
struct MemberFunction1 : public Function
{
typedef void (Class::*MEM_FUNC)(ARG1);
explicit MemberFunction1(Class * obj, MEM_FUNC func, ARG1 arg1) : m_object(obj), m_func(func), m_arg1(arg1) {}
virtual void operator()()
{
(m_object->*m_func)(m_arg1);
}
Class * m_object;
MEM_FUNC m_func;
ARG1 m_arg1;
};
struct FunctionStorage
{
explicit FunctionStorage(Function * func) : m_func(func) {}
virtual ~FunctionStorage()
{
if (m_func)
{
delete m_func;
m_func = 0;
}
}
void call() { (*m_func)(); }
Function * m_func;
};
struct MemberFunction : public FunctionStorage
{
template <typename Class, typename ARG1>
MemberFunction(Class * obj, void (Class::*func)(ARG1), ARG1 arg1) : FunctionStorage(new MemberFunction1<Class, ARG1>(obj, func, arg1)) {}
};class Foo
{
public:
void funcWithParam(int value)
{
std::cout << "foo::funcWithParam(" << value << ")\n";
}
void funcWithParam(const char * msg)
{
std::cout << "foo::funcWithParam(" << msg << ")\n";
}
};
int main()
{
Foo f;
MemberFunction(&f, &Foo::funcWithParam, 5).call(); // problem here, if remove one of funcWithParam (stay only 1 function, no overload) all will be ok
MemberFunction(&f, &Foo::funcWithParam, "hello").call();
return 0;
}
Мой вывод:
main.cpp(65): error C2660: 'MemberFunction::MemberFunction' : function does not take 3 arguments
main.cpp(65): error C2228: left of '.call' must have class/struct/union
main.cpp(66): error C2660: 'MemberFunction::MemberFunction' : function does not take 3 arguments
main.cpp(66): error C2228: left of '.call' must have class/struct/union
Вот идеоне построить результат.
Обе перегрузки Foo::funcWithParam
матч void (Class::*func)(ARG1)
в MemberFunction(Class * obj, void (Class::*func)(ARG1), ARG1 arg1)
поэтому второй тип параметра неоднозначен: компилятор не может решить, является ли ARG1 int
или же const char *
,
Забавно, что если вы инвертируете порядок параметров в своем шаблонном конструкторе, то есть сделаете так:
MemberFunction(Class * obj, ARG1 arg1, void (Class::*func)(ARG1) )
а также измените свой сайт вызова на это:
MemberFunction(&f, 5, &Foo::funcWithParam)
это будет работать. Компилятор сначала встречает второй параметр, из которого он выводит тип ARG1: int
, Затем он переходит к третьему параметру и потому, что теперь он знает, что ARG1 int
, он знает, какая перегрузка &Foo :: funcWithParam для выбора.
Я не уверен, какое поведение стандарт должен диктовать в этом случае, но один из компиляторов наверняка имеет ошибку, скорее всего VS2010.
Других решений пока нет …