注释检查函数类型的enable_if后编译报错，为何未匹配首个候选模板？

问题场景 #

以下代码中，若注释掉第二个foo模板里检查非类型参数g为函数类型的enable_if，调用foo<p, moo::yes>()会触发编译错误：

#include <type_traits>

// 要求函数返回类型为void
template <typename T>
struct ReturnTypeHelper 
{};

template <typename R, typename ... Args>
struct ReturnTypeHelper<R(Args...)> {
    using type = R;
};

template <typename T>
struct ReturnVoid : std::is_same<typename ReturnTypeHelper<T>::type, void> 
{};

enum class moo {
    yes,
    no,
};

// 第一个候选模板
template <auto f, moo m = moo::yes>
void foo() {}

// 第二个候选模板
// 注释第一个enable_if会触发编译错误
template <auto f, auto g, moo m = moo::yes,
          // 要求g是函数类型
          std::enable_if_t<std::is_function_v<std::remove_pointer_t<decltype(g)>>, void>* = nullptr,
          // 要求g的返回类型为void
          std::enable_if_t<ReturnVoid<typename std::remove_pointer_t<decltype(g)>>::value, void>* = nullptr>
void foo() {}

void p() {}

int main()
{
    foo<p, moo::yes>();

    return 0;
}

编译错误信息 #

<source>: In instantiation of 'struct ReturnVoid<moo>':
<source>:32:101:   required by substitution of 'template<auto f, auto g, moo m, std::enable_if_t<ReturnVoid<typename std::remove_pointer<decltype (g)>::type>::value, void>* <anonymous> > void foo() [with auto f = p; auto g = moo::yes; moo m = moo::yes; std::enable_if_t<ReturnVoid<typename std::remove_pointer<decltype (g)>::type>::value, void>* <anonymous> = <missing>]'
<source>:39:21:   required from here
<source>:14:8: error: no type named 'type' in 'struct ReturnTypeHelper<moo>'
   14 | struct ReturnVoid : std::is_same<typename ReturnTypeHelper<T>::type, void>
      |        ^~~~~~~~~~
Compiler returned: 1

核心疑问 #

调用foo<p, moo::yes>()时，moo::yes并非函数类型，会触发ReturnTypeHelper主模板的实例化（无type成员），但为何编译器不跳过第二个候选模板、选择第一个模板，反而直接报错？

问题解析 #

这是因为SFINAE只处理模板参数替换阶段的“软错误”，不处理模板实例化时的“硬错误”：

1. SFINAE的适用边界：SFINAE（Substitution Failure Is Not An Error）的核心是，当模板参数替换过程中出现无效的类型或表达式时，编译器会跳过该模板候选，而非报错。但这种错误必须是替换直接导致的无效结果，不能是后续模板实例化引发的错误。

2. 本例中的硬错误来源：

   • 当注释掉检查g为函数类型的enable_if后，编译器尝试将第二个foo模板的g替换为moo::yes，此时std::remove_pointer_t<decltype(g)>的结果是moo。
   • 接下来需要实例化ReturnVoid<moo>，而它继承自std::is_same<typename ReturnTypeHelper<moo>::type, void>。由于ReturnTypeHelper<moo>匹配的是无type成员的主模板，访问ReturnTypeHelper<moo>::type属于硬错误——这是类模板实例化过程中出现的语义错误，不属于SFINAE的容错范围。

3. 第一个enable_if的作用：
   原本的第一个enable_if会提前过滤掉g不是函数类型的情况：当g是moo::yes时，std::is_function_v<std::remove_pointer_t<decltype(g)>>为false，std::enable_if_t会触发替换失败，编译器直接跳过第二个foo模板，转而选择第一个候选模板，不会进入ReturnVoid的实例化环节，因此不会报错。

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