Question

我在stackoverflow上发现了一些非常有趣的c ++代码，我对此非常困惑，因为作者说它应该可以工作，但它在我的gcc 4.5.1和4.4上失败了:( 目标是检查类是否包含特定方法。

代码是：

#include <iostream>

struct Hello
{
    int helloworld()
    { return 0; }
};

struct Generic {};


// SFINAE test
template <typename T>
class has_helloworld
{
    typedef char one;
    typedef long two;

    template <typename C> static one test( typeof(&C::helloworld) ) ;
    template <typename C> static two test(...);


public:
    enum { value = sizeof(test<T>(0)) == sizeof(char) };
};


int
main(int argc, char *argv[])
{
    std::cout << has_helloworld<Hello>::value << std::endl;
    std::cout << has_helloworld<Generic>::value << std::endl;
    return 0;
}

我遇到了编译错误：

ISO C ++禁止在课堂上使用初始化非const静态会员'测试'

另外正如一些评论所说 - 我可以将'typeof（＆amp; C :: helloworld）'更改为'char [sizeof（＆amp; C :: helloworld）]' 但后来我的输出是

1
1

出了什么问题，因为只有一个类有helloworld函数

有没有办法让它起作用？另外，如果有人能解释究竟是什么使这个命令发生了什么，我将非常感谢：

test( char[sizeof(&C::helloworld)] ) ;

非常感谢：）

Answer 1

你的麻烦在于使用积分零和typeof。使用MSVC10，decltype和nullptr，这个代码打印正确的值是一个微不足道的修改。

template <typename T>
class has_helloworld
{
    typedef char one;
    typedef long two;

    template <typename C> static one test( decltype(&C::helloworld) ) ;
    template <typename C> static two test(...);


public:
    enum { value = std::is_same<decltype(test<T>( nullptr )), char>::value };
};


int main(int argc, char *argv[])
{
    std::cout << has_helloworld<Hello>::value << std::endl;
    std::cout << has_helloworld<Generic>::value << std::endl;
    std::cin.get();
    return 0;
}

我不是typeof的专家，但是这样的事情应该是可行的：

struct no_type {};
// SFINAE test
template <typename T>
class has_helloworld
{
    template <typename C> static typeof(&C::helloworld) test( C* i );
    template <typename C> static no_type test(...);


public:
    enum { value = std::is_same<no_type, typeof(test<T>(0))>::value };
};

检查c ++中是否存在函数时出现问题

1 个答案: