c++ - 模板化检查是否存在类成员函数？

Question

是否可以编写一个模板来根据类上是否定义了某个成员函数来改变行为？

这是我想写的一个简单示例:

template<class T>
std::string optionalToString(T* obj)
{
    if (FUNCTION_EXISTS(T->toString))
        return obj->toString();
    else
        return "toString not defined";
}

所以，如果 class T 定义了 toString()，那么它会使用它；否则，它不会。我不知道该怎么做的神奇部分是“FUNCTION_EXISTS”部分。

Answer 1

是的，使用 SFINAE，您可以检查给定的类是否提供了某种方法。这是工作代码:

#include <iostream>

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

struct Generic {};    

// SFINAE test
template <typename T>
class has_helloworld
{
    typedef char one;
    struct two { char x[2]; };

    template <typename C> static one test( decltype(&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;
}

我刚刚使用 Linux 和 gcc 4.1/4.3 对其进行了测试。我不知道它是否可以移植到运行不同编译器的其他平台。