具有类型特征的 C++ 条件函数调用

Question

假设我有一个类模板 template <typename T> class X

是否有可能使用类型特征或类似技术来调用 T 的(静态)方法，但前提是类型 T 声明了这种方法，例如像这样:

template <typename T> 
class X {
    static void foo(){
       if(has_method(T,bar)) //Something like this      
         T::bar(); //If T has no bar() method, then foo does nothing
    }

};

Answer 1

template <typename T>
class X {
public:
    static void foo() {
        foo_impl(static_cast<T*>(nullptr));
    }
private:
    // foo_impl #1
    template <typename U>
    static auto foo_impl(U*) -> decltype(U::bar(), void()) {
        U::bar();
    }

    // foo_impl #2
    static void foo_impl(...) {}
};

由于 SFINAE 规则，当 U::bar() 不是有效表达式时，foo_impl #1 不在重载集中，并且 foo_impl #2 被调用。如果 foo_impl #1 的类型推导确实成功，它总是比省略号更好的转换。

Ideone 演示:http://ideone.com/UKVmIB