为什么SFINAE只适用于这两个看似相同的函数中的一个？

SFINAE（Substitution Failure Is Not An Error）是C++模板元编程中的一个重要概念，它允许编译器在模板实例化过程中，如果发现某个模板参数替换导致无效代码，不会报错，而是尝试其他模板或函数重载。

基础概念

SFINAE的核心思想是：当编译器尝试实例化一个模板时，如果替换模板参数后导致无效的代码（例如，尝试调用一个不存在的成员函数），编译器不会报错，而是简单地忽略这个模板，继续尝试其他可能的模板或函数重载。

为什么SFINAE只适用于这两个看似相同的函数中的一个？

考虑以下两个函数模板：

template <typename T>
void foo(T* t) {
    // 使用 t->some_member 的代码
}

template <typename T>
void foo(T& t) {
    // 使用 t.some_member 的代码
}

假设我们有一个类型 T 没有成员函数 some_member，那么：

对于 foo(T* t)，如果 T 没有 some_member，替换 T* 后会导致 t->some_member 是无效的代码。根据SFINAE，编译器会忽略这个模板。
对于 foo(T& t)，如果 T 没有 some_member，替换 T& 后会导致 t.some_member 是无效的代码。同样根据SFINAE，编译器会忽略这个模板。

但是，为什么有时候只适用于其中一个呢？这通常涉及到更复杂的模板特化和重载解析规则。

示例分析

假设我们有以下代码：

struct A {
    void some_member() {}
};

struct B {};

template <typename T>
void foo(T* t) {
    t->some_member(); // 依赖于 T 有 some_member
}

template <typename T>
void foo(T& t) {
    t.some_member(); // 依赖于 T 有 some_member
}

int main() {
    A a;
    B b;

    foo(&a); // 正确
    foo(a);  // 正确
    foo(&b); // 错误
    foo(b);  // 错误
}

在这个例子中：

foo(&a) 和 foo(a) 都能正确编译，因为 A 有 some_member。
foo(&b) 和 foo(b) 都会失败，因为 B 没有 some_member。

但是，如果我们在模板中使用 std::enable_if 来控制SFINAE：

#include <type_traits>

template <typename T, typename std::enable_if<std::is_member_function_pointer<decltype(&T::some_member)>::value, int>::type = 0>
void foo(T* t) {
    t->some_member();
}

template <typename T, typename std::enable_if<std::is_member_function_pointer<decltype(&T::some_member)>::value, int>::type = 0>
void foo(T& t) {
    t.some_member();
}

在这种情况下，foo(&b) 和 foo(b) 都会被SFINAE忽略，因为 B 没有 some_member。