这个SFINAE C语法如何工作？

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);
};

有几件事我不明白：

>返回“是”的test()重载的参数类型是什么？它是指针吗？为什么typename关键字用作参数的一部分？我已经看到它也用于测试一个类是否具有给定类型的成员,而不仅仅是一个typedef,并且语法保持不变.
>有时候我见过使用test(int C :: *)的例子.这更奇怪,不知道我们引用的是哪个C成员.如果它是一个真实的函数与一个实体,实例化为一个真实的类型,并且参数被命名,它会指向什么,你将如何使用它？

template <typename T> func(int T::*arg)
{
    *arg = 1;
}

struct Foo
{
    int x;
} foo;

func<Foo>(&foo::x); // something like this?
func(&foo::x); // or maybe even like this?

>是模板< typename>如果没有在第二次过载中使用,则不允许使用符号？那它甚至是模板功能呢？
>奖励：是否可以一次检查是否存在多个成员？