[模板] 根据任一个成员变量比较

// 用到了typeof,只能在gcc上编译通过
struct foo
{
    int a;
    float b;
};

template
bool _myless( const foo& lhs, const foo& rhs )
{
    return lhs.*M < rhs.*M;
}
#define myless(a) _myless

int main()
{
    foo a, b;

    _myless( a, b );
    _myless( a, b );

    myless(foo::a)( a, b );
    myless(foo::b)( a, b );
}

// 失败的尝试
struct foo
{
    int a;
    float b;
};

template
bool myless( foo lhs, foo rhs )
{
    return lhs.*M < rhs.*M;
}

template
bool (& bar( T M ) )( foo lhs, foo rhs )
{
    return myless; // M是运行时给定，而myless必须在编译时确定
}

// 改进后的代码
struct foo
{
    int a;
    float b;
};

template
class myless_
{
public:
    myless_( T M ) : M_(M)
    {
    }
    bool operator()( const foo& lhs, const foo& rhs ) const
    {
        return lhs.*M_ < rhs.*M_;
    }
private:
    T M_;
};

template
myless_ myless( T M )
{
    return myless_(M);
}

#include
int main()
{
    using namespace std;

    foo a = { 1, 1.0f };
    foo b = { 2, 2.0f };
   
    cout << boolalpha << myless(&foo::a)( a, b ) << endl; // true
    cout << boolalpha << myless(&foo::a)( b, a ) << endl; // false

    cout << boolalpha << myless(&foo::b)( a, b ) << endl; // true
    cout << boolalpha << myless(&foo::b)( b, a ) << endl; // false
}