c++ - Visual C++中的模板非类型成员函数指针参数推导错误

Question

考虑以下代码：

class Foo {
public:
    void foo() {}
    void foo(double d) {}
};


template <typename Fun>
void bar_simple(Fun fun) {}

template <typename Base>
struct Wrapper {
    template <typename Type>
    static void bar(Type Base::* fun) {}
};

template <typename Type, typename Base>
void bar(Type Base::* fun) {}


int main() {
    //ok
    bar_simple<void(Foo::*)()>(&Foo::foo);
    bar_simple<void(Foo::*)(double)>(&Foo::foo);

    //ok
    Wrapper<Foo>::bar<void()>(&Foo::foo);
    Wrapper<Foo>::bar<void(double)>(&Foo::foo);

    //yields: error C2784: 'void bar(Type Base::* )' : 
    //could not deduce template argument for 'overloaded function type' 
    //from 'overloaded function type'; see declaration of 'bar'
    bar<void()>(&Foo::foo);
    bar<void(double)>(&Foo::foo);

    return 0;
}

上面的代码在 gcc-4.3.4 和 comeau 4.3.10.1 上编译，在 Visual C++ 9.0 和 10.0 上都失败了。这似乎是一个错误；您是否知道 MS 的“错误跟踪器”中存在适当的错误报告？