вопрос по синтаксису/типам

  template <typename _Tp, typename _Tp_Deleter = default_delete<_Tp> > 
    class unique_ptr
    {
      typedef std::tuple<_Tp*, _Tp_Deleter>  __tuple_type;
      typedef __tuple_type unique_ptr::*     __unspecified_bool_type;
      typedef _Tp* unique_ptr::*             __unspecified_pointer_type;
      ....

typedef std::tuple<_Tp*, _Tp_Deleter>  __tuple_type;

typedef __tuple_type unique_ptr::*     __unspecified_bool_type;
typedef _Tp* unique_ptr::*             __unspecified_pointer_type;

#include <iostream>
#include <string>
 
struct A
{
    int i;
    std::string s;
};
 
int main()
{
    typedef int A::* i_ptr;
    typedef std::string A::* s_ptr;
 
    i_ptr p1 =  &A::i;
    s_ptr p2 =  &A::s;
 
    A a = {1, "text"};
 
    std::cout << a.*p1 << '\n';
    std::cout << a.*p2 << '\n';
 
    return 0;
}

#include <iostream>
#include <string>
#include <functional>
#include <algorithm>
 
// функтор
template
<
    typename StructType,
    typename MemberType
>
class StructMemberLessCmp : std::binary_function<StructType, StructType, bool>
{
    private:
        typedef MemberType StructType::* member_ptr_type;
 
 
    private:
        member_ptr_type p_;
 
    public:
        StructMemberLessCmp(member_ptr_type p)
            : p_(p)
        {
        }
 
        bool operator()(const StructType &a, const StructType& b) const
        {
            return a.*p_ < b.*p_;
        }
};
 
//---------------
 
struct A
{
    int i;
    std::string s;
};
 
int main()
{
    const size_t n = 5;
    A a[n] =
    {
        {1, "a"},
        {4, "c"},
        {2, "d"},
        {5, "b"},
        {3, "e"}
    };
 
    // сортируем массив структур по полю int i и выводим на экран
    std::sort(a, a + n, StructMemberLessCmp<A, int>(&A::i));
    for(size_t i = 0; i < n; ++i)
        std::cout << a[i].i << ' ' << a[i].s << '\n';
    std::cout << '\n';
 
    // сортируем массив структур по полю std::string s и выводим на экран
    std::sort(a, a + n, StructMemberLessCmp<A, std::string>(&A::s));
    for(size_t i = 0; i < n; ++i)
        std::cout << a[i].i << ' ' << a[i].s << '\n';
    std::cout << '\n';
 
    return 0;
}

class StructMemberLessCmp : public std::binary_function<StructType, StructType, bool>