Шаблонные указатели на функции и их генерация

template<typename T>
struct FunctionPtr
{
    typedef T(*type)();
};

//Title of this code
//g++  4.9.1
 
#include <iostream>
 
 
struct example
{
    void foo()const { std::cout<<"example::foo\n"; }
};
 
void free() { std::cout<<"free\n"; }
 
// --- синтаксис объявления шаблоно-указателя-на-функцию-член-класса
template<class T>
    using pMethod = void (T::*)()const;
 
// --- синтаксис объявления шаблоно-указателя-на-свободную-функцию
template<class R>
    using pFree = R(*)();
    
    
// --- принимает объект
// порождает указатель-на-функцию-член
// и запускает его для этого объекта    
template<class T> void launcher(T& obj )
{
    pMethod<T> method = &T::foo;
    (obj.*method)();
}
 
int main()
{
    std::cout << "Hello, world!\n";
    
    example obj;
 
    // --- принимает объект
    // порождает указатель-на-функцию-член
    // и запускает его для этого объекта    
    launcher(obj);
 
    // --- инстанцирование конкретного указателя-на-функцию-член-класса     
    pMethod<example> method = &example::foo;
    
    // --- запуск метода класса по указателю
    (obj.*method)();
    
    // --- тоже самое для свободной функции
    // указываем тип возвращаемого значения
    pFree<void> func = &free;
    func();
    
}

#include <iostream>
#include <algorithm>
using namespace std;
 
template <class It, class Cmp=std::less<decltype(*(It()))>>
using ptr_sort=void(*)(It,It,Cmp);
 
template<class It, class Cmp=std::less<decltype(*(It()))>>
void foo(It first, It last, Cmp cmp,  ptr_sort<It, Cmp> ps)
{
    ps(first, last, cmp);
}
 
int main()
{
    vector<int>vi{3,1,5,4},
    vi1(vi), vi2(vi);
        for(auto e:vi)cout<<e<<' ';
        cout<<endl;
        ptr_sort<vector<int>::iterator, std::less<int> > ps=sort<vector<int>::iterator, std::less<int>> ;
        ps(vi.begin(), vi.end(),  std::less<int>{});
        for(auto e:vi)cout<<e<<' ';
        
            cout<<endl;
            for(auto e:vi1)cout<<e<<' ';
            foo(vi1.begin(), vi1.end(),  std::less<int>{}, ps);
            cout<<endl;
            for(auto e:vi1)cout<<e<<' ';
            cout<<endl;
 
            for(auto e:vi2)cout<<e<<' ';
            ptr_sort<vector<int>::iterator > pss=sort<vector<int>::iterator>;
 
            //pss(vi.begin(), vi.end(),  std::less<int>{});//вызывает ошибку
            //error: could not convert 'std::less<int>()' from 'std::less<int>' to 'std::less<int&>'|
            //поэтому пытаюсь схитрить (но это уродство, конечно) :
            std::less<int&> ml;// а без этого - как?
            pss(vi2.begin(), vi2.end(), ml);// сортирует... но как-то это странно всё
            cout<<endl;
            for(auto e:vi2)cout<<e<<' ';
return 0;
}

template <
class It,
class Cmp=
    std::less   <
    decltype(
              typename std::remove_reference
                    <
                        decltype( *(It()))
                    >::type
                >
            )
        >
using ptr_sort=void(*)(It,It,Cmp);