为何SFINAE在该场景下失效？如何兼容GCC/Clang修复？

我在阅读Bjarne Stroustrup所著的《C++ Programming Language, 4th Edition》第28章元编程的28.4.4节时，遇到一段依赖SFINAE机制的代码：

#include <type_traits>
#include <string>

struct substitution_failure {};

template <typename T>
struct substitution_succeeded : std::true_type {};

template <>
struct substitution_succeeded<substitution_failure> : std::false_type {};

double f(double x)
{
  return x;
}

template <typename T>
class get_f_result
{
  template <typename X>
  static auto check(const X& x) -> decltype(f(x));

  static substitution_failure check(...);

public:
  using type = decltype(check(std::declval<T>()));
};

template <typename T>
struct has_f : substitution_succeeded<typename get_f_result<T>::type> {};

template <typename T>
constexpr bool has_f_v()
{
  return has_f<T>::value;
}

template <typename T>
struct Foo
{
  template <typename = std::enable_if_t<has_f_v<T>()>>
  T foo(const T& t)
  {
    return f(t);
  }
};

int main()
{
  Foo<std::string> foo;
  return 0;
}

这段代码预期通过SFINAE机制，即便Foo的foo方法未被调用也能编译通过，但实际仅能在MSVC编译成功，GCC和Clang会报如下错误：

error: no type named 'type' in 'struct std::enable_if<false, std::__cxx11::basic_string<char> >'
 2611 |     using enable_if_t = typename enable_if<_Cond, _Tp>::type;

为什么仅MSVC能编译通过？ #

问题核心在于Foo类的foo成员模板定义：

template <typename = std::enable_if_t<has_f_v<T>()>>
T foo(const T& t) { ... }

当T为std::string时，has_f_v<T>()会被解析为false，此时std::enable_if_t<false>等价于std::enable_if<false>::type——而这个类型根本不存在。

不同编译器对模板实例化的检查时机有差异：

• MSVC采用延迟检查策略：它不会在实例化Foo<std::string>时立即验证成员模板的有效性，只会在foo方法被实际调用时才进行检查。
• GCC和Clang严格遵循C++标准：当实例化外层类Foo<std::string>时，会立即检查所有成员模板的模板参数是否合法。由于has_f_v<T>()是一个不依赖于成员模板自身参数的constexpr表达式，编译器能在类实例化阶段就确定其值为false，直接触发编译错误。

修改方法 #

要让代码跨编译器兼容，必须让enable_if的条件依赖于成员模板自身的模板参数，这样SFINAE才能在成员模板被尝试实例化时生效，而非外层类实例化阶段。

方式一：将条件绑定到成员模板的模板参数 #

template <typename T>
struct Foo
{
  // 引入成员模板参数U，默认值为T，让条件依赖于U
  template <typename U = T, typename = std::enable_if_t<has_f_v<U>()>>
  T foo(const T& t)
  {
    return f(t);
  }
};

此时has_f_v<U>()依赖于成员模板的参数U，编译器会延迟检查直到foo被调用，符合SFINAE的触发条件。

方式二：用enable_if修饰返回值 #

template <typename T>
struct Foo
{
  template <typename U = T>
  std::enable_if_t<has_f_v<U>(), T> foo(const T& t)
  {
    return f(t);
  }
};

这种方式把enable_if放在返回值位置，同样通过成员模板参数U让条件成为依赖表达式，触发SFINAE。

额外优化：替换has_f_v为变量模板 #

C++14及以上支持变量模板，可以把函数形式的has_f_v改为更简洁的变量模板：

template <typename T>
constexpr bool has_f_v = has_f<T>::value;

使用时直接写has_f_v<U>即可，无需函数调用：

template <typename U = T, typename = std::enable_if_t<has_f_v<U>>>

修改后的代码在GCC、Clang和MSVC中均能正常编译，且完全符合C++标准的SFINAE规则。

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