#include <boost/bind.hpp>
#include <iostream>

struct from_float
{
    from_float(float x) {}
};

template<typename TC, typename TR>
TR (TC::* select_overload(TR (TC::* Func)(void), int = 0))(void)
{ return Func; }

template<typename TC, typename TR>
TR (TC::* select_overload0(TR (TC::* Func)(void)))(void)
{ return Func; }

template<typename TP, typename TC, typename TR>
TR (TC::* select_overload(TR (TC::* Func)(TP), float = 0))(TP)
{ return Func; }

template<typename TP, typename TC, typename TR>
TR (TC::* select_overload1(TR (TC::* Func)(TP)))(TP)
{ return Func; }

template<typename TP1, typename TP2, typename TC, typename TR>
TR (TC::* select_overload(TR (TC::* Func)(TP1, TP2), from_float = from_float(0)))(TP1, TP2)
{ return Func; }

template<typename TP1, typename TP2, typename TC, typename TR>
TR (TC::* select_overload2(TR (TC::* Func)(TP1, TP2)))(TP1, TP2)
{ return Func; }

template<typename TR>
TR (* select_overload(TR (* Func)(void), int = 0))(void)
{ return Func; }

template<typename TR>
TR (* select_overload0(TR (* Func)(void)))(void)
{ return Func; }

template<typename TP, typename TR>
TR (* select_overload(TR (* Func)(TP), float = 0))(TP)
{ return Func; }

template<typename TP, typename TR>
TR (* select_overload1(TR (* Func)(TP)))(TP)
{ return Func; }

template<typename TP1, typename TP2, typename TR>
TR (* select_overload(TR (* Func)(TP1, TP2), from_float = from_float(0)))(TP1, TP2)
{ return Func; }

template<typename TP1, typename TP2, typename TR>
TR (* select_overload2(TR (* Func)(TP1, TP2)))(TP1, TP2)
{ return Func; }

using namespace boost;

struct C
{
    void F(char x1, char x2){ std::cout<<"F("<<x1<<","<<x2<<")\n"; }
    void F(int x1, int x2){ std::cout<<"F("<<x1<<","<<x2<<")\n"; }
    void F(char x1, int x2){ std::cout<<"F("<<x1<<","<<x2<<")\n"; }
    void F(char x1){ std::cout<<"F("<<x1<<")\n"; }

    void H(char x1) { std::cout<<"H("<<x1<<")\n"; }
    void H(char x1, int x2) { std::cout<<"H("<<x1<<","<<x2<<")\n"; }

    int I(char x1) { std::cout<<"I("<<x1<<")\n"; }
    void I(char x1, int x2) { std::cout<<"I("<<x1<<","<<x2<<")\n"; }
};

void G(char x1, char x2){ std::cout<<"G("<<x1<<","<<x2<<")\n"; }
void G(int x1, int x2){ std::cout<<"G("<<x1<<","<<x2<<")\n"; }
void G(char x1, int x2){ std::cout<<"G("<<x1<<","<<x2<<")\n"; }
void G(char x1){ std::cout<<"G("<<x1<<")\n"; }

void H(char x1) { std::cout<<"H("<<x1<<")\n"; }
void H(char x1, int x2) { std::cout<<"H("<<x1<<","<<x2<<")\n"; }

int I(char x1) { std::cout<<"I("<<x1<<")\n"; }
void I(char x1, int x2) { std::cout<<"I("<<x1<<","<<x2<<")\n"; }

int main()
{
    C o;

    char c = 'x';
    int i = 5;

    bind(select_overload<char>(&C::F), &o, _1)(c);
    bind(select_overload<char, int>(&C::F), &o, _1, _2)(c, i);
    bind(select_overload<char, char>(&C::F), &o, _1, _2)(c, c);
    bind(select_overload<int, int>(&C::F), &o, _1, _2)(i, i);

    bind(select_overload<char>(G), _1)(c);
    bind(select_overload<char, int>(G), _1, _2)(c, i);
    bind(select_overload<char, char>(G), _1, _2)(c, c);
    bind(select_overload<int, int>(G), _1, _2)(i, i);

    select_overload<char>(G)(c);
    select_overload<char, int>(G)(c, i);
    select_overload<char, char>(G)(c, c);
    select_overload<int, int>(G)(i, i);

    (o.*select_overload<char, int>(&C::H))(c, i);
    // This doesn't work, could by C::H(char) or C::H(char, int)
    (o.*select_overload<char>(&C::H))(c, 0);
    (o.*select_overload1<char>(&C::H))(c);
    
    select_overload<char, int>(H)(c, i);
    // This one doesn't work, could be: H(char) or H(char, int).
    //select_overload<char>(H)(c);
    select_overload1<char>(H)(c);

    // This one also doesn't work, could be int I(char) or void I(char, int).
    //select_overload<char>(I)(c);
    //select_overload<char, int>(I)(c, i);
    select_overload1<char>(I)(c);
    select_overload2<char, int>(I)(c, i);

    (o.*select_overload1<char>(&C::I))(c);
    (o.*select_overload<char, int>(&C::I))(c, i);
}