检测类是否具有重载函数在 Comeau 编译器上失败

Question

我正在尝试使用 SFINAE 来检测类是否具有采用某种类型的重载成员函数。我的代码似乎可以在 Visual Studio 和 GCC 中正常工作，但无法使用 Comeau 在线编译器进行编译。

这是我正在使用的代码：

#include <stdio.h>

//Comeau doesnt' have boost, so define our own enable_if_c
template<bool value> struct enable_if_c { typedef void type; };
template<> struct enable_if_c< false > {}; 


//Class that has the overloaded member function
class TestClass
{
public:
    void Func(float value) { printf( "%f\n", value ); }
    void Func(int value) { printf( "%i\n", value ); }
};


//Struct to detect if TestClass has an overloaded member function for type T
template<typename T>
struct HasFunc
{
    template<typename U, void (TestClass::*)( U )> struct SFINAE {};
    template<typename U> static char Test(SFINAE<U, &TestClass::Func>*);
    template<typename U> static int Test(...);
    static const bool Has = sizeof(Test<T>(0)) == sizeof(char);
};


//Use enable_if_c to only allow the function call if TestClass has a valid overload for T
template<typename T> typename enable_if_c<HasFunc<T>::Has>::type CallFunc(TestClass &test, T value) { test.Func( value ); } 

int main()
{
    float value1 = 0.0f;
    int value2 = 0;
    TestClass testClass;
    CallFunc( testClass, value1 );  //Should call TestClass::Func( float )
    CallFunc( testClass, value2 );  //Should call TestClass::Func( int )
}

错误消息是：没有函数模板“CallFunc”的实例与参数列表匹配。看起来 HasFunc::Has 对于 int 和 float 来说是 false，而它应该是 true。

这是 Comeau 编译器中的错误吗？我是否做了一些不标准的事情？如果是这样，我需要做什么来解决它？

更新

我想现在的问题是，如果这是一个错误，我可以做些什么来解决它吗？我尝试在 &TestClass::Func 上使用 static_cast，但要么这是不可能的，要么我没有得到正确的语法，因为我无法编译它。

如果这不是解决方案，我是否可以对 TestClass 或 HasFunc 进行任何修改以解决该问题？

Answer 1

我怀疑问题在于，当 TestClass 重载 Func 时，Comeau 编译器无法消除 &TestClass::Func 的歧义，即使它应该这样做。