这个 SFINAE C++语法是如何工作的

我刚刚开始涉足SFINAE，我很难理解以各种形式出现的最常用示例背后的语法，但这个想法是检查特定类型是否包含给定的成员。这个特别的来自维基百科：

template <typename T> struct has_typedef_foobar 
{
    typedef char yes[1];
    typedef char no[2];
    template <typename C> static yes& test(typename C::foobar*);
    template <typename> static no& test(...);
    static const bool value = sizeof(test<T>(0)) == sizeof(yes);
};

几件事我不明白：

1. 返回"yes"的 test（） 重载的参数类型是什么？是指针吗？为什么将 typename 关键字用作参数的一部分？我已经看到它也用于测试一个类是否具有给定类型的成员，而不仅仅是 typedef，并且语法保持不变。
2. 有时我看到使用test（int C：:*）的例子。这更奇怪，不知道我们指的是C的哪个成员。如果它是一个带有主体的实函数，为实数类型实例化，并且参数被命名，它会指向什么以及如何使用它？

   模板 
       
   这些问题中的大多数与SFINAE无关：
       
   
         
   当依赖名称应被视为类型时，它前面需要加上 typename 。由于C是要test()的模板参数，显然C::foobar是一个依赖名称。尽管函数声明要求在每个参数前面都有一个类型，但该语言需要使用 typename 将依赖名称C::foobar转换为类型。这样，typename C::foobar只是一个类型，*应用类型构造函数，就会生成相应的指针类型。
         
    int C::* 是指向类型为 int 的数据成员的未命名指针。
         
   未使用的名称始终可以省略。这适用于函数参数以及模板参数，即，是的，如果不使用它，则可以省略template后面的名称。但是，大多数时候它以某种形式使用，在这种情况下，显然是必需的。
         
   我认为你可以写一个测试来测试多个方面的存在，但我不会这样做：SFINAE 是不可读的。我宁愿显式地将不同的属性测试与普通逻辑运算符相结合。