函数模板实例化的sfinae

正如你在问题中所说的,SFINAE只发生在“即时上下文”中,“扣除失败”所包含的情况列在下面 [temp.deduct] . 代码中发生的错误将是格式错误,标准中提到了这一点:

对类型和表达式的替换可能导致诸如类模板专门化和/或函数模板专门化的实例化、隐式定义函数的生成等效果。此类效果不在直接上下文中,并且可能导致程序格式错误。

因此,当需要为类型实例化函数模板f时,您的程序将是格式错误的 S .

解决方案:

#include <iostream>
#include <type_traits>

template<typename T> void f() { T a{}; }

struct S { ~S() = delete; };
struct Test{};

template<typename T,typename U = void>
struct is_sutable_type_for_function:std::false_type{};

template<typename T>
struct is_sutable_type_for_function<T,std::void_t<decltype(T{}.~T())>>:std::true_type{};

int main()
{
   std::cout<< is_sutable_type_for_function<S>::value<<"\n";
   std::cout<< is_sutable_type_for_function<Test>::value<<"\n";
}

f

在C++中,必须将约束放在函数本身上,以便检测工作:

Demo (C++ 20)

#include <type_traits>

template<typename T> void f() requires std::is_constructible_v<T> { T{}; }

template<class T, class = void>
struct can_call_f : std::false_type{};

template<class T>
struct can_call_f<T, std::void_t<decltype(f<T>())>>: std::true_type{};

template<class T>
constexpr bool can_call_f_v = can_call_f<T>::value;

struct S { ~S() = delete; };
int main()
{
  static_assert(can_call_f_v<int>);
  static_assert(!can_call_f_v<S>);
}

回想一下C++的工作原理 类型