SFINAE未正确选择重载：检测类型sort支持、范围操作特性失效问题

导致SFINAE全部命中无特性分支的核心原因有三个：

• 成员函数地址检测存在重载歧义
  标准容器（例如std::vector）的begin/end普遍存在非const、const两个重载版本，直接用decltype(&T::begin)取成员函数地址时，编译器无法确定要匹配哪个重载，直接导致HaveRange对应的重载被SFINAE排除。如果待检测的sort成员也存在多重重载，HaveSort对应的重载也会被过滤。
• 私有成员无法被外部访问
  自定义类B的sort成员是私有属性，类外的test_sort检测逻辑没有访问权限，会直接判定B::sort不存在，导致HaveSort的重载被排除。
• 重载参数匹配规则冲突
  你调用test_sort<T>(NULL, NULL)时，HaveRange重载要求两个入参分别是decltype(&T::begin)和decltype(&T::end)类型，就算不存在重载歧义，两个NULL的类型也可能和目标成员函数指针类型不兼容，导致该重载不进入候选列表。

将检测逻辑从「取成员函数地址」改为「检测成员函数调用表达式合法性」，即可解决重载歧义问题，同时调整优先级确保存在sort成员时优先匹配：

#include <iostream>
#include <vector>
#include <algorithm>
#include <type_traits>

struct HaveSort { char c; };
struct HaveRange { char c; HaveSort s; };
struct HaveNone { char c; HaveRange r; };

// 优先检测是否有sort成员函数
template<typename T>
auto test_sort(int) -> decltype(std::declval<T&>().sort(), HaveSort{});

// 其次检测是否有begin和end
template<typename T>
auto test_sort(long) -> decltype(std::declval<T&>().begin(), std::declval<T&>().end(), HaveRange{});

// 兜底分支
template<typename T>
HaveNone test_sort(...);

template<typename T, int N>
struct sort_helper;

template<typename T>
struct sort_helper<T, sizeof(HaveSort)>
{
    static void fsort(T& x)
    {
        std::cout << "Type " << typeid(x).name() << " supports sort" << std::endl;
        x.sort();
    }
};

template<typename T>
struct sort_helper<T, sizeof(HaveRange)>
{
    static void fsort(T& x)
    {
        std::cout << "Type " << typeid(x).name() << " supports range" << std::endl;
        std::sort(x.begin(), x.end());
    }
};

template<typename T>
struct sort_helper<T, sizeof(HaveNone)>
{
    static void fsort(T& x)
    {
        std::cout << "Type " << typeid(x).name() << " supports nothing" << std::endl;
    }
};

template<typename T>
void fast_sort(T& x)
{
    sort_helper<T, sizeof(test_sort<T>(0))>::fsort(x);
}


class A {};
class B { public: void sort() {} }; // sort改为public

int main()
{
    static_assert(sizeof(HaveSort) != sizeof(HaveRange), "Find other way to handle HaveSort and HaveRange\n");
    static_assert(sizeof(HaveRange) != sizeof(HaveNone), "Find other way to handle HaveRange and HaveNone\n");

    std::vector<int> V{ 1,9,5,3 };
    A a;
    B b;
    fast_sort(V);
    fast_sort(a);
    fast_sort(b);
}

修正后运行输出符合预期：

Type class std::vector<int,class std::allocator<int> > supports range
Type class A supports nothing
Type class B supports sort

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