class X{
public:
   size_t cnt;
   X():cnt(0){}
   template <typename P> void Test(){cnt+=sizeof(P);}
};

SA>class X{
SA>public:
SA>   size_t cnt;
SA>   X():cnt(0){}
SA>   template <typename P> void Test(){cnt+=sizeof(P);}
SA>};
SA>

template<class A, class B>
class Foo
{ ... };

template<class A>
class Foo<A, int> // частичная специализация
{ ... };

template<class A>
class Foo< vector<A>, list<A> > // частичная специализация
{ ... };

template<>
class Foo<char, int> // полная специализация
{ ... };

К>template<class A>
К>class Foo<A, int> // частичная специализация
К>{ ... };

К>template<class A>
К>class Foo< vector<A>, list<A> > // частичная специализация
К>{ ... };

template <typename A>class Foo{
public:
    A x;
    Foo():x(0){}
    template<typename B,A c>A test2(){return с+(A)sizeof(B);}    
    template<typename B>void test(){x+=test2<B,1>();}
};
template<class A>
class Foo2{
    typedef vector<A> Vector;
    typedef list<A> List;
public:    
    List a;
    Vector b;
};

SA>template <typename A>class Foo{
SA>public:
SA>    A x;
SA>    Foo():x(0){}
SA>    template<typename B,A c>A test2(){return с+(A)sizeof(B);}    
SA>    template<typename B>void test(){x+=test2<B,1>();}
SA>};
SA>template<class A>
SA>class Foo2{
SA>    typedef vector<A> Vector;
SA>    typedef list<A> List;
SA>public:    
SA>    List a;
SA>    Vector b;
SA>}; 
SA>

template<class R>
struct func_traits< R(*)() >
{
  enum { arity=0 };
  typedef R result_type;
};

template<class R, class A>
struct func_traits< R(*)(A) >
{
  enum { arity=1 };
  typedef R result_type;
  typedef A arg1_type;
};

template<class R, class A, class B>
struct func_traits< R(*)(A,B) >
{
  enum { arity=1 };
  typedef R result_type;
  typedef A arg1_type;
  typedef B arg2_type;
};

SA>Где можно про это прочитать? Умом понимаю, что это что-то нужное, а вот понять для чего не получается.