13.4.4  大于（greater＜type＞（））

仿函数类greater＜type＞也是一种自适应二元谓词，可用于验证其条件之真伪。若f是仿函数的对象，并且x与y均是型别type的值，仅当x＞y时，f（x，y）才能返回true。此仿函数类同样包含5个成员函数：

1）greater：：first_argument_type。该成员函数代表第一个参数的型别type。

2）greater：：second_argument_type。该成员函数代表第二个参数的型别type。

3）greater：：result_type。该成员代表执行结果的型别bool。

4）boolgreater：：operator（）（constT＆x，constT＆y）const。该成员函数代表函数调用的操作符。其返回值为x＞y。

5）greater：：greater（）。该成员函数代表该仿函数类的默认构造函数。