3

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

これがideoneのビルド結果です。

4

1 に答える 1

2

の両方のオーバーロードがFoo::funcWithParam一致void (Class::*func)(ARG1)するMemberFunction(Class * obj, void (Class::*func)(ARG1), ARG1 arg1)ため、2 番目のパラメーターの型はあいまいです。コンパイラは、ARG1 がintまたはであるかどうかを判断できませんconst char *。

おもしろいことに、テンプレート化されたコンストラクターでパラメーターの順序を逆にすると、つまり、次のようにして MemberFunction(Class * obj, ARG1 arg1, void (Class::*func)(ARG1) )、呼び出しサイトを次のように変更する と機能しMemberFunction(&f, 5, &Foo::funcWithParam) ます。コンパイラは最初に 2 番目のパラメーターを検出し、そこから ARG1 型が であると推測しますint。次に 3 番目のパラメーターに進み、ARG1 がintであることを認識したので、選択する &Foo::funcWithParam のオーバーロードを認識します。

この場合、標準が指示する動作がどうあるべきかはわかりませんが、コンパイラの1つにバグがあり、おそらくVS2010です。

于 2012-09-21T08:56:47.647 に答える