为何签名更匹配的模板函数推导失败后直接报错，不遵循SFINAE？

当比较两个函数时，若仅基于函数签名判定其中一个匹配度更高，但该匹配度更高的函数在模板推导后执行失败，编译器为何直接报错？这似乎不符合SFINAE规则。

示例代码 #

#include <iostream>

class B {};

template <typename T>
void func(const T& t) {
    t.doSomething();
    std::cout << "func(T) - T does not have a member function 'doSomething()'" << std::endl;
}

template <typename T>
void func(T&& t)  {
    std::cout << "func(T) - T has a member function 'doSomething()'" << std::endl;
}


int main() {
    const B b{};
    func(b);  

    return 0;
}

编译器报错信息 #

const class B 没有名为 doSomething 的成员

问题解析 #

这是因为SFINAE仅作用于模板参数推导阶段，而你的代码错误发生在模板实例化后的函数体执行阶段，不在SFINAE的覆盖范围内。

具体来说：

1. 重载决议阶段：调用func(b)时，b是const B类型的左值。第一个模板func(const T&)推导后得到func(const B&)，与实参完全匹配；第二个模板是万能引用T&&，推导后T为const B&，折叠后也是const B&，但优先级低于完全匹配的左值引用，因此编译器选择第一个重载。
2. 实例化阶段：编译器成功推导模板参数后，会实例化第一个函数的函数体，此时发现t.doSomething()调用了不存在的成员函数——这个错误出现在函数体内部，不属于模板推导时的无效表达式，因此不会触发SFINAE规则去回退到另一个重载，而是直接报错。

修正方案 #

要让SFINAE生效，需要把对doSomething的检测提前到模板参数推导阶段，比如用C++20的requires约束：

#include <iostream>

class B {};

// 仅当T拥有doSomething成员时才参与重载
template <typename T>
requires requires(const T& t) { t.doSomething(); }
void func(const T& t) {
    t.doSomething();
    std::cout << "func(T) - T has a member function 'doSomething()'" << std::endl;
}

template <typename T>
void func(T&& t)  {
    std::cout << "func(T) - T does not have a member function 'doSomething()'" << std::endl;
}

int main() {
    const B b{};
    func(b); // 此时会选择第二个重载，运行正常
    return 0;
}

或者用C++11及以后的std::enable_if结合特征检测，同样能在推导阶段排除不满足条件的重载，避免报错。

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