std::is_member_function_pointer对重载成员函数检测失效，如何解决？

问题原因 #

你当前的实现之所以在遇到重载成员函数时失效，是因为&T::method存在歧义——编译器无法确定你要引用哪个重载版本，导致decltype(&T::method)无法完成推导，SFINAE机制会触发并匹配到默认的std::false_type特化。

解决方案 #

根据你的需求（检测类是否存在特定签名的公共成员函数，或仅检测是否存在同名公共成员函数），可以采用以下几种实现方式：

方案1：检测特定签名的成员函数（兼容C++11及以上）

通过static_cast明确指定目标成员函数的签名，消除重载歧义，再结合SFINAE完成检测：

#include <iostream>
#include <type_traits>

class Test1
{
public:
    void method();
};

class Test2
{
public:
    void method();
    void method(int);
};

// 基础模板
template <typename T, typename Signature>
struct HasSpecificMethod : std::false_type {};

// 针对成员函数签名的特化
template <typename T, typename Ret, typename... Args>
struct HasSpecificMethod<T, Ret(Args...)> {
private:
    // 尝试将&U::method转换为目标签名，成功则返回std::true_type
    template <typename U>
    static auto test(int) -> decltype(static_cast<Ret(U::*)(Args...)>(&U::method), std::true_type{});
    
    // 匹配所有失败情况
    template <typename U>
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test<T>(0))::value;
};

int main()
{
    // 检测无参的void method()
    std::cout << HasSpecificMethod<Test1, void()>::value << std::endl; // 输出1
    std::cout << HasSpecificMethod<Test2, void()>::value << std::endl; // 输出1
    // 检测带int参数的void method(int)
    std::cout << HasSpecificMethod<Test2, void(int)>::value << std::endl; // 输出1
}

方案2：C++20+ 简化实现（requires表达式）

利用C++20的概念（Concepts）和requires表达式，可以更直观地完成检测，同时自动处理重载场景：

#include <iostream>
#include <type_traits>

class Test1
{
public:
    void method();
};

class Test2
{
public:
    void method();
    void method(int);
};

// 检测是否存在可无参调用的method成员函数
template <typename T>
struct HasMethod : std::bool_constant<requires(T t) { t.method(); }> {};

// 或者用Concept直接约束
template <typename T>
concept HasMethodConcept = requires(T t) {
    t.method();
};

int main()
{
    std::cout << HasMethod<Test1>::value << std::endl; // 输出1
    std::cout << HasMethod<Test2>::value << std::endl; // 输出1
    
    // 使用Concept的示例
    if constexpr (HasMethodConcept<Test2>) {
        std::cout << "Test2 has method()" << std::endl;
    }
}

方案3：仅检测是否存在同名公共成员（不管签名）

如果你只需要确认类中存在名为method的公共成员（无论它是成员函数还是数据成员），可以用以下实现：

#include <iostream>
#include <type_traits>

class Test1
{
public:
    void method();
};

class Test2
{
public:
    void method();
    void method(int);
};

template <typename T>
struct HasMethod {
private:
    // 尝试匹配任意类型的method成员
    template <typename U>
    static auto test(int) -> decltype(void(&U::method), std::true_type{});
    
    template <typename U>
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test<T>(0))::value;
};

int main()
{
    std::cout << HasMethod<Test1>::value << std::endl; // 输出1
    std::cout << HasMethod<Test2>::value << std::endl; // 输出1
}

这里利用void(&U::method)来触发SFINAE：只要U存在名为method的公共成员（无论是否重载），该表达式就合法，从而匹配到std::true_type。

内容的提问来源于stack exchange，提问作者zhanginou