「T :: *」とはどういう意味ですか？ - 奇妙なスコープの解像度演算子

Question

私はcppreference pageからこれらの奇妙なコードに気づいた。 （実行するhere）。

私はtemplate <class T> char test(int T::*);（6行目）に困惑しています。 int T::*とは何ですか？タイプを正しく表現していますか？

#include <iostream> 
//#include <type_traits> 

namespace my_impl { 
    namespace detail { 
     template <class T> char test(int T::*); 
     struct two { char c[2]; }; 
     template <class T> two test(...); 
    } 

    template <class T> 
    struct is_class : std::integral_constant<bool, sizeof(detail::test<T>(0))==1 
               && !std::is_union<T>::value> {}; 
} 
using my_impl::is_class; 

struct A {}; 

class B {}; 

enum class C {}; 

int main() 
{ 
    std::cout << std::boolalpha; 
    std::cout << is_class<A>() << '\n'; 
    std::cout << is_class<B>() << '\n'; 
    std::cout << is_class<C>() << '\n'; 
    std::cout << is_class<int>() << '\n'; 
} 

Answer 1

int T::*メンバーポインタと呼ばれ、それがintのが、クラスTのメンバーだintへのポインタです。 Tがクラスの場合、これは有効な式です。