如果模板中存在，如何获取成员 function 指针

Question

要获取 class 成员 function 指针，我们执行以下操作：

return_type (Class::*varName)(paramType1, paramTypeN) = &Class::functionName; 

“functionName”应该是事先知道的。

事实是，我不（我们实际上不应该）关心 function 名称，有没有办法可以检查“成员 function 指针”是否存在，如果它不是 Z37A6259CC0C1DAE299A7806 的话。

我想在我的模板 class 中这样做。

如果模板参数 object 有一个成员 function，它与我期望的签名匹配，我称之为 function。

该代码不是有效的 C++ 代码，但它为您提供了我正在寻找的内容的提示。

template< typename T >
class MyTemplateClass {

    void myFunction(T& object) {

        if constexpr( exists_in_class< T, void (T::*)(const int&, const int&) >::value ) {

                call_member_function_pointer< 
                    T, 
                    void (T::*)(const int&, const int&) >( object, 1, 2 );

          }
    }
};

如果这是不可能的，因为您可能有许多具有不同名称但具有相同确切签名（原型）的函数。 是否可以找到一种方法来传递 function 名称如下：

template< typename T >
class MyTemplateClass {

    void myFunction(T& object) {

        if constexpr( exists_in_class< T, void (T::*)(const int&, const int&), FunctionNameIExpect >::value ) {

                call_member_function_pointer< 
                    T, 
                    void (T::*)(const int&, const int&),
                    FunctionNameIExpect >( object, 1, 2 );

          }
    }
};

Answer 1

使用std::experimental::is_detected ，您可以这样做：

template<class T>
using has_my_function_name_t = decltype(&T::my_function_name);

template< typename T >
class MyTemplateClass
{
public:
    void myFunction(T& object)
    {
        if constexpr(std::experimental::is_detected_exact<void (T::*)(const int&, const int&),
                                                          has_my_function_name_t, T>::value) {
            object.my_function_name(1, 2);
        }
    }
};

演示

如果您在允许的签名（ Ret (T::*)(int, int) /*const*/ ）中更允许，则可以使用std::is_invocable 。