是否可以编写一个模板来根据类上是否定义了某个成员函数来改变行为?
这是我想写的一个简单的例子:
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”部分。
class T
toString()
是的,使用 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 对其进行了测试。我不知道它是否可以移植到运行不同编译器的其他平台。