SFINAE 示例不起作用

我试图弄清楚这个SFINAE概念，我必须说我发现它真的很令人困惑。我理解为什么如果编译器可以根据模板类型/参数推断和选择正确的函数，那将是一个巨大的优势，但我不知道这是否是 SFINAE，因为首字母缩略词所代表的含义意味着否则 IMO。也许你可以为我解决这个问题，但现在这实际上不是我的问题。

我的问题是这样的：我从这里查找并尝试了一个 SFINAE 示例： https://en.cppreference.com/w/cpp/language/sfinae

具体来说，告诉您模板类型 C 是对象类型还是内部类型(int、bool 等(。我正在谈论的示例代码是这样的：

template<typename T>
class is_class {
typedef char yes[1];
typedef char no [2];
template<typename C> static yes& test(int C::*); // selected if C is a     class type
template<typename C> static no&  test(...);      // selected otherwise
public:
static bool const value = sizeof(test<T>(0)) == sizeof(yes);
};

然后我想尝试一下，所以我稍微修改了一下，没有改变任何可能影响将使用哪个函数的内容，最后得到了以下代码。我使用 Visual Studio 2017。我不认为它会C++2017年运行，但它不会落后太多。不用说，它两次显示"不是阶级"：

#include<cstdio>
#define say(x) printf(#x "n")
template<typename T>
void f(int T::*) {
printf("f<T>();n");
}
template<class T>
void f(T) {
printf("normal f();n");
}
class Hejsa {
public:
int A;
Hejsa() { A = 2; }
};
template<typename T>
class is_class {
public:
typedef char yes[1];
typedef char no[2];
template<typename C> static yes& test(int C::*) {
say("is class"); return new yes;
}; // selected if C is a class type
template<typename C> static no&  test(...) {
say("is not class"); no _n; return _n;
};      // selected otherwise
public:
static bool const value = sizeof(test<T>(0)) == sizeof(yes);
};
int main() {
int var1 = 9;
Hejsa var2;
is_class<Hejsa>::test<Hejsa>(var1);
is_class<Hejsa>::test<Hejsa>(var2);
f(var1);
f(var2);
getchar();
}

是什么原因造成的？你能不能尽量少地改变它，让它"工作"，即让test<Hejsa>(var1);说"不是阶级"，test<Hejsa>(var2)说"是阶级"？("Hejsa"是一个丹麦词，意思是"Hiya"或"你好"，类似于;P)

提前感谢，

托马斯